Kommutative Monoidtheorie/Normalisierung/Monoid und Monoidring/Fakt/Name

Der Satz über die Normalisierung von Monoidringen.