Kreisteilungskörper/Q/Über Einheitswurzeln/Definition

Kreisteilungskörper

Zu  ${}n\in \mathbb {N} _{+}$  ist der ${}n$-te Kreisteilungskörper

${}K_{n}\subseteq {\mathbb {C} }\,$

der von allen ${}n$-ten Einheitswurzeln erzeugte Körper über ${}\mathbb {Q}$.