Universal algebra


Also found in: Wikipedia.

universal algebra

[¦yü·nə¦vər·səl ′al·jə·brə]
(mathematics)
The study of algebraic systems such as groups, rings, modules, and fields and the examination of what families of theorems are analogous in each system.

Universal algebra

(logic)
Mentioned in ?
References in periodicals archive ?
The properties of these operations are specified by equations, making it possible to present algebraic effects as algebraic theories, traditionally studied in universal algebra. Each algebraic theory gives rise to a monad, thus exhibiting the connection with Moggi's semantics.
Eight selected papers from a March 2016 workshop in Jerusalem explore various problems of universal algebra and related areas.
For partial representations of Hopf algebras, there is also a universal algebra factorizing partial representations by algebra morphisms and this algebra has the structure of a Hopf algebroid.
In particular, the quantization cannot be carried out within finite dimensional structures and, for the case of large systems, does not lead to the one universal algebra B(H).
This suggests that perhaps those results could be obtained in a uniform way that is similar to how universal algebra gives a framework for studying algebraic structures.
We start section 3 by introducing partial bijections of n then we construct our universal algebra. We use this algebra in section 4 to prove Theorem 2.1.
He also helps those needing a better understanding of categorical concepts, universal algebra and coalgebras in appendices and provides comprehensive references.
His earliest writings were A Treatise on Universal Algebra (1898), The Axioms of Projective Geometry (1906), The Axioms of Descriptive Geometry (1907), and An Introduction to Mathematics (1911).
The choice of allowable representations affects the corresponding universal algebra, they say, and they seek quite general conditions that allow them to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action.
Our main tools come from Stone duality in various forms including the Jonsson-Tarski canonical extensions and profinite algebra, and from universal algebra and category theory.
In these proceedings from the conference of June 2001, participants describe their experience and research in developing graphs and patterns in such areas as Feynman diagrams (including in Hopf algebras and symmetries), algebraic structures (such as universal algebra, differential equations in noncommutative calculus, and twisted chiral de Rham algebras), manifolds, invariants and mirror symmetry (as in tri-level variants of three-folds, Massey products and the Johnson homomorphism), combinatorial aspects of dynamics (such as extensions, quotients and generalized pseudo-Anosov maps), and physics (such as in applications to study of black holes and the big bang).
The existence of both the universal enveloping algebra and the restricted universal enveloping algebra is to be expected by the general principles of universal algebra. More interestingly, Rinehart proved a version of the Poincare-Birkhoff-Witt theorem for universal enveloping algebras of Lie-Rinehart algebras.

Full browser ?