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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist der Monoidring ein Integritätsbereich.