1.Previous
3.Next

semigroup for the history of the subject, and some other general properties of monoids.

Definition

A set equipped with a binary operation , which we will denote , is a monoid if it satisfies the following two axioms:

; Associativity: For all , and in , the equation holds.; Identity element: There exists an element in such that for every element in , the equalities and hold.

In

1.Previous
3.Next