[過去ﾛｸﾞ] 複素数体Cの部分体Kで、C/Kが有限拡大となるものは、実数体R以外に存在しますか？ (22ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1: 2025/10/09(木)06:59 ID:fYIJM8IL(1) AAS
教えて下さい
2(1): 2025/10/09(木)11:00 ID:w4DvmWyE(1) AAS
C/Rは二次拡大だから、非自明な中間体はない
したがって、そのようなKがもし存在するならRを含まないだろう
3: 2025/10/09(木)11:54 ID:7M2AbKSW(1) AAS
>>2
それを聞いてるんだと思いますよ
Rの部分体SでR/Sが有限拡大だってものを
4(1): 2025/10/09(木)12:25 ID:g/rHQXi6(1) AAS
Rの自己同型は自明のみだが
（演習）
5: 2025/10/09(木)14:06 ID:UhdP3lzD(1) AAS
>>4
なるほど
もし存在したらC/(K∩R)にガロア理論使うと
Gal(C/K∩R)/Gal(C/R)～Aut(R/K∩R) = {id}
でおかしなことになるのか
6: 2025/10/09(木)14:12 ID:9EM5taEt(1) AAS
R/Kが正規拡大とは限らない
7(1): 2025/10/10(金)10:43 ID:yQyjZawx(1) AAS
K＝代数的数体の場合もC/Kは超越拡大
8: 2025/10/10(金)11:16 ID:Y6Unwq+h(1) AAS
>>7
まあ、そりゃそうでしょう
9: 2025/10/10(金)11:25 ID:lwgzjq1Z(1) AAS
完備アルキメデス付値体の一意性？
10: 2025/10/10(金)22:29 ID:LUMhNgm4(1) AAS
あてずっぽう？
11: 2025/10/11(土)15:55 ID:L15Zr5MH(1) AAS
あげ
12: 2025/10/15(水)00:29 ID:Z/tTgvFn(1) AAS
KがQにある超越数Tを添加した体Q[T]だと
どうなる？
13: 2025/10/15(水)04:18 ID:tcMR1B0x(1) AAS
CはQ上超越次数無限大
14: 2025/10/15(水)23:41 ID:8DQ91OUh(1/2) AAS
Qの拡大のうちC未満のものに、ツォルンすればいいんじゃないの
15: 2025/10/15(水)23:42 ID:8DQ91OUh(2/2) AAS
QじゃなくてQ(√-1)か
16: 2025/10/16(木)01:47 ID:Z50uUADD(1) AAS
ℂ/ℚ の中間体 ℂ⊃L⊃K⊃ℚ を L/K が有限次 Galois 拡大であるものを選んでおく。このとき制限写像の引き起こす準同型 π:Gal(ℂ/K ) → Gal(L/K ) は全射で kerπ = G、M = ℂ^G ( = M の固定体) とすれば ℂ/M は有限次 Galois 拡大で Gal(ℂ/K ) は Gal(L/K ) と同型になる....ような気がする。
17: 2025/10/18(土)19:07 ID:kTre2FiS(1) AAS
K=Cとすれば、C/Kは有限次拡大になる。
18: 2025/10/19(日)01:48 ID:7aCWN8L2(1) AAS
KとしてQにすべての超越数を添加した
体を考えたらどうだろうか。
19: 2025/10/19(日)04:19 ID:YxzNpmZ5(1) AAS
K = Q(√i)以上C未満の極大の中間体（ツォルンの補題から取れる）としても、C/Kが代数拡大とは限らないな
20: 2025/10/19(日)05:46 ID:niq5zWsN(1) AAS
うむ
ツォルンで言えるのはC未満の極大の中間体の存在だけだから拡大次数を含む具体的なことは何も言えない
21: 2025/10/19(日)17:28 ID:JylqA1F5(1) AAS
たしかに
22: 2025/10/19(日)21:31 ID:aCqQQ2NI(1) AAS
ℂ/ℚ の超越基底 X とその元 x∈X を選んで Y = X ＼{x} とする。
K = (ℚ(Y) の代数的閉包) = { c∈ℂ; c は ℚ(Y) 上代数的 }
とするとき
(1) x は K 上超越元、とくに K(x) は K 上の一変数有理関数体
(2) ℂ/K(x) は代数拡大
になるのではなかろうか？そしたら結構 Gal(ℂ/K(x)) はでかい群になりそうだけど。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.286s*