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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Dann ist der Monoidring ein Integritätsbereich.

Zum Beweis, Alternativen Beweis erstellen