Zahlbereich/Charakterisierung von Idealerzeugung mit Diskriminante/Fakt
Zur Navigation springen
Zur Suche springen
Satz über die additive Struktur von Idealen in Zahlbereichen
Es sei eine endliche Körpererweiterung vom Grad und der zugehörige Zahlbereich. 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.
Dann ist