Es sei p ≥ 3 {\displaystyle {}p\geq 3} eine Primzahl und r ≥ 1 {\displaystyle {}r\geq 1} . Dann ist der Kern des Einheiten-Homomorphismus
zyklisch der Ordnung p r − 1 {\displaystyle {}p^{r-1}} .