共感で繋がるSNS
投稿
さんこつ
2025/04/06
K⊃L⊃kを体の拡大の列とする。L⊃k, K⊃Lがともに正規拡大ならば、K⊃kも正規拡大。
4
11
コメント
N🙆♂️K
1
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は正規拡大でない。
2025/04/06
返信
さんこつ
投稿者
0
解答例) 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も正規拡大。
2025/04/06
返信
さんこつ
これ正しいですか? k-同型g:M→Mに対してg(L)=LならばgはL-同型とか、一般に言えなそうだと思うんだけど。。。(gのLへの制限が恒等写像とは限らなくないですか?)
0
話題の投稿をみつける
ろこも
2025/07/22
この集合写真のグッズ売ってください
8
ゆう
2025/07/22
bondの最初しうさんなのは感極まった
危うく涙が出るところだったらしいです(?)
1
彩月
2025/07/22
ダブルインパクト始まった
どういう大会になるかなぁ
さざな
2025/07/22
ビハインドでマチャ…投げさすのえぐい嫌がらせや
4
2929@ブ
2025/07/22
ほんとこういうことやるんだよソトさん!!!
最高のチャンスメイク
#chibalotte
9
こはく
2025/07/22
人混みは苦手!でも、映画を見に行くワ…ッ
2
とーち
2025/07/22
さくラウマイク位置高低差はこーじの実家雑魚寝事情と並ぶ好きシリーズ
やなぎ
2025/07/22
TL上に広がるパチンカスの輪
2
☔@プロ
2025/07/22
魔女のお姉様たち的には、脇見せるのはマズイという判定か
5
り〜@取
2025/07/22
ご連絡滞っており申し訳ございませんでした。現在いただいているリプ・DMのご返信は完了したかと思います。
本日よりいつも通りに戻りますので、引き続きよろしくお願いいたします◎
1
もっとみる
関連検索ワード
LINE
LIKE
LET
LINE交換
LL
LIFE
LV
LGBTQ
LA
LOOKING
K⊃L⊃kを体の拡大の列とする。L⊃k, K⊃Lがともに正規拡大ならば、K⊃kも正規拡大。
N🙆♂️K
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は正規拡大でない。
さんこつ 投稿者
解答例) 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も正規拡大。