[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む17 [転載禁止]©2ch.net (747ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
267(2): 263 2015/12/12(土)11:18 ID:F1RsZ/gB(4/5) AAS
>>266
>拡大Q~(π)~/Q~(π)は当然代数的で超越次数は0だよ。
補足しておくと、このとき当然Q~(π)~⊃Q~(π)であって、スレ主の意味では"取り残し"が存在することになる。
しかしこの取り残し（たとえば√π）を拾い上げて超越基底を構成することはできない。
なぜならこの体の拡大はそもそも超越次数=0だからだ。
任意のQ~(π)~＼Q~(π)の元はQ~(π)上代数的従属だからと言ってもよい。
268(3): 現代数学の系譜11 ガロア理論を読む 2015/12/12(土)12:41 ID:H8eM6+Di(10/21) AAS
>>263-267
TAさん、どうも。スレ主です。
１．当面>>224は忘れて下さい。
２．超越基底の定義について>>263で、>>253の有限次超越拡大の場合には一致しているということで良いですか？
つまり、Q(√2,π,√π)の場合の超越基底は、√πであってπである。（√πとπは、代数的に従属だが、√πが選ばれるべき）
言い換えれば、超越基底はQ(√2,π,√π)を表現できるように選ばれるべき。
有限次超越拡大にあっては、超越基底を選択して、それで拡大体を表現したときに、取り残しがあってはいけない。
省5
271(1): 現代数学の系譜11 ガロア理論を読む 2015/12/12(土)13:10 ID:H8eM6+Di(13/21) AAS
>>266-267
>『Q~(π)→Q~(π)~は加算無限次の超越拡大』 というのは明らかにおかしい。
>L~はLの代数拡大体の意味だよね。であるなら拡大Q~(π)~/Q~(π)は当然代数的で超越次数は0だよ。
ああ、そうかも知れませんね
>>259 で書いたように、Q(π) の代数的閉包は、当然考えられて、それをQ(π)~で表す。一方、Q~(π)の代数的閉包も考えられて、Q~(π)~と表す。
Q⊂Q(π) ⊂Q~(π)⊂Q(π)~＝Q~(π)~
でしょう
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s