Ganzheitsring/Normal/Quotientenkörper/Ganz/Fakt/Beweis/Aufgabe

Es sei eine endliche Körpererweiterung und es sei ein Unterring mit den folgenden Eigenschaften:

  1. ist ganz über .
  2. Es ist .
  3. ist normal.

Dann ist der Ring der ganzen Zahlen von .