定義
K を可換体とする。
L/K を拡大（過去スレpart4の512）とする。
一般素冪根拡大（>>375）E/K があり L が E/K の中間体（過去スレpart4の854）となるとき
L/K を一般素冪根可解と言う。