Variety of algebras
The notion of "variety of algebras" is fundamental to the foundations of the branch of mathematics known as universal algebra and also plays an important role in group theory.
Contents
Definition
Equational definition
A variety of algebras is defined as the collection of all algebras of a particular signature and satisfying a particular collection (not necessarily finite) of identities. Below, the terms signature and identity are explained.
Signature refers to a function from a fixed set (that we may call the operator domain) to (the set of nonnegative integers). The elements of the operator domain are the "operators" and the signature sends each operator to a nonnegative integer that is its "arity." An algebra of a given signature is defined to be a set equipped with operations as follows: for each operator in the operator domain, there is a
-ary operation from the set to itself where
equals the arity of the operator.
For instance, a signature where the image of the operator domain is (in order) means that the algebras of that signature are sets
equipped with (labeled) operations
. Note that which operation is what matters, so for instance, the roles of the two binary operations here are not interchangeable.
Note that operators of arity zero are constant functions.
Identity refers to an equality of two formal expressions where both expressions are constructed using the operators in the operator domain, respecting arity. An algebra is said to satisfy the identity if that identity holds for all choices of elements in the algebra. For instance, associativity is an identity. Explicitly, for a binary operation , associativity states that
. A magma (set with a binary operation) "satisfies associativity" if this holds for all
in the set, in which case it is called a semigroup.
Identities can connect two or more operations. For instance, is an identity connecting two binary operations,
and
.
HSP definition
A variety of algebras is defined as a collection of all algebras of a particular signature that is closed under taking homomorphisms, subalgebras, and arbitrary direct products.
Equivalence of definitions
Further information: Birkhoff-von Neumann theorem
Particular cases
Algebraic structure that forms a variety of algebras | Signature (operators and their arities) | Identities | Variety information page |
---|---|---|---|
magma (set with a binary operation) | one operator ![]() |
none | -- |
semigroup (set with an associative binary operation) | one operator ![]() |
![]() |
-- |
monoid (set with an associative binary operation having a neutral element) | two operators:![]() ![]() |
![]() ![]() ![]() |
-- |
group (set with an associative binary operation having a neutral element and with an inverse map) | three operators: ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
variety of groups |
Lie ring | the operators for a group, plus the Lie bracket ![]() |
all the identities for an abelian group, plus the bilinearity, alternation, and Jacobi identity | variety of Lie rings |