Monoidhomomorphismus/Definition

Monoidhomomorphismus

Es seien $(G,\circ ,e_G)$ und $(H,\circ ,e_H)$ Monoide. Eine Abbildung

$\psi :G⟶H$

heißt Monoidhomomorphismus, wenn  $\psi (e_G)=e_H$  und die Gleichheit

$\psi (g\circ g^{\prime })=\psi (g)\circ \psi (g^{\prime })$

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