Monoid Definition Examples Properties Monoid Homomorphisms

A monoid is a magma (M,*), i.e. a set M with binary operation * : M × M → M, obeying the following axioms:

though, strictly speaking, this isn't necessary as it is implied by the notion of a binary operation.

Note that a monoid satisfies all the axioms of a group with the exception of having inverses. A monoid with inverses is the same thing as a group.

A monoid whose operation is commutative is called a commutative monoid (or, less commonly, an abelian monoid).

2 Examples

3 Properties

Directly from the definition, one can show that the identity element e is unique. Then it is possible to define invertible elements: an element x is called invertible if there exists an element y such x*y = e and y*x = e. It turns out that the set of all invertible elements, together with the operation *, forms a group. In that sense, every monoid contains a group.

However, not every monoid sits inside a group. For instance, it is perfectly possible to have a monoid in which exist two elements a and b and such that a*b = a holds even though b is not the identity element. Such a monoid cannot be embedded in a group, because in the group we could multiply both sides with the inverse of a and would get that b = e, which isn't true. A monoid (M,*) has the cancellation property (or is cancellative) if for all a, b and c in M, a*b = a*c always implies b = c and b*a = c*a always implies b = c. A commutative monoid with the cancellation property can always be embedded in a group. That's how the integers (a group with operation +) are constructed from the natural numbers (a commutative monoid with operation + and cancellation property). However, a non-commutative cancellative monoid need not be embeddable in a group.

If a monoid has the cancellation property and is finite, then it is in fact a group.

An inverse monoid, is a monoid where for every a in M, there exists a unique a^-1 in M such that a=aa^-1a and a^-1=a^-1aa^-1.

4 Monoid homomorphisms

A homomorphism between two monoids (M, *) and (M′, @) is a function f : M → M′ such that

f(x*y) = f(x)@f(y) for all x, y in M
f(e) = e′

where e and e′ are the identities on M and M′ respectively. Note that not every magma homomorphism is a monoid homomorphism since it may not preserve the identity. Contrast this with the case of group homomorphisms: the axioms of group theory ensure that every magma homomorphism between groups preserves the identity. For monoids this isn't always true and it is necessary to state it as a separate requirement.

A bijective monoid homomorphism is called a monoid isomorphism. Two monoids are said to be isomorphic if there is an isomorphism between them.

5 Relation to category theory

Monoids can be viewed as a special class of categories. The axioms required of a monoid operation are exactly those required of morphism composition when restricted to the set of all morphisms which start and end at a given object (i.e. an endomorphism). That is,

A monoid is, essentially, the same thing as a category with a single object.

More precisely, given a monoid (M,*), one can construct a small category whose class of objects is the set {#} and whose morphisms are Mor(#,#) = M. Composition of morphisms is given by the monoid operation *.

Likewise, monoid homomorphisms are just functors between single object categories. In this sense, category theory can be thought of as an extension of the concept of a monoid. Many definitions and theorems about monoids can be generalised to small categories with more than one object.

Monoids, just like other algebraic structures, also form their own category, Mon, whose objects are monoids and whose morphisms are monoid homomorphisms. The singleton monoids are the zero objects of this category.

Abstract algebra Category theory Monoid theory

<Hide>

Home > Monoid