[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
3: 132人目の素数さん [] 2025/02/01(土) 08:44:24.22 ID:lDxwqd7y つづき メモ (デデキントのガロア理論講義の話が興味深い) https://www.jstage.jst.go.jp/article/kisoron1954/15/4/15_4_159/_pdf ガロア理論の推移史について 中村幸四郎* 科学基礎論研究1982 この論文は多くの後継者を経て,後に「ガロア理論」 といわれ,数学理論のうちの理論ともいわれるものとな り,現代に及んでいることは周知のとおりであるが,私 はこの小文において,これがフランス数学からドイツ数 学へ移行する問題を,数学史の1つの問題として考察し ょうと思う。 2.現在行われている「ガロア理論」は約150年の歳月 を経て,ガロアの原著とは著しく変ったものとなってい る.その最も著しい点はガロアの原著が群(とくに有限 群)を基調とするものであるのに対比して,現代の理論 は体(Korper)の理論,特に体の「拡大」(Erweiterung) を基礎に置くものとなっている。 https://ja.wikipedia.org/wiki/%E4%B8%AD%E6%9D%91%E5%B9%B8%E5%9B%9B%E9%83%8E 中村 幸四郎(1901年6月6日 - 1986年9月28日)は、日本の数学者(数学基礎論・数学史)。大阪大学名誉教授、関西学院大学名誉教授、兵庫医科大学名誉教授、文学博士。従四位勲三等旭日中綬章 https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kokai-koza/H18-tamagawa.pdf 数学入門公開講座テキスト(京都大学数理解析研究所,平成18年) ガロア理論とその発展 玉川安騎男 環の典型的な現れ方として、与えられた空間Xの上の(適当な条件を満たす)関数全体のなす環があります。この場合、関数の値の和、差、積を考えることにより、関数の和、差、積を定義します。(1,0は、それぞれ恒等的に値1,0を取る関数として定義します。) 実は、任意の環はこのようにして得られることが知られています。 より正確に言うと、与えられた環Rに対し、アフィンスキームと呼ばれるある種の空間Spec(R)が定まり、Rは空間Spec(R) 上の正則関数全体のなす環と自然に同一視されます。更に、環を考えることとアフィンスキームを考えることは本質的に同等であることが知られています。一般のスキームは、アフィンスキームをはり合わせることにより定義されます。 1950年代後半にグロタンディークによって定義されたこのスキームは、代数多様体(≈多項式で定義される図形)の概念を大きく一般化するもので、現在の代数幾何学・数論幾何学の基礎をなす概念です。 グロタンディークの提唱した形での遠アーベル幾何は、遠アーベルスキームの一般的な定義が見つかっていないなど、理論的にはまだまだ発展途上の状態ですが、既にいくつもの重要な結果が得られています。例えば、ノイキルヒ・内田の定理は、(グロタンディークが遠アーベル幾何を提唱する以前の結果ですが)遠アーベル幾何における一つの基本的な結果となっています。また、近年では、代数曲線やそのモジュライ空間の遠アーベル幾何の研究が、(本研究所を中心に)さまざまな角度から進められ、興味深い結果がいくつも得られています。このように、19世紀前半に生まれたガロア理論は、現代もなお強い生命力を持って進化しています。 つづく http://rio2016.5ch.net/test/read.cgi/math/1738367013/3
30: 132人目の素数さん [] 2025/02/02(日) 12:17:56.69 ID:7z4Dw9JT >その後に残ったものに 整列可能定理を適用する 整列定理は整列順序の存在しか主張していない。「好きな順序で整列できる」は妄想。 >3)さて、上記2)で そもそも 整列可能定理とは > 最後が空集合になるまで繰り返して良いとするものだった 整列定理の証明において元に対する順序数による附番aαを再帰的に定義している。 このaαの定義で選択関数を使っている。だからこの附番のしかたは選択関数で一意に定まる。 「勝手な附番を無限回繰り返して良い」は妄想。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/30
44: 132人目の素数さん [] 2025/02/02(日) 19:38:04.80 ID:7z4Dw9JT >>42 >3)つまり、あなたの選択関数と、私が(思う)選択する選択関数w > は、異なって良いのです!!ww ;p) だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/44
50: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/02(日) 19:58:40.30 ID:5scbwZz/ >>44 (引用開始) >3)つまり、あなたの選択関数と、私が(思う)選択する選択関数w > は、異なって良いのです!!ww ;p) だからと言って勝手な選択関数は作れない。 もし作れるならそもそも選択公理は不要。 だから >すきな順番に整列できる は嘘デタラメ。 (引用終り) ふっふ、ほっほ ・それ、自爆発言ですね ・自ら、>>47のJechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が ちゃんと 理解出来ていないと 自白しているに 等しい!w ・もし ちゃんと 理解出来ているならば 選択公理(選択関数)には 大きな自由度(任意度)があるのが分るはずです おサルさん>>7-10、 証明を読むときに 私が 心がけているのが 数学の証明は、その背後の数学的構造を反映する鏡であり 数学の証明を理解することは、背後の数学的構造を理解することだと そう思って証明を見ています あなたは、真に Jechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が ちゃんと 理解出来ては いない!!www ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/50
964: 132人目の素数さん [] 2025/02/15(土) 11:52:09.17 ID:tNB6oeTf >>941 > もしそうならば、存在例化とは 新しい定数記号cを導入できること > ”must be a new term”であること > 「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof” > ってこと >3)ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が > ナンセンスだと思うぜ それがナンセンス。 fという名前を使わずに「選択公理は真」と結論すればよいだけだから。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/964
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
2.299s*