「ガロア理論の頂を踏む（石井俊全著）」p. 472 引用ここから「 前の節の定理でn次円分体Q(ζ)から、x^n - a =0の１つの解n√aを加えたQ(n√a, ζ)への拡大では、Gal( Q(n√a, ζ)/Q(ζ) )が位数nの巡回群になりました。実は、この定理の逆が言えるのです。 」引用…

「ガロア理論の頂を踏む（石井俊全著）」p. 468 引用ここから「 Gal( K(n√a)/K )は巡回群です。 」引用ここまで 当該ページの議論では、f(x)=0の解のうちn√a ζ^tのtが最小となる正の数をdとして、 σ(n√a)=n√a ζ^dとおくと、dがnの約数になる点については議論…