[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.io/test/read.cgi/math/1568026331/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
976: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/18(金) 15:53:29.16 ID:X/c9sPkS >>971 追加 ガロアと名の付く数学用語一覧 (これだけで全部じゃないと思うが)(^^ なお、ガロアと名はつかないが、ガロアの後、抽象的な群論が活発に研究された なので、古典ガロア理論を学べば、必然群論も体論も、おそらくは環や、その他もろもろの代数系の学習の助けになるだろう(^^; https://en.wikipedia.org/wiki/Glossary_of_field_theory Glossary of field theory (抜粋) Types of fields Finite field A field with finitely many elements. Aka Galois field. Frobenius field A pseudo algebraically closed field whose absolute Galois group has the embedding property.[8] Field extensions Galois extension A normal, separable field extension. Galois theory Galois extension A normal, separable field extension. Galois group The automorphism group of a Galois extension. When it is a finite extension, this is a finite group of order equal to the degree of the extension. Galois groups for infinite extensions are profinite groups. Kummer theory The Galois theory of taking n-th roots, given enough roots of unity. It includes the general theory of quadratic extensions. Normal basis A basis in the vector space sense of L over K, on which the Galois group of L over K acts transitively. Extensions of Galois theory Inverse problem of Galois theory Given a group G, find an extension of the rational number or other field with G as Galois group. Differential Galois theory The subject in which symmetry groups of differential equations are studied along the lines traditional in Galois theory. This is actually an old idea, and one of the motivations when Sophus Lie founded the theory of Lie groups. It has not, probably, reached definitive form. Grothendieck's Galois theory A very abstract approach from algebraic geometry, introduced to study the analogue of the fundamental group. http://rio2016.5ch.io/test/read.cgi/math/1568026331/976
977: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/18(金) 15:54:25.11 ID:X/c9sPkS >>974 おっちゃん、どうも、スレ主です。 レスありがとう(^^ http://rio2016.5ch.io/test/read.cgi/math/1568026331/977
978: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/18(金) 16:05:27.26 ID:X/c9sPkS >>976 >A field with finitely many elements. Aka Galois field. Aka:「aka」は、「also known as」の略語 あるものに、何か他の呼び方や名前がある時に使うみたいです(^^; https://www.eigowithluke.com/aka/ Eigo with Luke 2011.02.16 akaの意味 ネイティブの説明 (抜粋) 今日は「aka」について説明します。この「aka」は、「also known as」の略語になります。 あるものに、何か他の呼び方や名前がある時、「also known as」というフレーズを使ってそれを紹介出来ます。 つまり、「also known as」は「またの名前は」、「通称」などという意味になります。 「also known as」を省略して書く時にはいくつかの書き方があります。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/978
979: 132人目の素数さん [sage] 2019/10/18(金) 16:28:59.71 ID:et14HmJl >>975の訂正: リー変換群(今でいうリー群) → リー変換群芽(今でいうリー群) あと、歴史的に一番最初に生じた多様体はリーマン面。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/979
980: ID:1lEWVa2s [sage] 2019/10/18(金) 16:34:59.40 ID:8pTIg9/G >>975 リー248群はE8の技 Anthony Garrett Lisi - E8 あいつの素粒子の絵みたことある? すごいよ。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/980
981: 132人目の素数さん [sage] 2019/10/18(金) 16:40:00.47 ID:et14HmJl 複素平面はリーマン面。 >>976 >ガロアと名の付く数学用語一覧 その wiki を見たが、余りないようだな。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/981
982: 132人目の素数さん [sage] 2019/10/18(金) 16:42:58.99 ID:et14HmJl >>980 その素粒子の絵は見たことがない。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/982
983: ID:1lEWVa2s [sage] 2019/10/18(金) 16:46:08.52 ID:8pTIg9/G >>982 自分で調べろ。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/983
984: ID:1lEWVa2s [sage] 2019/10/18(金) 16:47:34.11 ID:8pTIg9/G >>982 "The Geometry of Particle Physics: Garrett Lisi at TEDxMaui 2013" を YouTube で見る http://rio2016.5ch.io/test/read.cgi/math/1568026331/984
985: ID:1lEWVa2s [sage] 2019/10/18(金) 16:51:16.74 ID:8pTIg9/G "宇宙論「4d2Uとは?」" を YouTube で見る http://rio2016.5ch.io/test/read.cgi/math/1568026331/985
986: 132人目の素数さん [sage] 2019/10/18(金) 17:14:05.82 ID:et14HmJl >>983-984 英会話の説明はチンプンカンプンだったが、 画面にきれいな対称性を持つ円のような図形は出て来た。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/986
987: ID:1lEWVa2s [sage] 2019/10/18(金) 17:24:42.26 ID:KOXE4g88 >>986 それでいい http://rio2016.5ch.io/test/read.cgi/math/1568026331/987
988: 132人目の素数さん [sage] 2019/10/18(金) 17:31:17.59 ID:et14HmJl それじゃ、おっちゃんもう寝る。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/988
989: 132人目の素数さん [sage] 2019/10/18(金) 17:49:53.12 ID:mJ2TyGNr >>973 わたしが理解している話の流れ 位数20の可解群をガロア群として持つ5次方程式の例として Mara Papiyas氏がx^5-a=0を出した。 しかしスレ主は前々から「基礎体には1のべき根はすべて含まれている」という条件に拘っていて、ガロア群はC_5だろうとこの例を認めなかった。 わたしは、x^3-2=0というQ上S_3をガロア群として持つ有名な例と比較して、氏の例は立派な例になっていることを説明した。 そんな感じですかね。 貴方は途中からよく分からない理由で参入してきた、何をしようとしているのかも不明という印象です。失礼ながら。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/989
990: 132人目の素数さん [sage] 2019/10/18(金) 18:09:03.59 ID:mJ2TyGNr >>973 まず文章が非常に読みにくいです。 反礼→反例、規約→既約 などの誤字が目立ちます。 既約というのは、ご存じでしょうが、これ以上約すことができないという意味だから、既約なんですよ。 規約だと違和感を感じませんか? Qを有理数体の意味に使ったり、Quotientなる群?の意味に使ったりまぎらわしいです。それはまだしも。 前半の可解な既約5次方程式のガロア群になりうる群位数が制限されるというのは一般的な話ですね。ですが >さらに絞っていくと位数は5か20しかない事も言えます。 スレに出ていた話では5,10,20のケースがあるそうです。 >20の場合というのはあるa∈KでLがその最小分解体となるケースです。 これが何を言ってるのか分からないです。 >この時x^5-N[L/K](a)はLで分解するのでこれがQで規約なら主張は成立です。 これも意味不明。N[L/K]とはノルム写像ですか? でも、a∈Kであればノルムを取る意味ありますか? わたしの理解するところ。位数20の話としましょう。 仮にこのガロア群を持つ方程式がx^5-a=0 の形だとすると、1の原始5乗根ζを添加した後に5次クンマー拡大で分解体に到達することになります。 つまり「位数20のガロア群を持つQ上の5次方程式を解くとき最初の4次拡大は必ずQ(ζ)/Qと一致する」 ことになります。 それはおかしいと思う(ただし直感で詳しく検討してはいないが)、最初からそんな問題意識は持たないです。 そもそも3次の場合は2項方程式に帰着しませんが、それと可解5次の場合の違いが説明できますか? http://rio2016.5ch.io/test/read.cgi/math/1568026331/990
991: 132人目の素数さん [sage] 2019/10/18(金) 18:17:33.15 ID:ospgeXvi >>989 いや、ま、私が話の流れから考え出した問題がなんの関係もないどうでもいい問題と思われるなら別に構いませんよ。 私は単にQ上既約5次多項式でその分解体のガロア群が可解の場合なのはどんなものがあるのか、x^5-aの形の多項式の分解体になってないものがどのくらいあるのか興味を持っただけですから。 Q(exp2πi/5))上とQ上では話が違うので前者の上で言えたからと言って後者の上で言えるとは限らないのはおっしゃる通り。 なので確かめてみようと思ったまでです。 別に私も誰も興味ないなら判明しても詳しくかくつもりもありません。 ただ私がQ(exp2πi/5))で言えたからQ上でも言えるはずなどという根拠薄弱な事を言ってると思われたようなのでそんな事はなくキチンと数学的に精査して書いてる事を示しただけです。 まぁきりのいいとこまで考えはしますがウザいようなのでもうここには書きません。 お騒がせでした。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/991
992: 132人目の素数さん [sage] 2019/10/18(金) 18:52:33.90 ID:mJ2TyGNr >>991 Q(exp2πi/5))上ならなおさらおかしくないですか? Q(exp2πi/5))上、方程式x^5-a=0 の分解体は5次クンマー拡大でガロア群は 必然的にC_5なので、ガロア群位数20はそもそも生じないことになります。 基礎体を大きくしてもいいなら、わたしも反例の存在を大まかに説明できるかもしれません。 具体例ではなく、概念的な反例になりますが。 具体例であれば、スレ中に可解な5次方程式についての論文のリンクが貼ってあったので、それが参考になるでしょう。 >まぁきりのいいとこまで考えはしますがウザいようなのでもうここには書きません。 >お騒がせでした。 別にうざくはないですよ。もともとクソみたいなスレなので 落書き帳として使ってもスレ主は本望だと思いますよ(^^ 仮に間違っていたとしてもスレでは日常茶飯事なので、気にされることもないです。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/992
993: Mara Papiyas ◆y7fKJ8VsjM [sage] 2019/10/18(金) 19:27:51.68 ID:yJv1enDY >>992 >もともとクソみたいなスレなので そもそも、ここってクソな1を凹るスレだろ?w >仮に間違っていたとしてもスレでは日常茶飯事 1は口を開けば間違いしか言わんからな それにしても>>973の書き込みはヤバい感じがプンプンしてましたな 5chってそういう人が多いからね 病気なら仕方ないけど http://rio2016.5ch.io/test/read.cgi/math/1568026331/993
994: ◆QZaw55cn4c [sage] 2019/10/18(金) 19:37:34.79 ID:g8NBUxtW >>965 >書名に「ガロア」と入れると売れるらしい w(゜ロ゜; そのとおり! 石井俊全氏の「ガロア理論の頂を踏む」をよろしく、 です、私は第2章可解群で撃沈しているのですが…いつかもう一度第一章からチャレンジしたいと思っています http://rio2016.5ch.io/test/read.cgi/math/1568026331/994
995: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/18(金) 19:44:53.24 ID:yJv1enDY >>970 正直言って、20世紀的な現代数学は、今となってはハンパに古臭い 群論も今の幾何学ではケイリーグラフとかオートマトン構造とか 使って研究してるじゃないですか 要するに大事なのは結果が出るかどうかであって何でもあり 「抽象的」とかいうスタイルとかいうか雰囲気に固執するのは 数学自体に興味はなくて、ただ粋がりたいだけのファッション馬鹿でしょw http://rio2016.5ch.io/test/read.cgi/math/1568026331/995
996: 132人目の素数さん [sage] 2019/10/18(金) 19:57:27.59 ID:ospgeXvi まぁ病気だと思われてまで書くのもなんなのでこれ以上は書きません。 お騒がせでした。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/996
997: 132人目の素数さん [sage] 2019/10/18(金) 20:04:52.92 ID:mJ2TyGNr >>996 病気とは思ってませんよ。 ここに書くことは相手に伝わる文章も書く訓練としてもいいと思います。 また気が向いたら書かれてみては。 正直何が言いたい・やりたいのか分からなかった。少し気になります。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/997
998: 132人目の素数さん [sage] 2019/10/18(金) 20:16:00.41 ID:ospgeXvi やりたい事は Q上5次既約多項式の分解体のガロア群が可解であるものを分類せよ。 特にx^5-aの形の既約多項式の分解体でないものはどれくらいあるのか? です。 意外に?ほとんどかの形してます。 少なくとも5次二面体群になるやつはないようで5次巡回拡大かc5⋊(aut(c5))しかないようで後者はあるaでのx^5-aの分解体になるようです。 前に書いたレスでaがQ(exp(2πi/5))の整数環の単数になる場合が検討しきれてない。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/998
999: 132人目の素数さん [sage] 2019/10/18(金) 20:27:40.88 ID:mJ2TyGNr >>998 aがQ(exp(2πi/5))の数ならQ上にならないじゃん ↑ 悪意のないツッコミ(^^ 数え方というのもよく分からない。 自分の構成法が偏ってれば、当然そういう形ばっかりになる そうでないと言える構成法があるんでしょうか? http://rio2016.5ch.io/test/read.cgi/math/1568026331/999
1000: 132人目の素数さん [sage] 2019/10/18(金) 20:31:36.33 ID:mJ2TyGNr >>995 そういう話はよく分からない。 ガロア理論的数学といえばあからさまなのは数論幾何とか モッチー理論もダメと言われながら、依然として話題。 http://rio2016.5ch.io/test/read.cgi/math/1568026331/1000
1001: 1001 [] ID:Thread このスレッドは1000を超えました。 新しいスレッドを立ててください。 life time: 39日 0時間 39分 25秒 http://rio2016.5ch.io/test/read.cgi/math/1568026331/1001
1002: 1002 [] ID:Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《プレミアム会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 月300円から匿名でご購入いただけます。 ▼ プレミアム会員登録はこちら ▼ https://premium.5ch.net/ ▼ 浪人ログインはこちら ▼ https://login.5ch.net/login.php http://rio2016.5ch.io/test/read.cgi/math/1568026331/1002
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s