Endlicher Typ/K/Integer/Ganzer Abschluss/Textabschnitt
Satz
Es sei ein Körper und eine integre -Algebra vom endlichen Typ mit Quotientenkörper . Es sei eine endliche Körpererweiterung.
Dann ist der ganze Abschluss von in eine endliche -Algebra.
Beweis
Korollar
Es sei ein Körper und eine integre -Algebra vom endlichen Typ.
Dann ist die Normalisierung von eine endliche -Algebra.
Beweis
Dies ist der Spezialfall von Fakt für .