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

Es sei ein von verschiedener kommutativer Ring. Es 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.