（なんかメモばかりだけど後から書くよ） p(x)を、その分解体KでΠ(x-α_s)Π(x-α_t)と分解して、Π(x-α_s)とΠ(x-α_t)がそれぞれ、K⊃E⊃FとなるEで既約だと仮定してみるってアイディアはどうだろう。 Π(x-α_s)の次数のほうが大きいとする。σ(a_t)=α_sとなるσ∈Gal(…

すげー。すげえよ。正規部分群の定義をみても、なんでこんなものにこんなご大層な名前がついてるか想像できないわけだが、すごいよ。すごすぎる。奴はモノリスに触れたに違いない。