Körper/Charakteristik 0/Einheitswurzeln/Kreisteilungskörper/Fakt

Es sei ${\displaystyle {}K}$ ein Körper der Charakteristik ${\displaystyle {}0}$ und sei ${\displaystyle {}n\in \mathbb {N} }$.

Dann enthält ${\displaystyle {}K}$ genau dann eine primitive ${\displaystyle {}n}$-te Einheitswurzel, wenn für den ${\displaystyle {}n}$-ten Kreisteilungskörper ${\displaystyle {}K_{n}\subseteq K}$ gilt.