Kommutative Monoidtheorie/Differenzengruppe zu Monoid/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Differenzengruppe

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

mit der Addition

und der Identifikation

die Differenzengruppe zu .