Hallo,
die Beweise laufen eigentich alle ziemlich Analog ab.
Da \( ( X, * ) \) ein Monoid ist, gibt es eine Funktion \( e(a) \) für die gilt:
\( f(a) * e(a) = f(a) \ , \forall f(a) \in X \).
Nun ist aber \( \circledast \) definiert als \( f \circledast e = f(a) * e(a) = f(a) \). Somit liegt ein neutrales Element vor.
Grüße Christian
Sonstiger Berufsstatus, Punkte: 29.81K