Es sei K {\displaystyle {}K} ein Körper der Charakteristik 0 {\displaystyle {}0} und sei n ∈ N {\displaystyle {}n\in \mathbb {N} } .
Dann enthält K {\displaystyle {}K} genau dann eine primitive n {\displaystyle {}n} -te Einheitswurzel, wenn für den n {\displaystyle {}n} -ten Kreisteilungskörper K n ⊆ K {\displaystyle {}K_{n}\subseteq K} gilt.
