Kommutative Monoidringe/Erzeugendensystem für Monoid und Polynomring/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein von verschiedener kommutativer Ring. Sei ein kommutatives Monoid und , eine Familie von Elementen aus .

Dann bilden die genau dann ein Monoid-Erzeugendensystem für , wenn die , ein -Algebra-Erzeugendensystem für den Monoidring bilden.

Zum Beweis, Alternativen Beweis erstellen