純粋・応用数学・数学隣接分野（含むガロア理論）20

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

130: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/05/04(日) 18:41:35.22 ID:GrLmqCpf

つづき

https://ja.wikipedia.org/wiki/%E5%8D%98%E6%8B%A1%E5%A4%A7
単拡大
性質と定理
・素数次のすべての有限拡大は単拡大である。
・原始元の定理より、すべての有限分離拡大は単拡大である。
・有限拡大 L/K が単拡大であることと K と L の間に有限個しか中間体がないことは同値である[1], [2], [3]。

https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/5440/1/06.pdf
1987年度談話会アブストラクト集 北海道大学理学部数学教室 Yoshida, T.

15 大沢 健夫   L2コホモロジーと交叉コホモロジー   56
23 吉田 知行  24の不思議（群論から超弦理論まで）  70
24という数が数学のいろいろなところに登場する．しかも，普通ではあり得ないような，異常に良い性質を持ったもの（Golay 符号，Leech 格子，保型関数等）
と関係して現れるように見える．
これは果して偶然や気のせいだけなのだろうか． それとも，何か全体を統制する極値問題の類でもあるのだろうか．主な文献のリストだけを掲げておく．
参考文献
略す

https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%B3%E3%82%B9%E3%83%88%E3%83%A9%E3%82%B9%E3%83%BB%E3%83%A0%E3%83%BC%E3%83%B3%E3%82%B7%E3%83%A3%E3%82%A4%E3%83%B3
モンストラス・ムーンシャイン（英: monstrous moonshine）もしくはムーンシャイン理論（英: moonshine theory）とは、モンスター群とモジュラー函数、特に j-不変量との間の予期せぬ関係を指し示す用語、およびそれを記述する理論である。1979年にジョン・コンウェイとサイモン・ノートン（英語版）(Simon Norton)により命名された。今ではその背景として、モンスター群を対称性として持つある共形場理論があることが知られている。コンウェイとノートンによって考案されたムーンシャイン予想は1992年、リチャード・ボーチャーズにより、弦理論や頂点作用素代数（英語版）(vertex operator algebra; VOA)、一般カッツ・ムーディ代数を用いて証明された。
マチュー・ムーンシャイン
2010年、江口徹、大栗博司、立川祐二は、K3曲面上の楕円種数が、有質量状態（英語版）の重複度がマチュー群 M24（英語版）(Mathieu group M24)の既約表現の単純な結合のように見えるような、 N=(4,4) 超共形代数（英語版）の指標へ分解できることを発見した[要出典]。このことは、M24 対称性を持つ対象空間としてK3曲面を持つシグマモデルの共形場理論が存在することを示唆している。

https://en.wikipedia.org/wiki/Monstrous_moonshine
Monstrous moonshine
History
Borcherds proved the Conway–Norton conjecture for the Moonshine Module in 1992. He won the Fields Medal in 1998 in part for his solution of the conjecture.
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1745503590/130

852: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/07/10(木) 07:08:02.22 ID:J4CWtGen

>>848-851
ふっふ、ほっほ
もう詰んだのか？ｗ ；ｐ）

>>727より再録
>”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”
この式は、下記（ja.ipedia）のペアノの公理 自然数の集合論的構成 の式だが
上記の通り、∩のIterated binary operation の意味が不明確（この説明を求められると詰まるだろう）
なので、∩を使わない 別の工夫がある（下記）
例えば en.wikipedia Axiom of infinity, Extracting the natural numbers from the infinite set, Alternative method
あるいは fr.wikipedia Axiome de l'infini
あるいは、>>569 筑波大 坪井明人 PDF P9 https://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf 数理論理学II
あるいは、>>677 渕野昌 P10（無限公理）https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf 「ゲーデルと20世紀の論理学第４巻」（東京大学出版会，2007）の，渕野 昌の執筆した第I部
以上
(引用終り)

繰り返すが、∩のIterated binary operation の意味が不明確

さらに、wikipedia Axiom of infinity 記述を引用する >>630-631 より
https://en.wikipedia.org/wiki/Axiom_of_infinity
Axiom of infinity
Extracting the natural numbers from the infinite set
The infinite set I is a superset of the natural numbers. To show that the natural numbers themselves constitute a set, the axiom schema of specification can be applied to remove unwanted elements, leaving the set N of all natural numbers. This set is unique by the axiom of extensionality.
To extract the natural numbers, we need a definition of which sets are natural numbers. The natural numbers can be defined in a way that does not assume any axioms except the axiom of extensionality and the axiom of induction—a natural number is either zero or a successor and each of its elements is either zero or a successor of another of its elements. In formal language, the definition says:
∀n(n∈N⟺([n=∅∨∃k(n=k∪{k})]∧∀m∈n[m=∅∨∃k∈n(m=k∪{k})])).
Or, even more formally:
∀n(n∈N⟺([∀k(¬k∈n)∨∃k∀j(j∈n⟺(j∈k∨j=k))]∧
　∀m(m∈n⇒[∀k(¬k∈m)∨∃k(k∈n∧∀j(j∈m⟺(j∈k∨j=k)))]))).

つづく

http://rio2016.5ch.net/test/read.cgi/math/1745503590/852

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.038s