Kreisteilungskörper/Q/Minimalpolynom/Fakt

Der ${}n$-te Kreisteilungskörper ${}K_{n}$ über ${}\mathbb {Q}$ hat die Beschreibung

${}K_{n}=\mathbb {Q} [X]/(\Phi _{n})\,,$

wobei ${}\Phi _{n}$ das ${}n$-te Kreisteilungspolynom bezeichnet.

Der Grad des ${}n$-ten Kreisteilungskörpers ist ${}{\varphi (n)}$.

Zum Beweis, Alternativen Beweis erstellen