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

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.