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