# monoid

A monoid is a semigroup $G$ which contains an identity element; that is, there exists an element $e\in G$ such that $e\cdot a=a\cdot e=a$ for all $a\in G$.

If $e$ and $f$ are identity elements of a monoid $G$, then $e=e\cdot f=f\cdot e=f$, so we may speak of “the” identity element of $G$.

A monoid homomorphism from monoids $G$ to $H$ is a semigroup homomorphism $f:G\to H$ such that $f(e_{G})=e_{H}$, where $e_{G},e_{H}$ are identity elements of $G$ and $H$ respectively.

Title monoid Monoid 2013-03-22 11:50:15 2013-03-22 11:50:15 djao (24) djao (24) 9 djao (24) Definition msc 20M99 msc 34-01 homomorphism Semigroup monoid homomorphism