# 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 of arity 2 | none | -- |

semigroup (set with an associative binary operation) | one operator of arity 2 | (associativity) | -- |

monoid (set with an associative binary operation having a neutral element) | two operators: (multiplication) of arity 2 (identity element or neutral element) of arity 0 |
(associativity) |
-- |

group (set with an associative binary operation having a neutral element and with an inverse map) | three operators: (multiplication) of arity 2 (identity element or neutral element) of arity 0 (inverse map) of arity 1 |
(associativity) |
variety of groups |

Lie ring | the operators for a group, plus the Lie bracket of arity 2 | all the identities for an abelian group, plus the bilinearity, alternation, and Jacobi identity | variety of Lie rings |