[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
973(3): 2019/10/18(金)11:21 ID:HOFZxgY0(1) AAS
>>969
定かではありませんが、
5 次拡大がガロア群が可解なら二項拡大
みたいな事書いてました。
でそれは少なくとも下の体がQ(exp(2πi/5))を含む場合でしょと突っ込み入れてました。
実際反礼があるのかと考えてみると中々ないのがわかります。
まずζ=exp(2πi/5), K=Q(ζ), f(x)をQ上の規約多項式で今はこれがK上でも規約まで仮定しておきます。
この上でLをK上の最小分解体, G=Gal(L/K)とし、これが可解とします。
最小性の仮定からGは唯一の極小正規部分群Nを持ち、それが５次巡回群までは自明なのでG/N=Qとおきます。
Qの位数は24の約数で可解なので、少し議論すると2群かまたは位数３の正規部分群を持ちます。
省13
974(1): 2019/10/18(金)13:15 ID:et14HmJl(1/7) AAS
おっちゃんです。
>>971
>( 2)の ) ガロア理論が広まって、どんどん代数が抽象化されていった
正則行列による群の表現や群の表現論などの(代数的)表現論の歴史を語ることはかなり難しくなっているが、少なくともここは
>( 2）の) ガロアの群の概念が広まって、どんどん代数が抽象化されていった
の方がいい。
>3）
>もう一つの流れが「解析」で、(熱伝導方程式に関するその方程式を解くことなどのフーリエの研究から生まれたフーリエ級数
>の収束の問題から生じた)ワイエルシュトラスなどの厳密化の流れの中で、カントールの無限集合論が出て来た
>デデキント先生などは、「代数」と「解析」に跨って、「集合論を数学の基礎にすればいい」なんて考えたみたいです
省4
975(2): 2019/10/18(金)13:36 ID:et14HmJl(2/7) AAS
>>972
>５）
>「幾何」は、リーマンとかポアンカレの流れがあって、位相空間や多様体が研究され
>後の「代数幾何」の基礎になった
>（「代数幾何」って、「代数」なのか「幾何」なのか？ｗ ）
>「代数幾何」の流れ中で、グロタンディーク宇宙なんて考えたらしい
クラインはリーと研究をしたことがあって、リーは幾何を大域的に考える方向へ、クラインはより詳細な幾何的構造を考える
方向に考えるようになった。その段階で生まれたリーのリー変換群(今でいうリー群)や
クラインの変換群を用いた幾何の研究のエルランゲン・プログラムも生じた。
そこから生じたリー群(とその表現論)の研究の流れもある。
省2
976(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/18(金)15:53 ID:X/c9sPkS(3/5) AAS
>>971 追加
ガロアと名の付く数学用語一覧
（これだけで全部じゃないと思うが）（＾＾
なお、ガロアと名はつかないが、ガロアの後、抽象的な群論が活発に研究された
なので、古典ガロア理論を学べば、必然群論も体論も、おそらくは環や、その他もろもろの代数系の学習の助けになるだろう（＾＾；
外部ﾘﾝｸ:en.wikipedia.org
Glossary of field theory
(抜粋)
Types of fields
Finite field
省22
977: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/18(金)15:54 ID:X/c9sPkS(4/5) AAS
>>974
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾
978: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/18(金)16:05 ID:X/c9sPkS(5/5) AAS
>>976
>A field with finitely many elements. Aka Galois field.
Aka：「aka」は、「also known as」の略語
あるものに、何か他の呼び方や名前がある時に使うみたいです（＾＾；
外部ﾘﾝｸ:www.eigowithluke.com
Eigo with Luke
2011.02.16
akaの意味 ネイティブの説明
(抜粋)
今日は「aka」について説明します。この「aka」は、「also known as」の略語になります。
省3
979: 2019/10/18(金)16:28 ID:et14HmJl(3/7) AAS
>>975の訂正：
リー変換群(今でいうリー群) → リー変換群芽(今でいうリー群)
あと、歴史的に一番最初に生じた多様体はリーマン面。
980(1): ID:1lEWVa2s 2019/10/18(金)16:34 ID:8pTIg9/G(1/4) AAS
>>975
リー248群はE8の技
Anthony Garrett Lisi - E8
あいつの素粒子の絵みたことある？
すごいよ。
981: 2019/10/18(金)16:40 ID:et14HmJl(4/7) AAS
複素平面はリーマン面。
>>976
>ガロアと名の付く数学用語一覧
その wiki を見たが、余りないようだな。
982(2): 2019/10/18(金)16:42 ID:et14HmJl(5/7) AAS
>>980
その素粒子の絵は見たことがない。
983(1): ID:1lEWVa2s 2019/10/18(金)16:46 ID:8pTIg9/G(2/4) AAS
>>982
自分で調べろ。
984(1): ID:1lEWVa2s 2019/10/18(金)16:47 ID:8pTIg9/G(3/4) AAS
>>982
"The Geometry of Particle Physics: Garrett Lisi at TEDxMaui 2013" を YouTube で見る
985: ID:1lEWVa2s 2019/10/18(金)16:51 ID:8pTIg9/G(4/4) AAS
"宇宙論「4d2Uとは？」" を YouTube で見る
986(1): 2019/10/18(金)17:14 ID:et14HmJl(6/7) AAS
>>983-984
英会話の説明はチンプンカンプンだったが、
画面にきれいな対称性を持つ円のような図形は出て来た。
987: ID:1lEWVa2s 2019/10/18(金)17:24 ID:KOXE4g88(1) AAS
>>986
それでいい
988: 2019/10/18(金)17:31 ID:et14HmJl(7/7) AAS
それじゃ、おっちゃんもう寝る。
989(1): 2019/10/18(金)17:49 ID:mJ2TyGNr(3/8) AAS
>>973
わたしが理解している話の流れ
位数20の可解群をガロア群として持つ5次方程式の例として
Mara Papiyas氏がx^5-a=0を出した。
しかしスレ主は前々から「基礎体には1のべき根はすべて含まれている」という条件に拘っていて、ガロア群はC_5だろうとこの例を認めなかった。
わたしは、x^3-2=0というQ上S_3をガロア群として持つ有名な例と比較して、氏の例は立派な例になっていることを説明した。
そんな感じですかね。
貴方は途中からよく分からない理由で参入してきた、何をしようとしているのかも不明という印象です。失礼ながら。
990: 2019/10/18(金)18:09 ID:mJ2TyGNr(4/8) AAS
>>973
まず文章が非常に読みにくいです。
反礼→反例、規約→既約 などの誤字が目立ちます。
既約というのは、ご存じでしょうが、これ以上約すことができないという意味だから、既約なんですよ。
規約だと違和感を感じませんか？
Qを有理数体の意味に使ったり、Quotientなる群？の意味に使ったりまぎらわしいです。それはまだしも。
前半の可解な既約5次方程式のガロア群になりうる群位数が制限されるというのは一般的な話ですね。ですが
>さらに絞っていくと位数は5か20しかない事も言えます。
スレに出ていた話では5,10,20のケースがあるそうです。
>20の場合というのはあるa∈KでLがその最小分解体となるケースです。
省9
991(1): 2019/10/18(金)18:17 ID:ospgeXvi(1/3) AAS
>>989
いや、ま、私が話の流れから考え出した問題がなんの関係もないどうでもいい問題と思われるなら別に構いませんよ。
私は単にQ上既約５次多項式でその分解体のガロア群が可解の場合なのはどんなものがあるのか、x^5-aの形の多項式の分解体になってないものがどのくらいあるのか興味を持っただけですから。
Q(exp2πi/5))上とQ上では話が違うので前者の上で言えたからと言って後者の上で言えるとは限らないのはおっしゃる通り。
なので確かめてみようと思ったまでです。
別に私も誰も興味ないなら判明しても詳しくかくつもりもありません。
ただ私がQ(exp2πi/5))で言えたからQ上でも言えるはずなどという根拠薄弱な事を言ってると思われたようなのでそんな事はなくキチンと数学的に精査して書いてる事を示しただけです。
まぁきりのいいとこまで考えはしますがウザいようなのでもうここには書きません。
お騒がせでした。
992(1): 2019/10/18(金)18:52 ID:mJ2TyGNr(5/8) AAS
>>991
Q(exp2πi/5))上ならなおさらおかしくないですか？
Q(exp2πi/5))上、方程式x^5-a=0 の分解体は5次クンマー拡大でガロア群は
必然的にC_5なので、ガロア群位数20はそもそも生じないことになります。
基礎体を大きくしてもいいなら、わたしも反例の存在を大まかに説明できるかもしれません。
具体例ではなく、概念的な反例になりますが。
具体例であれば、スレ中に可解な5次方程式についての論文のリンクが貼ってあったので、それが参考になるでしょう。
>まぁきりのいいとこまで考えはしますがウザいようなのでもうここには書きません。
>お騒がせでした。
別にうざくはないですよ。もともとクソみたいなスレなので
省2
上下前次1-新書関写板覧索設栞歴
あと 10 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.242s*