Kommutative Monoidringe/Monoid mit Kürzungsregel und torsionsfrei/Grundring integer/Integer/Fakt

Aus Wikiversity

Es sei ein Integritätsbereich und sei ein torsionsfreies kommutatives Monoid, das die Kürzungsregel erfüllt.

Dann ist der Monoidring ein Integritätsbereich.