Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Algebras over a monad (1)
- Bitopologies (1)
- Coalgebra (1)
- Coalgebras (1)
- Distributive lattices (1)
-
- Duality theory (1)
- Evariste Galois (1)
- Families (1)
- Field Extensions (1)
- Groups (1)
- Heyting algebras (1)
- History-dependent Automata (1)
- Interval arithmetics (1)
- Interval groupoids (1)
- Interval linear algebra (1)
- Interval mathematics (1)
- Linear algebras (1)
- Mathematics (1)
- Matrix groupoids (1)
- Named Sets (1)
- Neutrosophic linear algebras (1)
- Neutrosophic logic (1)
- Partition Refinement (1)
- Polynomial groupoids (1)
- Presheaves (1)
- Symmetry Reduction (1)
Articles 1 - 9 of 9
Full-Text Articles in Algebra
The Life Of Evariste Galois And His Theory Of Field Extension, Felicia N. Adams
The Life Of Evariste Galois And His Theory Of Field Extension, Felicia N. Adams
Senior Honors Theses
Evariste Galois made many important mathematical discoveries in his short lifetime, yet perhaps the most important are his studies in the realm of field extensions. Through his discoveries in field extensions, Galois determined the solvability of polynomials. Namely, given a polynomial P with coefficients is in the field F and such that the equation P(x) = 0 has no solution, one can extend F into a field L with α in L, such that P(α) = 0. Whereas Galois Theory has numerous practical applications, this thesis will conclude with the examination and proof of the fact that it is impossible …
Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Bitopological Duality For Distributive Lattices And Heyting Algebras, Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz
Engineering Faculty Articles and Research
We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study …
On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz
On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz
Engineering Faculty Articles and Research
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a Set-monad M for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad M and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.
On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan
On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan
Engineering Faculty Articles and Research
We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.
Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Engineering Faculty Articles and Research
Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are infinite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We show that named sets are generalisd by the categorical model of families, that is, free coproduct completions, indexed by symmetries, and explain how locality of interfaces gives good …
Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Engineering Faculty Articles and Research
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.
New Classes Of Neutrosophic Linear Algebras, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
New Classes Of Neutrosophic Linear Algebras, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral
Branch Mathematics and Statistics Faculty and Staff Publications
In this book we introduce mainly three new classes of linear algebras; neutrosophic group linear algebras, neutrosophic semigroup linear algebras and neutrosophic set linear algebras. The authors also define the fuzzy analogue of these three structures. This book is organized into seven chapters. Chapter one is introductory in content. The notion of neutrosophic set linear algebras and neutrosophic neutrosophic set linear algebras are introduced and their properties analysed in chapter two. Chapter three introduces the notion of neutrosophic semigroup linear algebras and neutrosophic group linear algebras. A study of their substructures are systematically carried out in this chapter. The fuzzy …
Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy
Interval Linear Algebra, Florentin Smarandache, W.B. Vasantha Kandasamy
Branch Mathematics and Statistics Faculty and Staff Publications
This Interval arithmetic or interval mathematics developed in 1950’s and 1960’s by mathematicians as an approach to putting bounds on rounding errors and measurement error in mathematical computations. However no proper interval algebraic structures have been defined or studies. In this book we for the first time introduce several types of interval linear algebras and study them. This structure has become indispensable for these concepts will find applications in numerical optimization and validation of structural designs. In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector …
Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy, Moon Kumar Chetry
Interval Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy, Moon Kumar Chetry
Branch Mathematics and Statistics Faculty and Staff Publications
This book introduces several new classes of groupoid, like polynomial groupoids, matrix groupoids, interval groupoids, polynomial interval groupoids, matrix interval groupoids and their neutrosophic analogues.