**Universal algebra** is the field of mathematics that studies the ideas common to all algebraic structures.

Table of contents |

2 Examples 3 Further issues |

From the point of view of universal algebra, an **algebra** is a set `A` together with a collection of operations on `A`. An ** n-ary operation** on

After the operations have been specified, the nature of the algebra can be further limited by axioms, which in universal algebra must take the form of equational laws. An example is the associative axiom for a binary operation, which is given by the equation `x` * (`y` * `z`) = (`x` * `y`) * `z`. The axiom is intended to hold for all elements `x`, `y`, and `z` of the set `A`.

According to Yde Venema, "universal algebra can be seen as a special branch of model theory, in which we are dealing with structures having operations only (i.e., no relations), and in which the language we use to talk about these structures uses equations only." On the other hand the structures are such that they can be defined in any category which has *finite products*.

To see how this is supposed to work, let's consider the definition of a group. Normally a group is defined in terms of a single binary operation *, subject to these axioms:

- Associativity (as in the previous paragraph):
`x`* (`y`*`z`) = (`x`*`y`) *`z`. - Identity element: There exists an element
`e`such that`e`*`x`=`x`=`x`*`e`. - Inverse element: For each
`x`, there exists an element`i`such that`x`*`i`=`e`=`i`*`x`.

Now this definition of group is problematic from the point of view of universal algebra. The reason is that the axioms of identity and inverse are not stated purely in terms of equational laws but also have clauses involving the phrase "there exists ... such that". This is *not allowed* in universal algebra. The solution is not difficult; we add a nullary operation `e` and a unary operation ~, in addition to the binary operation *, then list the axioms as follows:

- Associativity:
`x`* (`y`*`z`) = (`x`*`y`) *`z`. - Identity element:
`e`*`x`=`x`=`x`*`e`. - Inverse element:
`x`* (~`x`) =`e`= (~`x`) *`x`.

Now, it's important to check that this really does capture the definition of a group. The reason that it might not is that specifying one of these universal groups might require more information than specifying one of the usual kind of groups. After all, nothing in the definition of group said that the identity element `e` was *unique*; if there is another identity element `e`', then it's ambiguous as to which should be the value of the nullary operator `e`. However, this is not a problem, because identity elements are always unique. The same thing is true of inverse elements. So the universal algebraist's definition of group really is equivalent to the usual definition.

*later -- see Talk:Abstract algebra for a rough draft*

Once you have defined the operations and axioms for your algebra, you can now define the notion of homomorphism *between* two algebras `A` and `B`. A homomorphism `h`: `A` → `B` is simply a function from the set `A` to the set `B` such that, for every operation `f` (of arity, say, `n`), `h`(`f`_{A}(`x`_{1},...,`x`_{n})) = `f`_{B}(`h`(`x`_{1}),...,`h`(`x`_{n})). (Here I have placed subscripts on `f` to indicate whether it's the version of `f` in `A` or `B`. In theory, you could tell this from the context, so these subscripts are usually left off.) For example, if `e` is a constant (nullary operation), then `h`(`e`_{A}) = `e`_{B}. If ~ is a unary operation, then `h`(~`x`) = ~`h`(`x`). If * is a binary operation, then `h`(`x` * `y`) = `h`(`x`) * `h`(`y`). And so on. A few of the things that can be done with homomorphisms, as well as definitions of certain special kinds of homomorphisms, are listed under the entry Homomorphism.

This article is too brief to indicate the breadth of the results of universal algebra. The motivation for the field is the many examples of algebras (in the sense of universal algebra), such as monoids, rings, and lattices. Before universal algebra came along, many theorems (most notably the isomorphism theorems) were proved separately in all of these fields, but with universal algebra, you can prove them once and for all for every kind of algebraic system.

A more generalised programme along these lines is carried out by category theory. Category theory applies to many situations where universal algebra does not, extending the reach of the theorems. Conversely, some theorems that hold in universal algebra just don't generalise all the way to category theory. Thus both fields of study are useful. The connection is that given a list of operations and axioms, the corresponding algebras and homomorphisms are the objects and morphisms of a category.