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.