>>24
(引用開始)
ガロア群が巡回群
(実はα はω_{11} を 1 の原始 n 乗根として
α=ω_{11}+ω_{11}^10
と表すことができる。)
(引用終り)

巡回群はアーベルだから、クロネッカー・ウェーバーの定理から、 1 の原始 n 乗根で表わすことができるってことだね

https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%BE%A4
巡回群
(抜粋)
任意の巡回群はアーベル群となるので、しばしば加法的に記される。またそのとき、位数 n の巡回群を Zn で表すこともあるが、この記号は数論的な文脈では p-進整数環や素イデアルによる環の局所化の記法と衝突するので問題となりうる。
他の標準的な記号としては剰余群の記法に従って Z/nZ, Z/n, Z/(n) などが用いられる。

位数 n の巡回群（n は無限大でもよい）G と G の任意の元 g について、以下のようなことが言える。
・G はアーベル群である[2]。つまり、任意の h ∈ G に対して gh = hg が成り立つ。これは g + h ≡ h + g (mod n) の成立から従う。
有限生成アーベル群の基本定理は、任意の有限生成アーベル群 A が有限個の（有限）基本巡回群と有限個の無限巡回群との直積になることを主張するものである[7]。

https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
クロネッカー・ウェーバーの定理
(抜粋)
代数的整数論において、すべての円分体は有理数体 Q のアーベル拡大であることが示せる。クロネッカー・ウェーバーの定理 (Kronecker?Weber theorem) は、この逆を部分的に与えるもので、Q のアーベル拡大体はある円分体に含まれるという定理である。
言い換えると、有理数体上の拡大体でそのガロア群がアーベル群である体に含まれる代数的整数は、1の冪根の有理係数による和として表すことができる。

体論的定式化
クロネッカー・ウェーバーの定理は、体と体の拡大のことばで記述することができる。それは、有理数体 Q の有限アーベル拡大は、ある円分体の部分体であるという定理である。
つまり、Q 上のガロア群がアーベル群である代数体は、ある1のべき根を有理数体Qに添加して得られる体の部分体である。