>>225
補足：原始根の添加
（注：ここの箇所はGrokの文章を修正している
修正点１：元の文ではステップ１と２の間にこの文章があったのを補足として後ろにもってきた
修正点２：方程式x^ni−1を(x^ni−1)/(x-1)に修正
修正点３：元の文は「ζ_ni は方程式 …の解として得られる。（これはべき根の追加）」で終わっているが
このままだと循環論法なので、以下文章を追加した）

もし Ki が1の原始 ni 乗根 ζ‗ni を含まない場合、まず Ki(ζ‗ni) を構成する。
体の標数が ni と互いに素であれば、Ki(ζ‗ni)/Ki は巡回拡大であり、
ζ_ni は方程式 (x^ni−1)/(x-1)=0 の解として得られる。
(x^ni−1)/(x-1)のガロア群は(Z/ni)×と同型であり、可解群であるので
体Kiの標数が 0 もしくは (Z/ni)×の位数と素であるなら、
>>226-228のステップ１、２，３により、上記の方程式の解が
K の元を用いた四則演算とべき根で表現できる。
（注：(Z/ni)×はZ/niと異なる）