Endlicher Typ/K/Integer/Ganzer Abschluss/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.