Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Variety (universal algebra)
Summary
In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the rings, the monoids etc. According to Birkhoff's theorem, a class of algebraic structures of the same signature is a variety if and only if it is closed under the taking of homomorphic images, subalgebras, and (direct) products. In the context of , a variety of algebras, together with its homomorphisms, forms a ; these are usually called finitary algebraic categories.
A covariety is the class of all coalgebraic structures of a given signature.
A variety of algebras should not be confused with an algebraic variety, which means a set of solutions to a system of polynomial equations. They are formally quite distinct and their theories have little in common.
The term "variety of algebras" refers to algebras in the general sense of universal algebra; there is also a more specific sense of algebra, namely as algebra over a field, i.e. a vector space equipped with a bilinear multiplication.
A signature (in this context) is a set, whose elements are called operations, each of which is assigned a natural number (0, 1, 2,...) called its arity. Given a signature and a set , whose elements are called variables, a word is a finite planar rooted tree in which each node is labelled by either a variable or an operation, such that every node labelled by a variable has no branches away from the root and every node labelled by an operation has as many branches away from the root as the arity of . An equational law is a pair of such words; the axiom consisting of the words and is written as .
A theory consists of a signature, a set of variables, and a set of equational laws. Any theory gives a variety of algebras as follows. Given a theory , an algebra of consists of a set together with, for each operation of with arity , a function such that for each axiom and each assignment of elements of to the variables in that axiom, the equation holds that is given by applying the operations to the elements of as indicated by the trees defining and .
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.