ガロア第一論文と乗数イデアル他関連資料スレ7

1 ：１３２人目の素数さん：2024/05/12(日) 23:49:41.59 ID:qeZkOp9E.net

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

前スレ
ガロア第一論文と乗数イデアル他関連資料スレ6
https://rio2016.5ch.net/test/read.cgi/math/1704672583/

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく

973 ：１３２人目の素数さん：2024/06/04(火) 06:47:39.59 ID:3B+h5P1Y.net

これこそ何とかバイアスの好例であろう

974 ：１３２人目の素数さん：2024/06/04(火) 08:11:54.49 ID:lFM4Pr0A.net

>>973 推論の誤りを指摘してあげなよ

975 ：１３２人目の素数さん：2024/06/04(火) 08:17:42.13 ID:lFM4Pr0A.net

a₌河東君　(注：当時は浅野君だったらしいけど、それ言いだすと話がこんがらがるから今は置いとく）
b₌俺様
A()₌麻布高校卒
B()₌優秀な数学者

１．A(a)∧B(a)
２．A(b)
ーーーーーーーー
３．B(b)

これ正しい？

976 ：１３２人目の素数さん：2024/06/04(火) 08:42:31.33 ID:3B+h5P1Y.net

そういう問題？

977 ：１３２人目の素数さん：2024/06/04(火) 08:50:09.16 ID:lFM4Pr0A.net

>>976　違うなら、論理式で示してみて

978 ：１３２人目の素数さん：2024/06/04(火) 12:23:11.36 ID:a4Mk8bz0.net

>>977
>違うなら、論理式で示してみて
正しいと思うからそういう要求が出るのだろうか

979 ：１３２人目の素数さん：2024/06/04(火) 12:31:12.38 ID:/eXyvl+Y.net

>>978　んー、君が何を考えてるかわかんないからそういってみた　

君、なんか被害妄想あるよ

980 ：１３２人目の素数さん：2024/06/04(火) 19:25:56.43 ID:3B+h5P1Y.net

>>979
正しいと思っていないのなら
特にコメントすることはない

981 ：１３２人目の素数さん：2024/06/04(火) 19:50:19.24 ID:fpbR6aQy.net

>>980 正しさ○違いか

982 ：１３２人目の素数さん：2024/06/04(火) 20:39:13.57 ID:3B+h5P1Y.net

もう少し面白いことを書いてくれれば
反応できると思うのだが

983 ：１３２人目の素数さん：2024/06/04(火) 23:30:18.61 ID:fpbR6aQy.net

そもそも、ID:3B+h5P1Yは形式論理がわかってないんだが

984 ：１３２人目の素数さん：2024/06/04(火) 23:31:36.45 ID:fpbR6aQy.net

馬鹿が利口ぶったら恥晒す

985 ：１３２人目の素数さん：2024/06/04(火) 23:41:16.59 ID:fpbR6aQy.net

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
体 L を体 K の有限次ガロア拡大とする。
「L と K の中間体 M」 と 「Gal(L/K) の部分群 H」 について次の式が成立つ。

𝑀=𝐿^Gal(𝐿/𝑀),　𝐻=Gal(𝐿/𝐿^𝐻)

ただし、Gal(L/M) は拡大 L/M のガロア群であり、L^H は H の作用で不変な L の元を集めた L の部分体を指す。

したがって、「L と K の中間体 M」 と　「ガロア群 Gal(L/K) の部分群 H」の間の相互の対応を与える写像

𝜙:𝑀→𝐻=Gal(𝐿/𝑀),𝜓:𝑀=𝐿^𝐻←𝐻

は互いに逆であり、全単射になることがわかる。
また、この対応はあきらかに包含関係を逆にしている。つまり、
中間体が M1 ⊃ M2 ならば φ(M1) ⊂ φ(M2) であり、
部分群が H1 ⊃ H2 ならば ψ(H1) ⊂ ψ(H2) となる。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

ここまでの説明では部分群のみで、正規部分群は出てこない

986 ：１３２人目の素数さん：2024/06/04(火) 23:52:06.99 ID:fpbR6aQy.net

>>985
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
体 L^H がK の正規拡大であることと、H が Gal(L/K) の正規部分群であることとは同値である。
このとき Gal(L/K) の元の L^H への制限は、Gal(L^H/K) と商群 Gal(L/K)/H の間の群同型を引き起こす。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

ここで正規部分群が出てくる
つまり係数体Kから中間体L^Hへの拡大を考えるには、Hが正規部分群である必要がある

987 ：１３２人目の素数さん：2024/06/05(水) 00:15:01.47 ID:beqeI1U3.net

ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ガロア群がアーベル群となるようなガロア拡大のことをアーベル拡大 (abelian extension) と言う。
ガロア群が巡回群のときは、巡回拡大 (cyclic extension) という。
ガロア拡大が可解 (solvable) であるとは、ガロア群が可解、
つまり中間拡大に対応するアーベル群の列からガロア群が構成されるときを言う。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー

ここで中間拡大といってるのは、係数体Kから中間体L^Hへの拡大
商群が巡回群なら、中間拡大は冪根による拡大
だから、商体が巡回群になるような連正規列をもつなら
冪根による中間拡大を繰り返すことによって、元の拡大が実現される
これが可解の定義の意味

ここでは、まだ「ガロア群が巡回群なら、ガロア拡大は冪根による拡大」の証明はない
（また、可解群の定義で商群が巡回群ではなくアーベル群とする場合、
　有限アーベル群は巡回群の直積、という有限アーベル群の構造定理は別途必要）

988 ：１３２人目の素数さん：2024/06/05(水) 00:28:00.43 ID:beqeI1U3.net

「ガロア群が巡回群なら、ガロア拡大は冪根による拡大」
のところはガロア以前（もっと言えばアーベル以前）に
分かっていたことである

だれがこれを明らかにしたか？　もちろんガウスである
いかにして？　ラグランジュ分解式のべき乗が根を用いずに書けると示すことにより
（なぜそうできるかといえば、上記の式が巡回群で不変だからであり
　実はここにガロア理論の萌芽がある）

989 ：１３２人目の素数さん：2024/06/05(水) 00:45:07.65 ID:beqeI1U3.net

ガウスが、アーベルやガロアにこの台詞を言わなかったことは幸せというべきか
「全部、知ってるからぁ！」
（注：BABYMETALのMOAMETALこと菊地最愛の感じで言ってねｗ）

990 ：１３２人目の素数さん：2024/06/05(水) 00:48:53.04 ID:beqeI1U3.net

ガウスはボヤイの息子には言っちゃったので、息子が数学やめちゃったという・・・

991 ：１３２人目の素数さん：2024/06/05(水) 04:42:02.33 ID:di6id35W.net

>>983
形式論理がどれほどのものやら

992 ：１３２人目の素数さん：2024/06/05(水) 05:01:43.09 ID:di6id35W.net

>>990
ボヤイへの手紙に
「あなたのご子息を褒めることは私にはできない。
なぜなら、そうすると自分を褒めることになってしまうから」
と書いた。

993 ：１３２人目の素数さん：2024/06/05(水) 05:03:28.17 ID:di6id35W.net

形式論理が自動証明の基礎であることは認めるが

994 ：１３２人目の素数さん：2024/06/05(水) 05:50:49.04 ID:beqeI1U3.net

>>991
形式論理が大したものだとはいってないよね
だからこそ分からんのがおかしいわけだが

995 ：１３２人目の素数さん：2024/06/05(水) 05:51:58.50 ID:beqeI1U3.net

>>992
同じ手紙をアーベルやガロアに書かなくてよかった

996 ：１３２人目の素数さん：2024/06/05(水) 05:56:04.40 ID:beqeI1U3.net

論理式の自動証明は、連立方程式の消去法と似ている
しかし異なる点もある
連立方程式の消去法は必ず停止するが
論理式の自動証明は停止するとは限らない
成功すれば停止するが、失敗する場合は停止しない

997 ：１３２人目の素数さん：2024/06/05(水) 06:09:41.00 ID:beqeI1U3.net

自動証明はデバッガーとしては使えない
なぜなら期待されているのは
失敗したときに「ここが違ってますよ」と回答してくれること
だが実際には失敗しているときは
うんともすんともいわないまま戻ってこない

998 ：１３２人目の素数さん：2024/06/05(水) 07:07:42.82 ID:di6id35W.net

>>994
>形式論理が大したものだとはいってないよね
>だからこそ分からんのがおかしいわけだが

形式論理で「正しい」証明をちゃんと整った形で書くには
記号の使い方を復習しないといけないので

999 ：１３２人目の素数さん：2024/06/05(水) 08:34:46.44 ID:0MlvktcX.net

>>998
今回、証明の記載まで求められてないが
「正しさ」フェチになってる？

1000 ：１３２人目の素数さん：2024/06/05(水) 08:40:18.81 ID:6fdkAAA0.net

完

1001 ：2ch.net投稿限界：Over 1000 Thread

2ch.netからのレス数が1000に到達しました。