>>223
定理
代数方程式 f(x)=0（係数が体 K に属する）の解が、K の元を用いた四則演算と
べき根（すなわち、方程式 x^n - a = 0 の解）によって表せる（根号表示可能である）のは、
そのガロア群 Gal(L/K)（ここで ( L ) は ( f(x) ) の分裂体）が可解群であるとき、かつそのときに限る。

証明の概要
証明は以下の2つの方向に分かれます：

十分性：ガロア群が可解群ならば、解は四則演算とべき根で表せる。
必要性：解が四則演算とべき根で表せるならば、ガロア群は可解群である。

以下では、まず十分性の証明を詳細に示し、次に必要性の証明を簡潔に説明します。
証明は、体の標数が 0 またはガロア群の位数と互いに素である場合を仮定します
（これは一般的なケースで、代数方程式の解の表現において問題となる有限体の場合を除外します）。