Ganze Ringerweiterung/Endlich erzeugt/Endlich/Fakt/Beweis
Beweis
Es sei . Wir betrachten die Kette
![{\displaystyle {}S=R[x_{1},\ldots ,x_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc693f85a379b8ec49deb70d68263db12c882333)
![{\displaystyle R\longrightarrow R[x_{1}]\longrightarrow R[x_{1},x_{2}]\longrightarrow \ldots \longrightarrow R[x_{1},\ldots ,x_{n}]=S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d29ecd28cddb5fc729d3422c1d3a3db1d0443a7a)
von ganzen Ringhomomorphismen, die jeweils durch ein Element erzeugt werden. Nach Fakt genügt es zu zeigen, dass
![{\displaystyle R\longrightarrow R[x]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b77b29545dfa9da1c4c0cbb1691670e8441db4f4)
endlich ist, wenn eine Ganzheitsgleichung über erfüllt. Mit der Ganzheitsgleichung lässt sich aber eine Potenz (und damit alle höheren Potenzen) von als -Linearkombination der kleineren Potenzen ausdrücken, sodass ein endlich erzeugter -Modul vorliegt.
