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

Beweis

Die , bilden genau dann ein Monoid-Erzeugendensystem für , wenn der Monoidhomomorphismus surjektiv ist. Dies ist nach Fakt genau dann der Fall, wenn der zugehörige Homomorphismus

surjektiv ist. Dies ist aber genau dann der Fall, wenn die ein -Algebra-Erzeugendensystem bilden.