An algebraic system with an empty set of relations. A universal algebra is frequently simply called an algebra. For universal algebras the homomorphism theorem holds: If is a homomorphism from one universal algebra onto another algebra and is the kernel congruence of , then is isomorphic to the quotient algebra . Every universal algebra may be decomposed into a subdirect product of subdirectly-irreducible universal algebras.
If to the basic operations of an algebra one adjoins all derived operations, one obtains a universal algebra of larger signature. The equation is possible even for , which leads to the notion of rational equivalence of universal algebras (cf. Variety of universal algebras).
With every universal algebra there are associated related structures: the monoid of all endomorphisms , the group of all automorphisms , the lattice of all subalgebras , and the lattice of all congruences . For any group and any algebraic lattices (cf. Algebraic lattice) and there exists a universal algebra such that , and (cf. ). However, if is replaced by , the corresponding result does not hold. This kind of problem is called an abstract realization problem. An example of a solution of a concrete realization problem is: A system of subsets of a set coincides with for some universal algebra with carrier if and only if is closed under directed unions and arbitrary intersections . The abstract, as well as the concrete, realization problem can be solved for given classes of universal algebras. Universal algebras with some restriction on the related structures have been studied. E.g., one studies universal algebras with distributive or modular congruence lattices, with -element congruence lattices (congruence-simple universal algebras), with -element or -element lattices of subalgebras (simple universal algebras), with a commutative monoid of endomorphisms, with a -element group of automorphisms (rigid universal algebras), etc. A universal algebra with commuting congruences is isomorphic to the direct product of a finite number of congruence-simple algebras if and only if its congruence lattice satisfies the maximum condition, and the least upper bound of its minimal congruences is equal to the largest congruence. Universal algebras with a distributive congruence lattice and with permutable congruences (arithmetic universal algebras) admit a representation as global sections of a suitable sheaf. A study has been made to what extent a universal algebra is determined by some of its related structures. However, the majority of results of this kind concern concrete classes of universal algebras (–, ).
A universal algebra is called functionally complete if every operation on its carrier belongs to the clone generated by its basic operations and by the constants. If one excludes constants, one obtains primal (or strictly functional complete) universal algebras. If all congruence-preserving operations lie in the above-mentioned clone, one obtains an affine complete universal algebra. Every functionally complete universal algebra is finite. Therefore, the requirement of finiteness is often included in the definition of these classes of universal algebras (cf. , , ).
The study of universal algebras was begun in the 1930's and 1940's, when the basic definitions were formulated, varieties of universal algebras were characterized and the subdirect decomposition theorem was proved (cf. , ). The earlier history of the theory of universal algebras goes back to the 19th century. The active study in this domain began in the USSR in the early 1950's (A.G. Kurosh, A.I. Mal'tsev, and their pupils). The use of methods of mathematical logic led to the consideration of algebraic systems.
The expression "universal algebra" is often used in the sense of "the theory of universal algebras" .
|||G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1967)|
|||P.M. Cohn, "Universal algebra" , Reidel (1981)|
|||A.G. Kurosh, "Lectures on general algebra" , Chelsea (1963) (Translated from Russian)|
|||A.G. Kurosh, "General algebra. Lectures for the academic year 1969/70" , Moscow (1974) (In Russian)|
|||A.I. Mal'tsev, "Algebraic systems" , Springer (1973) (Translated from Russian)|
|||L.A. Skornyakov, "Elements of general algebra" , Moscow (1983) (In Russian)|
|||G. Birkhoff, "On the structure of abstract algebras" Proc. Cambridge Phil. Soc. , 31 (1935) pp. 433–454|
|||G. Birkhoff, "Subdirect unions in universal algebra" Bull. Amer. Math. Soc. , 50 (1944) pp. 764–768|
|||G. Grätzer, "Universal algebra" , Springer (1979)|
|||Tah-Kai Hu, "Weak products of simple universal algebras" Math. Nachr. , 42 : 1–3 (1969) pp. 157–171|
|||B. Jónsson, "Topics in universal algebra" , Springer (1972)|
|||W.A. Lampe, "The independence of certain related structures of a universal algebra I - III" Algebra Universalis , 2 (1972) pp. 270–283; 286–295; 296–302|
|||A.F. Pixley, "A survey of interpolation in universal algebra" B. Csákány (ed.) E. Fried (ed.) E.T. Schmidt (ed.) , Universal Algebra (Esztergom, 1977) , Coll. Math. Soc. J. Bolyai , 29 , North-Holland (1982) pp. 583–607|
|||H. Werner, "Discriminator algebras" , Akademie Verlag (1978)|
|||A. Wolf, "Sheaf representations of arithmetic algebras" Mem. Amer. Math. Soc. , 148 (1974) pp. 87–93|
In English, the phrase "universal algebra" almost always denotes "the theory of universal algebras" ; individual universal algebras (as described in the main article above) are simply called "algebras" . See also (the editorial comments to) Algebraic system.
The first occurrence in print of the phrase "universal algebra" seems to have been in [a5], although this book is less concerned with universal algebra in its modern sense than with mathematical logic.
Universal algebra has been deepened and extended by the categorical formulation introduced by F.W. Lawvere [a2]. An algebraic theory is defined as the category of finite copowers of an object (with distinguished injections of to ). Then, a model of , or a -algebra, in a category is a (contravariant) functor taking copowers to powers. is the underlying object of . The standard models of in the category of sets form precisely a variety of algebras. (These are the models for which is the standard -th power set of .) The finitely-generated free algebras in the variety form a category equivalent to .
The operations of are the morphisms with domain , being an -ary operation. A theory may be presented by generating operations and relations, the relations being algebraic identities; see [a4]. Morphisms of algebraic theories, or interpretations, may be defined by giving interpretations of a generating set of operations which preserve validity of defining relations. Interpretations induce algebraic functors between categories of models ; for example, the standard interpretation of Lie ring theory in associative ring theory (taking the product to ) induces the functor which takes each associative ring to its bracket ring. Every algebraic functor has an adjoint [a2]. (In the examples, this gives the enveloping algebra.)
Co-algebras in a category are algebras in . Typical algebraic theories (e.g., group theory, lattice theory) have only trivial co-algebras in ; see [a1].
The unrestricted infinitary extension of the notion of an algebraic theory, to a category of all copowers of an object , is called a varietal theory, but sometimes (as in [a3]) an algebraic theory; then the classical notion becomes a finitary theory. There are two equivalent formulations of varietal theories, which some authors (as in [a3]) take as definition: as monads in , and as standard constructions , , , with . ( is then the model category .)
|[a1]||R.C. Davis, "Universal coalgebra and categories of transition systems" Math. Systems Th. , 4 (1970) pp. 91–95|
|[a2]||F.W. Lawvere, "Functorial semantics of algebraic theories" Proc. Nat. Acad. Sci. USA , 50 (1963) pp. 869–872|
|[a3]||E.G. Manes, "Algebraic theories" , Springer (1976)|
|[a4]||G. Wraith, "Algebraic theories" Lecture Notes Aarhus Univ. , 22 (1975)|
|[a5]||A.N. Whitehead, "A treatise on universal algebra, with applications" , Cambridge Univ. Press (1898)|
|[a6]||W.F. Taylor, "Algebras, lattices, varieties" , 1 , Wadsworth (1987)|
Universal algebra. L.A. Skornyakov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Universal_algebra&oldid=17539