This is an old revision of the document!
Monoid
Set
context | $M$ … set |
definiendum | $ \langle\!\langle M,*\rangle\!\rangle \in$ it |
inclusion | $*$ … binary operation |
postulate | $(a*b)*c=a*(b*c)$ |
exists | $e\in M$ |
for all | $a\in M$ |
postulate | $a*e=e*a=a$ |
Discussion
The binary operation is often called multiplication and $e$ is called the identity, identity element or unit.
One generally calls $M$ the monoid, i.e. the set where the operation “$*$” is defined on.
Like above, one often uses infix notion for $*$.
Reference
Wikipedia: Monoid