補足の補足
・中野伸、足立本、草場本、いずれも ラグランジュの分解式を”明記”して扱っていない
・但し、中野伸 定理13.8などにあるように、クンマー拡大を示すときには、ちょこっと顔を出す
・しかし、いずれの本も”ラグランジュの分解式”という名前は示されない
・おそらく、この後では ”ラグランジュの分解式”は使わないからだろう（実際使っていない）

繰り返すが、代数方程式のガロア理論の本質は
代数方程式による体の拡大とガロア群の対応にある
（ラグランジュの分解式は、表で活躍する役割を与えられていないテキストが多いようだ
　それが良いか悪いかは、いろいろ意見があるだろうが）