Kommutative Monoidringe/Monoid mit Kürzungsregel und torsionsfrei/Grundring integer/Integer/Fakt
Erscheinungsbild
Es sei ein Integritätsbereich und sei ein torsionsfreies kommutatives Monoid, das die Kürzungsregel erfüllt.
Dann ist der Monoidring ein Integritätsbereich.