Sei S eine Menge, versehen mit einer Verknüpfung S×S→S,(a,b)→a∗b.
Angenommen, es gibt ein neutrales Element e∈S. Weiterhin gelte(a∗c)∗(b∗d) = (a∗b)∗(c∗d) für alle a,b,c,d ∈ S.
Daraus soll gefolgert werden, dass S ein kommutativer Monoid ist, allerdings weiß ich nicht, was ich tun muss und verstehe es absolut nicht.
Lieben Dank im Voraus!
