0002132人目の素数さん2022/05/21(土) 02:58:51.81ID:+hzO7CCQ x = √(7 - √7) K = Q(x) KはQの4次拡大で、xの共役√(7 + √7)を含まないからGalois拡大ではない