Kommutative Monoidtheorie/Differenzengruppe zu Monoid/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Differenzengruppe

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

mit der Addition

und der Identifikation

die Differenzengruppe zu .