Es sei M ⊆ Γ ( M ) ≅ Z n = M {\displaystyle {}M\subseteq \Gamma (M)\cong \mathbb {Z} ^{n}=M} ein Monoid und betrachte die Menge
Zeige, dass M ∗ {\displaystyle {}M^{*}} ein normales Untermonoid von Hom ( Z n , Z ) {\displaystyle {}\operatorname {Hom} {\left(\mathbb {Z} ^{n},\mathbb {Z} \right)}} ist.