ガロア第一論文と乗数イデアル他関連資料スレ18 (667ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
1(7): 05/27(火)23:03 ID:mVXlvt9d(1/15) AAS
前スレが1000近く又は1000超えになったので、新スレを立てる
2chｽﾚ:math
前スレ ガロア第一論文と乗数イデアル他関連資料スレ17
このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）
資料としては、まずはこれ
外部ﾘﾝｸ:sites.google.com
省18
10(4): 05/27(火)23:09 ID:mVXlvt9d(10/15) AAS
つづき
なお、
おサル＝サイコパス＊のピエロ（不遇な「一石」外部ﾘﾝｸ:textream.yahoo.co.jp 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
＜＊）サイコパスの特徴＞
（参考）外部ﾘﾝｸ:blog.goo.ne.jp サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（＊＊）注；外部ﾘﾝｸ:en.wikipedia.org Hyperboloid
Hyperboloid of two sheets ：画像ﾘﾝｸ[png]:upload.wikimedia.org
省20
83(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 05/31(土)11:50 ID:GXFm2WhE(1/7) AAS
戻る
前スレ463より
2chｽﾚ:math
帰りの 駅の 書店で 杉浦 解析入門I を見てきたが
”「実数から実数への連続関数は
すべての有理数の点の上での値だけで特定できる」”
は無かった
省35
111(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/02(月)15:24 ID:ge6+WwpB(1/2) AAS
>>110
>[a,b]は閉区間、したがって閉区間、しかも有界
>そして、大学１年で微分積分を習得し、理解した者なら、
>でも知っていて当然の定理がある！
>定理（有界閉区間上連続ならば一様連続）
>I を有界閉区間，f:I→Rを連続関数とする。このとき，f は一様連続である。
>したがって、出題の条件から必然的に一様連続である！
省37
117(3): 信長 06/02(月)18:00 ID:ZRJYBVk5(4/6) AAS
>>111
> でな、高木先生は おそらく 教育的配慮から
> 問題をグレードダウンしているのだろうね
「おそらく」とか「教育的配慮」とか
「グレードダウン」とか「だろう」とか
全部見当違い
問(5)も、問(6)も、実数の定義から分かる基本問題
省27
120(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/04(水)15:26 ID:Vo5laslH(1/2) AAS
>>115
(引用開始)
>>111
>「実数から実数への連続関数は
> すべての有理数の点の上での値だけで特定できる」
>だったろ？ ここで有限区間の指定なし
「有限区間」というだけでは一様連続性は言えないぞ
省48
126(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/05(木)18:14 ID:RwvI7Q/q(2/2) AAS
>>120 追加
>こんな話は、世の中 至る所に落ちていて
google検索：大学 pdf 距離空間上に定義された一様連続関数は完備化した空間上の一様連続関数に一意的に拡張できる
で、大学の講義用 pdf が見つかるよ
AIだけじゃなく 裏付けの検索能力を 向上させようね （＾＾
＜結果より抜粋＞
１）
省30
145(4): 06/10(火)18:02 ID:Dv67HRUE(1) AAS
>>142
>くやしいのう
そうか、数学が理解できなくて悔しいか
なら、国語からやり直そうな
>”書き写す”なんて ダサいことはしていない
>このページをコピーして、それをスキャナーで読ませて
>PDFのOCRからコピー貼付けした
省31
148(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/10(火)23:19 ID:c+NJ0JxA(3/3) AAS
>>145-146
ご苦労さまです
ID:equarQsV は、御大か
巡回ありがとうございます
>このことに言及する気にまったくなれない自分は
全くですね
”このこと”とは、>>145の”定理（有界閉区間上連続ならば一様連続）”
省32
165(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/12(木)22:33 ID:EWvjXceg(2/3) AAS
>>155
>2)は、必要条件を求める問題、もちろん有界閉区間での知見を「陽」に使ってよい
>っていうか「陽」につかわないって馬鹿？
ふっふ、ほっほ
下記のAI による概要で
”Theorem:
Let X and Y be metric spaces, S a subset of X, and f: S -> Y.
省24
166(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/12(木)22:34 ID:EWvjXceg(3/3) AAS
つづき
Proof Outline:
1. Definition of Extension:
The extension F is defined on X by considering a sequence {x_n} in S that converges to x in X. Then F(x) is defined as the limit of f(x_n) as n approaches infinity.
2. Well-Definedness:
The definition of F is shown to be independent of the chosen sequence {x_n} converging to x.
3. Continuity of Extension:
省17
173(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/14(土)09:22 ID:036MevG8(1/3) AAS
>>165 追加
ふっふ、ほっほ
学部1年の1日目で詰んだ アホの数学科オチコボレさんと
5ｃｈ数学板で つまらん 議論（or スレばとる？）するほど 暇では無い
そんな暇があれば、下記などをば
pdf univ を追加すれば、大学レベルのまとまったpdfに絞ることができる
それを読む方が、よほど有益だよｗ ；ｐ）
省34
176(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/14(土)20:32 ID:036MevG8(3/3) AAS
>>175
ふっふ、ほっほ
さずが、学部1年の1日目で詰んだ アホの数学科オチコボレさん
>>83 より再録
外部ﾘﾝｸ[html]:www.iwanami.co.jp
岩波 定本 解析概論 高木貞治 著 2010/09/15
詳しい目次
省27
207(4): 06/25(水)15:40 ID:y9zxAHiX(2/2) AAS
これ、面白い
外部ﾘﾝｸ[html]:www.itmedia.co.jp
フロッピーディスクとWindows 95と紙が頼りの米航空管制、ついに近代化へ システム老朽化でトラブル多発
20250623 鈴木聖子 ITmedia
空の安全を守る米国の航空管制塔で、システムの老朽化に伴うトラブルが続発している。米連邦航空局（FAA）は管制システム近代化の計画を表明し、「フロッピーディスクと紙の運航票はもうやめる」と断言した
直近でトラブルに見舞われたのは、ニューヨークへの空の玄関口、ニューアーク・リバティ国際空港の管制塔だった。4月下旬から5月にかけて、管制システムの通信障害や画面のブラックアウトなどのトラブルが繰り返され、同空港を利用する便の欠航や遅延、行先変更が続出。対応を強いられた管制官がストレスのため次々に病欠してさらに欠航が増える悪循環に陥った
管制システムの通信障害は5月にコロラド州のデンバー国際空港でも発生。1月には首都ワシントン近郊でアメリカン航空の旅客機と米軍のヘリコプターが衝突して乗客乗員全員が死亡する惨事が起きた。2023年1月にはパイロットへの情報伝達に使われるFAAのNOTAMシステムで重大な障害が発生し、全米で便の運航がストップした
省7
224(3): 暇人 06/28(土)08:35 ID:4S+Arcik(2/23) AAS
>>223
定理
代数方程式 f(x)=0（係数が体 K に属する）の解が、K の元を用いた四則演算と
べき根（すなわち、方程式 x^n - a = 0 の解）によって表せる（根号表示可能である）のは、
そのガロア群 Gal(L/K)（ここで ( L ) は ( f(x) ) の分裂体）が可解群であるとき、かつそのときに限る。
証明の概要
証明は以下の2つの方向に分かれます：
省5
225(3): 暇人 06/28(土)08:35 ID:4S+Arcik(3/23) AAS
>>224
1. 十分性の証明（ガロア群が可解群 ⇒ 解が四則演算とべき根で表せる）
設定
f(x)∈K[x] は次数 n の既約多項式で、L は f(x) の分裂体（つまり、f(x) が L で完全に因数分解される最小の体）。
ガロア群 G=Gal(L/K) は可解群である。
すなわち、( G ) には正規系列 G=G0⊵G1⊵⋯⊵Gm={e} が存在し、各商群 Gi/Gi+1 は巡回群（したがってアーベル群）である。
L/K は有限次ガロア拡大で、ガロア対応により Gi に対応する中間体 K=K0⊆K1⊆⋯⊆Km=L が存在する。
省5
226(4): 暇人 06/28(土)08:36 ID:4S+Arcik(4/23) AAS
>>225
ステップ1：巡回拡大の構造
まず、ガロア群 Gi/Gi+1 が巡回群である拡大 Ki+1/Ki を考えます。
巡回群の位数を ni=∣Gi/Gi+1∣ とし、Ki が1の原始 ni 乗根を含むと仮定します
（必要に応じて、原始根を添加した拡大を別途考える）。
補題（巡回拡大のべき根表示）：
Ki+1/Ki が位数 ni の巡回ガロア拡大であるとき、
省12
227(4): 暇人 06/28(土)08:37 ID:4S+Arcik(5/23) AAS
>>226
ステップ2：拡大の連鎖
正規系列 G0⊵G1⊵⋯⊵Gm={e} に沿って、体の拡大 K=K0⊆K1⊆⋯⊆Km=L を構築する。
各ステップ Ki+1/Ki は、ステップ1により、べき根の添加（および必要に応じて原始根の添加）で構成できる。
最終的に、L=Km は K から有限回のべき根の添加で得られる。
236(3): 暇人 06/28(土)09:50 ID:4S+Arcik(14/23) AAS
223-235を読むかぎり、
Grokはここの「スレ主」こと現代数学の系譜 雑談 ◆yH25M02vWFhPよりも
ガロア理論による可解性の定理の証明を「理解」している、と思える
ただ1点気になるのは>>229の原始根の添加の箇所
過去のスレ主の発言をみると明らかに理解できていなかったが
Grokがこの点について、スレ主よりも分かっている説明ができるかどうか…
250(3): 暇人 06/29(日)04:55 ID:gukAFALT(1/12) AAS
>>249
質問には答えない 無意味だから
> 1の冪根と（整数論の）”原始根”は密接に関連していて、一方「1の原始n乗根」もある
> 数学では一つの議論における数学の用語は、冒頭で定義して
> その議論中では一貫してその定義通りに厳密に使うべし
どの本を読んだか知らないが、
その言葉で、全く分かってないことが露見
省12
255(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/29(日)09:31 ID:HQSTLRKE(2/13) AAS
>>250
>> 1の冪根と（整数論の）”原始根”は密接に関連していて、一方「1の原始n乗根」もある
>> 数学では一つの議論における数学の用語は、冒頭で定義して
>> その議論中では一貫してその定義通りに厳密に使うべし
>どの本を読んだか知らないが、
>その言葉で、全く分かってないことが露見
>そこ、全然関係ないから
省49
257(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/29(日)09:59 ID:HQSTLRKE(3/13) AAS
>>255 補足
(引用開始)
このガロア拡大体の概念を定義するには大きく分けて3つのルートがあ
ります。
ガロア拡大体の定義
（１） 方程式の最小分解体
（２） 有限次正規拡大体
省21
408(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/03(日)09:25 ID:NbGdsnnL(2/4) AAS
>>406
> 高卒は数学あきらめろ
おサル>>10？
AI時代 数学AIが出てくれば、高卒でも 数学科のオチコボレさんより上では？
あたかも、昔コンピュータの円周率計算で、人の手計算より ずっと多くの桁まで計算可能になった 黎明期のごとし
いま、計算の達人 ガウスいても エクセル使う高卒に敵わないだろう
と、同じように おサルの時代は 「数学とは厳密なり〜！」が数学科で重視された時代があっただろう
省22
635(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 12/04(木)22:52 ID:hVjjp4gl(1/2) AAS
>>634
>藤田の半正性定理の拡張を聴いた
ふーむ
お経ですが、下記あってますかね？
かなり、正確かも・・ （＾＾
(google検索)
藤田の半正性定理の拡張
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s