Kreisteilungskörper/Q/Über Einheitswurzeln/Definition

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

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

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