[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む60 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む60 http://rio2016.5ch.net/test/read.cgi/math/1549182453/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/02/03(日) 17:54:07.14 ID:BnDtX2yP テンプレ、以上です。(^^ http://rio2016.5ch.net/test/read.cgi/math/1549182453/42
115: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/02/04(月) 23:45:40.73 ID:/k6m2Duw >>114 つづき スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/809 809 名前:132人目の素数さん[sage] 投稿日:2019/02/03(日) 05:09:06.36 ID:wDePzez3 >>381に書いたけどもう一度書くと Qを有理数体、Rを実数体とする。 オイラーの公式: e^(ix)=cos(x)+i*sin(x). xをsin(x)≠0である任意の実数とする。 (すなわちxはπの整数倍でない任意の実数。) K=Q(cos(x)), L=Q(e^(ix))=K(i*sin(x)) とおくと L/K は2次拡大。また、L∩R=K という関係がある。 2次拡大であることはいいでしょう? (i*sin(x))^2=cos(x)^2-1∈K でまた Kは実の体で、虚数 i*sin(x)は含まれてないからL/Kは真の拡大だ。 2次ということは、2が素数であることから中間体が存在しないということ。 従って、sin(x)がLに含まれるなら、そもそもKに含まれていなければならない。 sin(x)がLに含まれないとき、Q(sin(x))/KはL/Kとは別の2次拡大だ。 次の命題が成立することが分かる。 命題 sin(x)∈K ⇔ i∈L. この命題を>>42の問2に適用すると、結局、証明はiがQ(ζ) (ζは1の原始n乗根)に含まれないことの証明に帰することが分かる。 ( e^(iπ/n)は1の原始2n乗根だが、それは-ζとして 実現できるから、体としてはn乗根の体と同じ。) これはほとんど自明のようだが、キッチリ証明するためには 大学の数学が必要。 (引用終り) つづく http://rio2016.5ch.net/test/read.cgi/math/1549182453/115
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.038s