>>243
ステップXの詳細な再検討

状況の再確認
Ki+1/Ki は位数 ni の巡回ガロア拡大で、
ガロア群 Gal(Ki+1/Ki)≅Z/niZ です。
巡回拡大を構成するためには、クンマー理論により、Ki が原始 ni 乗根 ζ‗ni を含むことが必要です（クンマー拡大の条件）。

もし Ki が ζ‗ni を含まない場合、まず拡大 Ki(ζ‗ni)/Ki を構成し、これがガロア拡大であり、ガロア群が巡回群（またはアーベル群）であることを利用します。

原始乗根の添加
１の原始 ni 乗根 ζ‗niは、方程式 x^ni−1=0 の根であり、
Ki(ζ‗ni)/Ki はこの方程式の分裂体への拡大です。

この拡大は、体の標数が ni と互いに素である場合（例えば、Ki⊆Q や標数 0 の体）、ガロア拡大であり、
ガロア群 Gal(Ki(ζ‗ni)/Ki)は (Z/niZ)×（ni 番目の単位根群）に同型です。これはアーベル群であり、したがって可解群です。

例えば、ni=p（素数）の場合、
x^p−1=(x−1)(x^(p−1)+x^(p−2)+⋯+1) であり、
ζ‗pは円分多項式 Φp(x)=xp−1+⋯+1=0 の根です。
この拡大は巡回拡大であり、ζ‗pを添加することで得られます。