共感で繋がるSNS
GRAVITY(グラビティ) SNS

投稿

さんこつ

さんこつ

K⊃L⊃kを体の拡大の列とする。L⊃k, K⊃Lがともに正規拡大ならば、K⊃kも正規拡大。
GRAVITY4
GRAVITY11

コメント

N🙆‍♂️K

N🙆‍♂️K

1 GRAVITY

K=ℚ(√√2)⊃L=ℚ(√2)⊃k=ℚとすれば (√√2)^2-√2=0 (√2)^2-2=0 だからK/L、L/kは正規拡大。一方で、 f=x^4-2は√√2のℚ上の最小多項式(アイゼンシュタインの既約判定法、p=2の場合)。また明らかに、(√√2)(√-1)はfの根。これはKに含まれないためK/kは正規拡大でない。

返信
さんこつ

さんこつ 投稿者

0 GRAVITY

解答例) M⊃Kを任意の有限次拡大。 L⊃k, K⊃Lがともに正規拡大ならば, K⊃kは有限次拡大。g:M→Mをk-同型とすると、L⊃kは正規拡大なのでg(L)=L。 よってgはL-同型だから、K⊃Lが正規拡大であることからg(K)=Kとなり、K⊃kも正規拡大。

返信
さんこつ
さんこつ
これ正しいですか? k-同型g:M→Mに対してg(L)=LならばgはL-同型とか、一般に言えなそうだと思うんだけど。。。(gのLへの制限が恒等写像とは限らなくないですか?)
0 GRAVITY
話題の投稿をみつける
関連検索ワード

K⊃L⊃kを体の拡大の列とする。L⊃k, K⊃Lがともに正規拡大ならば、K⊃kも正規拡大。