Integritätsbereich/Quotientenkörper/Galoiserweiterung/Ganzer Abschluss/Fixring/Fakt/Beweis

Beweis

Es sei und . Es sei

eine Ganzheitsgleichung für über . Dann ist

und somit erfüllt auch eine Ganzheitsgleichung über , also . Deshalb lässt sich zu einer Abbildung von nach einschränken.

Die Gleichheit ist klar, da als normal vorausgesetzt wird. Deshalb ist

die umgekehrte Inklusion ist klar.