Ganze Ringerweiterung/Endlich erzeugt/Endlich/Fakt

Es sei ${}\varphi \colon R\rightarrow S$ ein ganzer Ringhomomorphismus von endlichem Typ.

Dann ist ${}S$ endlich über ${}R$.

Zum Beweis, Alternativen Beweis erstellen