Es seien
und
teilerfremde
quadratfreie
natürliche Zahlen, nicht beide , und sei
die zugehörige kubische
Körpererweiterung.
Wir setzen
und
. Dann gelten folgende Aussagen.
- und
sind
ganze Elemente
in .
- Es ist
-
- Wenn
gilt, so ist der
Ganzheitsring
von , und bilden eine
Ganzheitsbasis.
- Bei
gehört auch
zum Ganzheitsring, und bilden eine Ganzheitsbasis.