Kreisteilungskörper/Alle primitiven Einheitswurzeln/Basis bei p/Nicht p^2/Aufgabe

Aus Wikiversity

Es sei (in ) der -te Kreisteilungskörper und sei eine -te primitive Einheitswurzel. Wir betrachten die Elemente , .

a) Zeige, dass für eine Primzahl diese Elemente eine -Basis von bilden.

b) Es sei eine Primzahl und . Zeige, dass diese Elemente keine -Basis von bilden.