[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
616: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)00:35 ID:zr+dFWV7(2/15)
>>615
>主に河田敬義「ガウスの楕円関数論」上智大学数学講究録 24 を参考にして
下記ですね（最下段のPDF）
この河田先生PDFで、基本領域図は P160、161 にまたがる部分ですね
河田先生の解説がありますね。なるほどね
(参考)
https://cir.nii.ac.jp/all?q=%E4%B8%8A%E6%99%BA%E5%A4%A7%E5%AD%A6%E6%95%B0%E5%AD%A6%E8%AC%9B%E7%A9%B6%E9%8C%B2&page=2
上智大学数学講究録
https://cir.nii.ac.jp/crid/1050010457800324096
ガウスの楕円関数論（高木貞治先生著"近世数学史談"より)
機関リポジトリ
https://digital-archives.sophia.ac.jp/repository/view/repository/20220411006
メタデータ ファイル有り
タイトル
ガウスの楕円関数論（高木貞治先生著"近世数学史談"より)
その他のタイトル
Gauss and Elliptic Functions
著者
河田, 敬義
著者別名
Kawada, Yukiyoshi
記事種別
Departmental Bulletin Paper
言語名
日本語/Japanese
出版者
上智大学数学教室
掲載誌名
上智大学数学講究録
号
24
開始ページ
1
終了ページ
184
発行日
1986-11
著者版フラグ
publisher
URI
https://digital-archives.sophia.ac.jp/repository/view/repository/20220411006
ダウンロード
2000020527_24.pdf https://digital-archives.sophia.ac.jp/pub/repository/20220411006/pdf/1_0-DC1_b61df82ad6fc9a75115710a291f4752a43491ee54daad76b74042319eaa7991b_1739287476281_2000020527_24.pdf?dl=1
617: １３２人目の素数さん [] 02/11(火)06:04 ID:MW1+hP7T(1/61)
◆yH25M02vWFhP
長文弄するも
何もわからず
哀れ高卒素人
618(1): １３２人目の素数さん [] 02/11(火)06:11 ID:MW1+hP7T(2/61)
なんか一生懸命、モジュラー関数の基本領域の形、調べてるけど
もともとバナッハ・タルスキの逆説の話だろ
自由群、調べたか？
この図の意味、わかるか？
的外れな検索コピペしかできん高卒素人エテ公
https://en.wikipedia.org/wiki/Free_group#/media/File:F2_Cayley_Graph.png
619(1): １３２人目の素数さん [] 02/11(火)06:17 ID:MW1+hP7T(3/61)
モジュラー群はF2とはちょっと違うんだが、F2を部分群として持つから問題ない
というか、双曲平面の合同群の離散部分群として直接F2を構成することもできるけどな
まあ、そこはどうやろうが結論は変わらんけど
https://www.researchgate.net/figure/First-few-generations-of-a-directed-Cayley-graph-for-Z-2-Z-3_fig1_286513459
620: １３２人目の素数さん [] 02/11(火)06:58 ID:MW1+hP7T(4/61)
南無阿弥陀仏
621(1): １３２人目の素数さん [] 02/11(火)07:26 ID:SQ07GpKQ(1/12)
算術幾何平均の新しい話が「数学」の
最新号に載っている
622(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)07:58 ID:zr+dFWV7(3/15)
>>618-619
おサルさん
ありがとう
下記だね
https://en.wikipedia.org/wiki/Cayley_graph
Cayley graph
Connection to group theory
https://ja.wikipedia.org/wiki/%E3%82%B1%E3%82%A4%E3%83%AA%E3%83%BC%E3%82%B0%E3%83%A9%E3%83%95
ケイリーグラフ
ケイリーグラフ（英: Cayley graph, Cayley diagram）とは群の抽象的な構造を表現するアーサー・ケイリーの名に由来するグラフである。特定の（ふつうは有限な）群の生成集合に対して使われ、組合せ論的あるいは幾何学的群論における中心的な道具である。
なお、
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B8%E3%83%A5%E3%83%A9%E3%83%BC%E7%BE%A4
モジュラー群
双曲平面のタイル貼り
このことはまた、基本領域（英語版）を構成することができることを意味する。（大まかには、）基本領域は H の中のすべての z の軌道からちょうど一つづつの代表元を選ぶことで構成することができる。（領域の境界に注意が必要である。）
基本領域を構成する方法は多数あるが、すべてに共通なことは、領域
略す
は、垂直線 Re(z) = 1/2 と Re(z) = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。
https://en.wikipedia.org/wiki/Fundamental_domain
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)
ああそうかい
624(1): １３２人目の素数さん [] 02/11(火)08:19 ID:MW1+hP7T(6/61)
>>622
リアルエテ公に質問
Q1 群の生成元って知ってる？
Q2 群の（生成元の間の）基本関係って知ってる？
Q3 群の表示って知ってる？
答え方
Yesの場合、Yesではなく中身を自分の言葉で書け コピペは０点
Noの場合、Noだけでいいが 即０点
625: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)08:23 ID:zr+dFWV7(4/15)
>>621
>算術幾何平均の新しい話が「数学」の
>最新号に載っている
ID:SQ07GpKQ は、御大か
朝の巡回ご苦労さまです
数学 最新号：2025年1月号 (発売日2025年01月29日)
下記ですね。
”計算機と数学計算代数幾何学の現在−−−連接層のコホモロジー群と正標数の代数曲線にまつわる算術を中心に−−− ······································工藤桃成 93”
かな？
https://www.mathsoc.jp/publications/sugaku/index.html
『数学』目次一覧
数学 最新号：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)
無駄な検索コピペ 休むに似たり
あわれ 数学の論理が全然わからぬ高卒素人
627(1): １３２人目の素数さん [sage] 02/11(火)08:35 ID:z8otUnNc(1/11)
書き込めないが、お礼だけ言っておく>>615
2つの版を並べて見たのは初めて。
628(1): １３２人目の素数さん [sage] 02/11(火)08:36 ID:z8otUnNc(2/11)
0のところは尖っていて正解。これは尖点と呼ばれる大事な点。
629: １３２人目の素数さん [] 02/11(火)08:38 ID:MW1+hP7T(8/61)
数学言語の論理を理解することなしに数学を理解することは不可能である
数学は記号の操作法ではない
高校までの記号操作の習熟では大学数学の壁は乗り越えられない
一方論理を理解すれば大学数学は理解できる
大学教授の指導が悪いのかわからんが
大学生の大多数が大学数学の壁で滑落死するのは残念
某名誉教授のヘボ指導の結果が
某エテ公のようなこじらせ学生
大阪・名古屋あたりのド田舎では
学生の質も教授の質も最低らしい
630(1): １３２人目の素数さん [sage] 02/11(火)08:43 ID:z8otUnNc(3/11)
わたしからも問題を一つ。
>>615 クライン版の
基本領域の形に自由群の特徴があらわれているが
それは一体どういう特徴か？
631(1): １３２人目の素数さん [] 02/11(火)08:46 ID:MW1+hP7T(9/61)
>>630 知らん（完）
632(1): １３２人目の素数さん [] 02/11(火)08:50 ID:MW1+hP7T(10/61)
・・・と答えようと思ったが一応答えておく
双曲平面の合同変換群の離散部分群が自由群だとしたとき
その基本領域は尖点か境界円にベタっと接する箇所しか持たない
（つまり有限個の領域が接する点を持たない）
・・・と思うが、証明したわけではない
633: １３２人目の素数さん [] 02/11(火)08:52 ID:MW1+hP7T(11/61)
有限個の領域が接する点があると、そこで関係式が生じてしまう
尖点は問題ないと思うが、証明したわけではない
634(1): １３２人目の素数さん [sage] 02/11(火)08:52 ID:z8otUnNc(4/11)
>>631
考えれば分かるのに。
基本領域を一つの部屋と考える。
境界を一つ超えることは隣の部屋に移動することに対応。
そのように移動していったとき、「後戻り」を禁じれば
「ぐるぐる周って元の部屋に戻ってくる」ということは
ありえない。
635(1): １３２人目の素数さん [] 02/11(火)08:55 ID:MW1+hP7T(12/61)
ついでにいうと自由群の生成元の数は基本領域の辺の数の半分
だから自由群の基本領域の辺の数は偶数
上下前次1-新書関写板覧索設栞歴
あと 367 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s