Endlich erzeugte Algebra/Ganz/Endlich/Aufgabe
Es sei ein kommutativer Ring und
eine (als Algebra) endlich erzeugte -Algebra, die ganz über sei. Zeige, dass ein endlich erzeugter -Modul ist.
Es sei 
![{\displaystyle {}S=R[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e336d5599b7cf883642f6f7eae49b63d2c3572c4)
eine
(als Algebra)
endlich erzeugte
