Kreisteilungsring/Charakterisierung/Fakt

Es sei ${\displaystyle {}n\in \mathbb {N} _{+}}$ und sei ${\displaystyle {}\zeta \in {\mathbb {C} }}$ eine primitive ${\displaystyle {}n}$-te Einheitswurzel.

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