Zum Inhalt springen

Kommutative Monoidtheorie/Differenzengruppe zu Monoid/Definition

Aus Wikiversity
Differenzengruppe

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

mit der Addition

und der Identifikation

die Differenzengruppe zu .