Endlicher Typ/K/Integer/Ganzer Abschluss/Fakt

Es sei ${}K$ ein Körper und ${}R$ eine integre ${}K$-Algebra vom endlichen Typ mit Quotientenkörper ${}L$. Es sei ${}L\subseteq M$ eine endliche Körpererweiterung.

Dann ist der ganze Abschluss von ${}R$ in ${}M$ eine endliche ${}R$-Algebra.

Einen Beweis erstellen