Variety (universal algebra)

In universal algebra, a variety of algebras is the class of all algebraic structures of a given signature satisfying a given set of identities. Equivalently, a variety is a class of algebraic structures of the same signature which is closed under the taking of homomorphic images, subalgebras and cartesian products.

Related Topics:
Universal algebra - Class - Algebraic structure - Signature - Identities - Homomorphic - Subalgebra - Cartesian product

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A variety of algebras should not be confused with an algebraic variety. Intuitively, a variety of algebras is an equationally defined collection of algebras, while an algebraic variety is an equationally defined collection of elements from a single algebra. The two are named alike by analogy, but they are formally quite distinct and their theories have little in common.

~ ~ ~ ~ ~ ~ ~ ~ ~ ~