Normaler Integritätsbereich/Quotientenkörper/Einheitswurzeln/Fakt/Beweis

Beweis

Die Inklusion ist klar. Sei , sagen wir . Da die Ganzheitsgleichung

erfüllt, folgt aus der Normalität direkt, dass gehört.