定義
K を可換体とする。
L/K を正規拡大（過去スレpart4の844）とする。
Aut(L/K)（過去スレpart4の847）が可解(part1の550)なとき L/K を可解な正規拡大と言う。