[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
614(1): 02/10(月)21:06 ID:6fwmQoR3(75/75) AAS
>>609
馬鹿乙はモジュラー群もケイリーグラフも知らんだろｗ
615(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)00:17 ID:zr+dFWV7(1/15) AAS
>>612-613 補足
>武部 尚志
>という訳で、作った資料を←こちらの「資料公開」の項に置いてみました。年表は xfig で作って pdf を吐かせた物。Bernoulli, Legendre, Jacobi, Gauss の全集はネット上のあっちこっちの公開図書館から pdf を落として、紹介に必要な部分だけ切り貼りしました。どう考えても著者の著作権は切れているものばかりですが（一番新しいのが Gauss 全集か Jacobi 全集）
これ分りました
日本語 or English のスイッチが 右上にあり、日本語に切り替えると
”資料公開”が出て、その中で
外部ﾘﾝｸ:researchmap.jp
タイトル Gauss 全集より lemniscate 積分関係の抜粋
カテゴリ 講義資料
概要 Gauss 全集より lemniscate 積分関係の抜粋（主に河田敬義「ガウスの楕円関数論」上智大学数学講究録 24 を参考にして関係箇所を一部だけ抜き出した）。
ダウンロード gauss-extract.pdf 外部ﾘﾝｸ:researchmap.jp
があって
で、PDFがダウンロードできる。すると、このPDFの最後が P477 で、>>612の
David A. Cox Gauss and the Arithmetic-Geometric Mean
P20/22 の領域図で、 InVolumeIII, published in 1863 and edited by Ernst Schering:
つまり、この古い版ですね
P20/22 の下の領域図が、
In VolumeVIII, published in 1900 and edited by Felix Klein:
で、>>613 九州大学数理学研究院 金子 昌信 氏
”・・・Fricke が編者に入った 1900 年刊行のVIII巻(105ページ)においてようやく正しく書き直された.”
に該当でしょう
で、私は 初見では Coxの二つの図の違いが分らなかったが
左端の縦軸から 丸く突き出している部分が、上の 1863年版は不正確で
下の 1900 年版が正解ってことですね
なるほどね
いまごろ分ったです （＾＾；
616: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)00:35 ID:zr+dFWV7(2/15) AAS
>>615
>主に河田敬義「ガウスの楕円関数論」上智大学数学講究録 24 を参考にして
下記ですね（最下段のPDF）
この河田先生PDFで、基本領域図は P160、161 にまたがる部分ですね
河田先生の解説がありますね。なるほどね
(参考)
外部ﾘﾝｸ:cir.nii.ac.jp
上智大学数学講究録
外部ﾘﾝｸ:cir.nii.ac.jp
ガウスの楕円関数論（高木貞治先生著"近世数学史談"より)
機関リポジトリ
外部ﾘﾝｸ:digital-archives.sophia.ac.jp
メタデータ ファイル有り
タイトル
ガウスの楕円関数論（高木貞治先生著"近世数学史談"より)
その他のタイトル
Gauss and Elliptic Functions
著者
河田, 敬義
著者別名
Kawada, Yukiyoshi
記事種別
Departmental Bulletin Paper
言語名
日本語/Japanese
出版者
上智大学数学教室
掲載誌名
上智大学数学講究録
号
24
開始ページ
1
終了ページ
184
発行日
1986-11
著者版フラグ
publisher
URI
外部ﾘﾝｸ:digital-archives.sophia.ac.jp
ダウンロード
2000020527_24.pdf 外部ﾘﾝｸ[pdf]:digital-archives.sophia.ac.jp
617: 02/11(火)06:04 ID:MW1+hP7T(1/61) AAS
◆yH25M02vWFhP
長文弄するも
何もわからず
哀れ高卒素人
618(1): 02/11(火)06:11 ID:MW1+hP7T(2/61) AAS
なんか一生懸命、モジュラー関数の基本領域の形、調べてるけど
もともとバナッハ・タルスキの逆説の話だろ
自由群、調べたか？
この図の意味、わかるか？
的外れな検索コピペしかできん高卒素人エテ公
画像ﾘﾝｸ
619(1): 02/11(火)06:17 ID:MW1+hP7T(3/61) AAS
モジュラー群はF2とはちょっと違うんだが、F2を部分群として持つから問題ない
というか、双曲平面の合同群の離散部分群として直接F2を構成することもできるけどな
まあ、そこはどうやろうが結論は変わらんけど
外部ﾘﾝｸ:www.researchgate.net
620: 02/11(火)06:58 ID:MW1+hP7T(4/61) AAS
南無阿弥陀仏
621(1): 02/11(火)07:26 ID:SQ07GpKQ(1/12) AAS
算術幾何平均の新しい話が「数学」の
最新号に載っている
622(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)07:58 ID:zr+dFWV7(3/15) AAS
>>618-619
おサルさん
ありがとう
下記だね
外部ﾘﾝｸ:en.wikipedia.org
Cayley graph
Connection to group theory
外部ﾘﾝｸ:ja.wikipedia.org
ケイリーグラフ
ケイリーグラフ（英: Cayley graph, Cayley diagram）とは群の抽象的な構造を表現するアーサー・ケイリーの名に由来するグラフである。特定の（ふつうは有限な）群の生成集合に対して使われ、組合せ論的あるいは幾何学的群論における中心的な道具である。
なお、
外部ﾘﾝｸ:ja.wikipedia.org
モジュラー群
双曲平面のタイル貼り
このことはまた、基本領域（英語版）を構成することができることを意味する。（大まかには、）基本領域は H の中のすべての z の軌道からちょうど一つづつの代表元を選ぶことで構成することができる。（領域の境界に注意が必要である。）
基本領域を構成する方法は多数あるが、すべてに共通なことは、領域
略す
は、垂直線 Re(z) = 1/2 と Re(z) = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。
外部ﾘﾝｸ:en.wikipedia.org
Fundamental domain 基本領域（英語版）
Fundamental domain for the modular group
The diagram to the right shows part of the construction of the fundamental domain for the action of the modular group Γ on the upper half-plane H.
This famous diagram appears in all classical books on modular functions. (It was probably well known to C. F. Gauss, who dealt with fundamental domains in the guise of the reduction theory of quadratic forms.)
google訳
この有名な図は、モジュラー関数に関するすべての古典的な本に登場します。（これは、2次形式の簡約理論の形で基本領域を扱ったCFガウスにはよく知られていたでしょう。）
623: 02/11(火)08:11 ID:MW1+hP7T(5/61) AAS
ああそうかい
624(1): 02/11(火)08:19 ID:MW1+hP7T(6/61) AAS
>>622
リアルエテ公に質問
Q1 群の生成元って知ってる？
Q2 群の（生成元の間の）基本関係って知ってる？
Q3 群の表示って知ってる？
答え方
Yesの場合、Yesではなく中身を自分の言葉で書け コピペは０点
Noの場合、Noだけでいいが 即０点
625: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)08:23 ID:zr+dFWV7(4/15) AAS
>>621
>算術幾何平均の新しい話が「数学」の
>最新号に載っている
ID:SQ07GpKQ は、御大か
朝の巡回ご苦労さまです
数学 最新号：2025年1月号 (発売日2025年01月29日)
下記ですね。
”計算機と数学計算代数幾何学の現在−−−連接層のコホモロジー群と正標数の代数曲線にまつわる算術を中心に−−− ······································工藤桃成 93”
かな？
外部ﾘﾝｸ[html]:www.mathsoc.jp
『数学』目次一覧
数学 最新号：2025年1月号 (発売日2025年01月29日)
岩波書店
第77巻第1号 2025年1月 冬季号
論説
確率偏微分方程式と正則性構造理論·································星野壮登 1
岡多様体と楕円性−−−複素解析におけるホモトピー原理−−−···········日下部佑太 31
オイラー系とゼータ関数の特殊値···································佐野昂迪 50
K3的超幾何保型形式 ··············································志賀弘典 63
計算機と数学計算代数幾何学の現在−−−連接層のコホモロジー群と正標数の代数曲線にまつわる算術を中心に−−− ······································工藤桃成 93
626: 02/11(火)08:34 ID:MW1+hP7T(7/61) AAS
無駄な検索コピペ 休むに似たり
あわれ 数学の論理が全然わからぬ高卒素人
627(1): 02/11(火)08:35 ID:z8otUnNc(1/11) AAS
書き込めないが、お礼だけ言っておく>>615
2つの版を並べて見たのは初めて。
628(1): 02/11(火)08:36 ID:z8otUnNc(2/11) AAS
0のところは尖っていて正解。これは尖点と呼ばれる大事な点。
629: 02/11(火)08:38 ID:MW1+hP7T(8/61) AAS
数学言語の論理を理解することなしに数学を理解することは不可能である
数学は記号の操作法ではない
高校までの記号操作の習熟では大学数学の壁は乗り越えられない
一方論理を理解すれば大学数学は理解できる
大学教授の指導が悪いのかわからんが
大学生の大多数が大学数学の壁で滑落死するのは残念
某名誉教授のヘボ指導の結果が
某エテ公のようなこじらせ学生
大阪・名古屋あたりのド田舎では
学生の質も教授の質も最低らしい
630(1): 02/11(火)08:43 ID:z8otUnNc(3/11) AAS
わたしからも問題を一つ。
>>615 クライン版の
基本領域の形に自由群の特徴があらわれているが
それは一体どういう特徴か？
631(1): 02/11(火)08:46 ID:MW1+hP7T(9/61) AAS
>>630 知らん（完）
632(1): 02/11(火)08:50 ID:MW1+hP7T(10/61) AAS
・・・と答えようと思ったが一応答えておく
双曲平面の合同変換群の離散部分群が自由群だとしたとき
その基本領域は尖点か境界円にベタっと接する箇所しか持たない
（つまり有限個の領域が接する点を持たない）
・・・と思うが、証明したわけではない
633: 02/11(火)08:52 ID:MW1+hP7T(11/61) AAS
有限個の領域が接する点があると、そこで関係式が生じてしまう
尖点は問題ないと思うが、証明したわけではない
634(1): 02/11(火)08:52 ID:z8otUnNc(4/11) AAS
>>631
考えれば分かるのに。
基本領域を一つの部屋と考える。
境界を一つ超えることは隣の部屋に移動することに対応。
そのように移動していったとき、「後戻り」を禁じれば
「ぐるぐる周って元の部屋に戻ってくる」ということは
ありえない。
635(1): 02/11(火)08:55 ID:MW1+hP7T(12/61) AAS
ついでにいうと自由群の生成元の数は基本領域の辺の数の半分
だから自由群の基本領域の辺の数は偶数
636(1): 02/11(火)08:55 ID:z8otUnNc(5/11) AAS
>>632
概ねそんなところ。
637: 02/11(火)08:58 ID:MW1+hP7T(13/61) AAS
>>634
>「後戻り」を禁じれば
後戻りの操作が先に進む操作の逆元で、両者が同一でなければ問題ない
逆元をかければ単位元になることは別に禁じられてない
逆元がもとの元と同じだとa^2=eという関係式が生じるからダメなだけ
638: 02/11(火)08:59 ID:MW1+hP7T(14/61) AAS
>>636
635は見たかい？
639(1): 02/11(火)09:01 ID:MW1+hP7T(15/61) AAS
なんか答えがうっすいところをみると
乙とかいう馬鹿素人か？
馬鹿は自分が馬鹿だと気づかず
利口ぶって知ったかぶりするからな
利口とは己の馬鹿を知ることだぞ
640: 02/11(火)09:02 ID:MW1+hP7T(16/61) AAS
「俺は馬鹿じゃない」といったらそいつは馬鹿
641(1): 02/11(火)09:09 ID:SQ07GpKQ(2/12) AAS
算術幾何平均の話はこれ↓
K3的超幾何保型形式 (志賀弘典)
642: 02/11(火)09:09 ID:z8otUnNc(6/11) AAS
後戻り 英語で言うと"back tracking"
aa^(-1)=eということ。これを除けば、表示は一意的
ということが自由群。
>>635は勿論正しい。
643(1): 02/11(火)09:12 ID:z8otUnNc(7/11) AAS
以前、「ルジャンドル記号は尖点における値をあらわす」
と言ったら、「お前乙だろ」と言われたが、勿論違うｗ
上下前次1-新書関写板覧索設栞歴
あと 359 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s