Satz über die additive Struktur von Idealen in Zahlbereichen
Es sei
eine
endliche Körpererweiterung
vom
Grad
und
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.
Dann ist
-
![{\displaystyle {}{\mathfrak {a}}=\mathbb {Z} b_{1}+\cdots +\mathbb {Z} b_{n}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51acf8275d07daadbc3c3f354c22114cfff320b8)