Kreisteilungsring/Primzahl/Charakterisierung/Fakt

Es sei $p$ eine Primzahl und sei  $\zeta \in ℂ$  eine primitive $p$-te Einheitswurzel.

Dann ist der $p$-te Kreisteilungsring gleich $\mathbb{Z}[\zeta ]$.

Zum Beweis, Alternativen Beweis erstellen