Ganzheitsring/Normal/Quotientenkörper/Ganz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .

Einen Beweis erstellen