Unterring/Zugehörige Polynomringe/Fakt/Beweis
Beweis
Wir betrachten den zusammengesetzten Ringhomomorphismus
Dann liefert der zu nach Fakt gehörige Einsetzungshomomorphismus
die gewünschte Abbildung.
Wir betrachten den zusammengesetzten Ringhomomorphismus
![{\displaystyle S\longrightarrow R\longrightarrow R[X].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccd295c536a4e0fb04da8f9acf311cc1532d87e2)
Dann liefert der zu 
![{\displaystyle S[X]\longrightarrow R[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a25c4edfdc7b4d97065e6f4064cff699ea1c13dd)
die gewünschte Abbildung.