Kommutative Monoidtheorie/Normalisierung in Differenzengruppe und normal/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Normalisierung von Monoiden

Sei ein torsionsfreies kommutatives Monoid mit Kürzungsregel und mit zugehöriger Differenzengruppe . Dann heißt das Untermonoid

die Normalisierung von .