Kommutative Monoidtheorie/Differenzengruppe/Gruppe/Aufgabe