Zahlbereich/Charakterisierung von Idealerzeugung mit Diskriminante/Fakt/Beweis/Aufgabe

Es sei eine endliche Körpererweiterung vom Grad und sei der zugehörige Zahlbereich. Es sei ein von verschiedenes Ideal in . Es seien Elemente, die eine -Basis von bilden und für die der Betrag der Diskriminante

unter all diesen Basen aus minimal sei.

Zeige, dass dann

ist.