Kommutative Monoidtheorie/Differenzengruppe zu Monoid/Definition

Differenzengruppe

Es sei ein kommutatives Monoid. Dann nennt man die Menge der formalen Differenzen

mit der Addition

und der Identifikation

die Differenzengruppe zu .