Kommutative Monoidtheorie/Differenzengruppe/Gruppe/Aufgabe

Zeige, dass die Differenzengruppe zu einem kommutativen Monoid in der Tat eine Gruppe

ist.