Wir betrachten die Körperkette
-
![{\displaystyle {}\mathbb {Q} \subseteq \mathbb {Q} [X]/{\left(X^{3}-3X+1\right)}\subseteq K_{9}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfe1481cc59d43f7dc0b8618a3d3aacd1884a3a1)
und die zugehörige Kette von
Zahlbereichen
-
![{\displaystyle {}\mathbb {Z} \subseteq \mathbb {Z} [X]/{\left(X^{3}-3X+1\right)}\subseteq R_{9}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16cd29dc3c907ae3c0be2b565e02b3767315457e)
Wenn
eine neunte primitive Einheitswurzel bezeichnet, so sei
-

vergleiche
Aufgabe.
Zeige, dass für jede Primzahl
in
eine der Beziehung
-

gilt. Zeige ferner, dass es allein von der Restklasse von
modulo
abhängt, welche der drei Fälle gilt.