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