1 の冪根を添加した体のGalois群は何か。円分多項式はいつ既約か。
$n$ が素数の場合の既約性(Eisenstein)を先に確かめ、一般の $n$ はそのあとで読む。
$\mathbb Q(\zeta_n)/\mathbb Q$ は次数 $\varphi(n)$ のAbel拡大で、Galois群は $(\mathbb Z/n\mathbb Z)^\times$ に同型である。
Galoisの基本定理、既約性判定(225)、有限Abel群。
Mathpediaは寄付と、参考文献の書籍リンク(Amazonアソシエイト)の紹介料で運営されています。 支援について / 寄付する