Kreisteilungskörper/Q/Minimalpolynom/Fakt

Der ${}n$-te Kreisteilungskörper ${}K_{n}$ über ${}\mathbb {Q}$ hat die Beschreibung Vorlage:Ma:Vergleichskette/disp wobei ${}\Phi _{n}$ das ${}n$-te Kreisteilungspolynom bezeichnet.

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

Zum Beweis, Alternativen Beweis erstellen