Kommutative Monoidringe/Erzeugendensystem für Monoid und Polynomring/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
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.