January 2012|rewrite=January 2012}}In mathematics, and more specifically abstract algebra, the term algebraic structure generally refers to an arbitrary set with one or more finitary operations defined on it. Common examples of structures include groups, rings, fields and lattices. More complex algebraic structures can be defined by introducing multiple operations, different underlying sets, or by altering the defining axioms. Examples of more complex structures include vector spaces, modules and algebras. The properties of specific algebraic structures are studied in the branch known as abstract algebra. The general theory of algebraic structures has been formalized in universal algebra. Category theory is used to study the relationships between two or more classes of algebraic structures, often of different kinds. For example, Galois theory studies the connection between certain fields and groups, algebraic structures of two different kinds.In a slight abuse of notation, the expression "structure" can also refer only to the operations on a structure, and not the underlying set itself. For example, the group $(\backslash mathbb\; Z,\; +)$ can be seen as a set $\backslash mathbb\; Z$ that is equipped with an algebraic structure, namely the operation $+$.

In full generality, algebraic structures may involve an arbitrary number of sets and opertions of higher arity, but this article focuses on binary operations on one or two sets. The examples are by no means a complete list, but they are meant to be a representative list. Longer lists of algebraic structures may be found in the external links and within the Algebraic structures category. Structures are listed in approximate order of increasing complexity.

Simple structures: No binary operation:

Set: a degenerate algebraic structure having no operations.

Pointed set: S has one or more distinguished elements, often 0, 1, or both.

Unary system: S and a single unary operation over S.

Pointed unary system: a unary system with S a pointed set.

Magma or groupoid: S and a single binary operation over S.

Semigroup: an associative magma. A semigroup with identity is a monoid

Group: a monoid with a unary operation (inverse), giving rise to inverse elements. Abelian groups are an important type of group.

Semilattice: a semigroup whose operation is idempotent and commutative. The binary operation can be called either meet or join.

Semiring: a ringoid such that S is a monoid under each operation. Addition is typically assumed to be commutative and associative, and the additive identity satisfies 0x=0 for all x.

Near-ring: a semiring whose additive monoid is not necessarily commutative.

Ring: a semiring whose additive group is an Abelian group.

Lie ring: a ringoid whose additive monoid is an abelian group, but whose multiplicative operation satisfies the Jacobi identity rather than associativity.

Boolean ring: a commutative ring with idempotent multiplication operation.

Kleene algebras: a semiring with idempotent addition and a unary operation, the Kleene star, satisfying additional properties.

*-algebra: a ring with an additional unary operation (

) satisfying additional properties.

Complete lattice: a lattice in which arbitrary meet and joins exist.

Bounded lattice: a lattice with a greatest element and least element.

Complemented lattice: a bounded lattice with a unary operation, complementation, denoted by postfix " ' ". The join of an element with its complement is the greatest element, and the meet of the two elements is the least element.

Modular lattice: a lattice whose elements satisfy the additional modular identity.

Distributive lattice: a lattice in which each of meet and join distributes over the other. Distributive lattices are modular, but the converse does not hold.

Boolean algebra: a complemented distributive lattice. Either of meet or join can be defined in terms of the other and complementation. This can be shown to be equivalent with the ring-like structure of the same name above.

Heyting algebra: a bounded distributive lattice with an added binary operation, relative pseudo-complement, denoted by infix " ' ", and governed by the axioms x'x=1, x(x'y) = xy, x'(yz) = (x'y)(x'z), (xy)'z = (x'z)(y'z).

Robinson arithmetic. Addition and multiplication are recursively defined by means of successor. 0 is the identity element for addition, and annihilates multiplication. Robinson arithmetic is listed here even thou
Two sets with operations


Module-like structures: composite systems involving two sets and employing at least two binary operations.

Group with operators: a group G with a set ? and a binary operation ?xG?G satisfying certain axioms.
Module: an Abelian group M and a ring R acting as operators on M. The members of R are sometimes called scalars, and the binary operation of scalar multiplication is a function RxM?M, which satisfies several axioms. Counting the ring operations these systems have at least three operations.
Vector space: a module where the ring R is a division ring or field.
Graded vector space: a vector space with a direct sum decomposition breaking the space into "grades".
Quadratic space: a vector space V over a field F with a function from V into F satisfying certain properties. Every quadratic space is also an inner product space (see below).
Algebra-like structures: composite system defined over two sets, a ring R and a free R module M. Counting the two ring operations and the single module operation, this can be viewed as a system with three binary operations.
Algebra over a ring (also R-algebra): a free module over a commutative ring R, which also carries a ring structure that is compatible with the module structure. This includes distributivity over addition and linearity with respect to multiplication by elements of R.
Nonassociative algebra: a free module over a commutative ring, equipped with a ring multiplication operation that is not necessarily associative. Often associativity is replaced with a different identity, such as alternation, the Jacobi identity, or the Jordan identity.
Coalgebra: a vector space with a "comultiplication" defined dually to that of associative algebras.
Lie algebra: a special type of nonassociative algebra whose product satisfies the Jacobi identity.
Lie coalgebra: a vector space with a "comultiplication" defined dually to that of Lie algebras.
Graded algebra: a graded vector space with an algebra structure compatible with the grading. The idea is that if the grades of two elements a and b are known, then the grade of ab is known, and so the location of the product ab is determined in the decomposition.
Inner product space: an F vector space V with a bilinear binary operation from VxV?F.
Four or more binary operations:
Bialgebra: an associative algebra with a compatible coalgebra structure.
Lie bialgebra: a Lie algebra with a compatible bialgebra structure.
Clifford algebra: a graded associative algebra equipped with an outer product and one of several possible inner products. Exterior algebras and geometric algebras are special cases of this construction.



---


Hybrid structures


Algebraic structures can also coexist with added structure of a non-algebraic nature, such as a partial order or a topology. The added structure must be compatible, in some sense, with the algebraic structure.

Topological group: a group with a topology compatible with the group operation.
Lie group: a topological group with a compatible smooth manifold structure.
Ordered groups, ordered rings and ordered fields: each type of structure with a compatible partial order.
Archimedean group: a linearly ordered group for which the Archimedean property holds.
Topological vector space: a vector space whose M has a compatible topology.
Normed vector space: a vector space with a compatible norm. If such a space is topologically complete then it is called a Banach space.
Hilbert space: an inner product space over the real or complex numbers whose inner product gives rise to a Banach space structure.
Vertex operator algebra
Von Neumann algebra: a
-algebra of operators on a Hilbert space equipped with the weak operator topology.

Algebraic structures are defined through different configurations of axioms. Universal algebra abstractly studies such objects. One major dichotomy is between structures that are axiomatized entirely by identities and structures that are not. If all axioms defining a class of algebras are identities, then the class of objects is a variety (not to be confused with algebraic variety in the sense of algebraic geometry). Identities are equations formulated using only the operations the structure allows, and variables that are tacitly universally quantified over the relevant universe. Identities contain no connectives, existentially quantified variables, or relations of any kind other than the allowed operations. The study of varieties is an important part of universal algebra. An algebraic structure in a variety may be understood as the quotient algebra of term algebra (also called "absolutely free algebra") divided by the equivalence relations generated by a set of identities. So, a collection of functions with given signatures generate a free algebra, the term algebra T. Given a set of equational identities (the axioms), one may consider their symmetric, transitive closure E. The quotient algebra T/E is then the algebraic structure or variety. Thus, for example, groups have a signature containing two operators: the multiplication operator m, taking two arguments, and the inverse operator i, taking one argument, and the identity element e, a constant, which may be considered an operator that takes zero arguments. Given a (countable) set of variables x, y, z, etc. the term algebra is the collection of all possible terms involving m, i, e and the variables; so for example, m(i(x), m(x,m(y,e))) would be an element of the term algebra. One of the axioms defining a group is the identity m(x, i(x)) = e; another is m(x,e) = x. The axioms can be represented as trees. These equations induce equivalence classes on the free algebra; the quotient algebra then has the algebraic structure of a group.Several non-variety structures fail to be varieties, because either:

It is necessary that 0 ? 1, 0 being the additive identity element and 1 being a multiplicative identity element, but this is a nonidentity;

Structures such as fields have some axioms that hold only for nonzero members of S. For an algebraic structure to be a variety, its operations must be defined for all members of S; there can be no partial operations.

Category theory is another tool for studying algebraic structures (see, for example, Mac Lane 1998). A category is a collection of objects with associated morphisms. Every algebraic structure has its own notion of homomorphism, namely any function compatible with the operation(s) defining the structure. In this way, every algebraic structure gives rise to a category. For example, the category of groups has all groups as objects and all group homomorphisms as morphisms. This concrete category may be seen as a category of sets with added category-theoretic structure. Likewise, the category of topological groups (whose morphisms are the continuous group homomorphisms) is a category of topological spaces with extra structure. A forgetful functor between categories of algebraic structures "forgets" a part of a structure.There are various concepts in category theory that try to capture the algebraic character of a context, for instance

algebraic category

essentially algebraic category

presentable category

locally presentable category

monadic functors and categories

universal property.

free object

list of algebraic structures

list of first order theories

signature