22/12/12 07:27:51.88 o5L78qQF.net
HはGの部分群であれば任意で、Hの作用でちょうど不変になる式を作れば同様。
クロネッカー・ウェーバーの定理より
Q上の巡回（より広くアーベル）方程式は本質的にこのタイプに限られる。
例
n=31, H={1,5,6,25,26,30}のときG/Hは5次の巡回群。
α=Σ_{k∈H}σ_k(ζ_31)
とおくとαはHで不変で、次の巡回方程式をみたす。
x^5+x^4-12 x^3-21 x^2+x+5
22/12/12 07:27:51.88 o5L78qQF.net
HはGの部分群であれば任意で、Hの作用でちょうど不変になる式を作れば同様。
クロネッカー・ウェーバーの定理より
Q上の巡回（より広くアーベル）方程式は本質的にこのタイプに限られる。
例
n=31, H={1,5,6,25,26,30}のときG/Hは5次の巡回群。
α=Σ_{k∈H}σ_k(ζ_31)
とおくとαはHで不変で、次の巡回方程式をみたす。
x^5+x^4-12 x^3-21 x^2+x+5