Es sei ${\displaystyle {}p}$ eine Primzahl und sei ${\displaystyle {}\zeta \in \mathbb {C} }$ eine primitive ${\displaystyle {}p}$-te Einheitswurzel.

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