Monoidhomomorphismus/Definition

Monoidhomomorphismus

Seien ${}(G,\circ ,e_{G})$ und ${}(H,\circ ,e_{H})$ Monoide. Eine Abbildung

$\psi \colon G\longrightarrow H$

heißt Monoidhomomorphismus, wenn ${}\psi (e_{G})=e_{H}$ und die Gleichheit

${}\psi (g\circ g')=\psi (g)\circ \psi (g')\,$

für alle ${}g,g'\in G$ gilt.