「ガロワと方程式」，「代数の世界」の定義中の「すべての共役体が一致している」というのがしっくりこない．体 K が体 F 上のガロワ拡大であるというのは，要は，K は F 上の代数拡大で，K の各元の（F 係数の） 最小多項式（既約多項式？）は，重根をもた…