Es sei p {\displaystyle {}p} eine Primzahl und sei ζ ∈ C {\displaystyle {}\zeta \in {\mathbb {C} }} eine primitive p {\displaystyle {}p} -te Einheitswurzel.
Dann ist der p {\displaystyle {}p} -te Kreisteilungsring gleich Z [ ζ ] {\displaystyle {}\mathbb {Z} [\zeta ]} .
![{\displaystyle {}\mathbb {Z} [\zeta ]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bb93c89c5c4b2c7960fcd37bf5996f7155d73bd)