[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
614: 132人目の素数さん [] 2025/02/10(月) 21:06:23.30 ID:6fwmQoR3 >>609 馬鹿乙はモジュラー群もケイリーグラフも知らんだろw http://rio2016.5ch.net/test/read.cgi/math/1738367013/614
615: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/11(火) 00:17:27.13 ID:zr+dFWV7 >>612-613 補足 >武部 尚志 >という訳で、作った資料を←こちらの「資料公開」の項に置いてみました。年表は xfig で作って pdf を吐かせた物。Bernoulli, Legendre, Jacobi, Gauss の全集はネット上のあっちこっちの公開図書館から pdf を落として、紹介に必要な部分だけ切り貼りしました。どう考えても著者の著作権は切れているものばかりですが(一番新しいのが Gauss 全集か Jacobi 全集) これ分りました 日本語 or English のスイッチが 右上にあり、日本語に切り替えると ”資料公開”が出て、その中で https://researchmap.jp/multidatabases/multidatabase_contents/detail/229654/ee13e364a17be72679f15d64b4a78c33?frame_id=560986 タイトル Gauss 全集より lemniscate 積分関係の抜粋 カテゴリ 講義資料 概要 Gauss 全集より lemniscate 積分関係の抜粋(主に河田敬義「ガウスの楕円関数論」上智大学数学講究録 24 を参考にして関係箇所を一部だけ抜き出した)。 ダウンロード gauss-extract.pdf https://researchmap.jp/multidatabases/multidatabase_contents/download/229654/ee13e364a17be72679f15d64b4a78c33/3786?col_no=2&frame_id=560986 があって で、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 年版が正解ってことですね なるほどね いまごろ分ったです (^^; http://rio2016.5ch.net/test/read.cgi/math/1738367013/615
616: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/11(火) 00:35:55.42 ID:zr+dFWV7 >>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 http://rio2016.5ch.net/test/read.cgi/math/1738367013/616
617: 132人目の素数さん [] 2025/02/11(火) 06:04:49.04 ID:MW1+hP7T ◆yH25M02vWFhP 長文弄するも 何もわからず 哀れ高卒素人 http://rio2016.5ch.net/test/read.cgi/math/1738367013/617
618: 132人目の素数さん [] 2025/02/11(火) 06:11:33.71 ID:MW1+hP7T なんか一生懸命、モジュラー関数の基本領域の形、調べてるけど もともとバナッハ・タルスキの逆説の話だろ 自由群、調べたか? この図の意味、わかるか? 的外れな検索コピペしかできん高卒素人エテ公 https://en.wikipedia.org/wiki/Free_group#/media/File:F2_Cayley_Graph.png http://rio2016.5ch.net/test/read.cgi/math/1738367013/618
619: 132人目の素数さん [] 2025/02/11(火) 06:17:10.45 ID:MW1+hP7T モジュラー群はF2とはちょっと違うんだが、F2を部分群として持つから問題ない というか、双曲平面の合同群の離散部分群として直接F2を構成することもできるけどな まあ、そこはどうやろうが結論は変わらんけど https://www.researchgate.net/figure/First-few-generations-of-a-directed-Cayley-graph-for-Z-2-Z-3_fig1_286513459 http://rio2016.5ch.net/test/read.cgi/math/1738367013/619
620: 132人目の素数さん [] 2025/02/11(火) 06:58:55.31 ID:MW1+hP7T 南無阿弥陀仏 http://rio2016.5ch.net/test/read.cgi/math/1738367013/620
621: 132人目の素数さん [] 2025/02/11(火) 07:26:26.69 ID:SQ07GpKQ 算術幾何平均の新しい話が「数学」の 最新号に載っている http://rio2016.5ch.net/test/read.cgi/math/1738367013/621
622: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/11(火) 07:58:52.97 ID:zr+dFWV7 >>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ガウスにはよく知られていたでしょう。) http://rio2016.5ch.net/test/read.cgi/math/1738367013/622
623: 132人目の素数さん [] 2025/02/11(火) 08:11:45.81 ID:MW1+hP7T ああそうかい http://rio2016.5ch.net/test/read.cgi/math/1738367013/623
624: 132人目の素数さん [] 2025/02/11(火) 08:19:09.87 ID:MW1+hP7T >>622 リアルエテ公に質問 Q1 群の生成元って知ってる? Q2 群の(生成元の間の)基本関係って知ってる? Q3 群の表示って知ってる? 答え方 Yesの場合、Yesではなく中身を自分の言葉で書け コピペは0点 Noの場合、Noだけでいいが 即0点 http://rio2016.5ch.net/test/read.cgi/math/1738367013/624
625: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/11(火) 08:23:36.54 ID:zr+dFWV7 >>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 http://rio2016.5ch.net/test/read.cgi/math/1738367013/625
626: 132人目の素数さん [] 2025/02/11(火) 08:34:39.28 ID:MW1+hP7T 無駄な検索コピペ 休むに似たり あわれ 数学の論理が全然わからぬ高卒素人 http://rio2016.5ch.net/test/read.cgi/math/1738367013/626
627: 132人目の素数さん [sage] 2025/02/11(火) 08:35:17.96 ID:z8otUnNc 書き込めないが、お礼だけ言っておく>>615 2つの版を並べて見たのは初めて。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/627
628: 132人目の素数さん [sage] 2025/02/11(火) 08:36:03.03 ID:z8otUnNc 0のところは尖っていて正解。これは尖点と呼ばれる大事な点。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/628
629: 132人目の素数さん [] 2025/02/11(火) 08:38:59.62 ID:MW1+hP7T 数学言語の論理を理解することなしに数学を理解することは不可能である 数学は記号の操作法ではない 高校までの記号操作の習熟では大学数学の壁は乗り越えられない 一方論理を理解すれば大学数学は理解できる 大学教授の指導が悪いのかわからんが 大学生の大多数が大学数学の壁で滑落死するのは残念 某名誉教授のヘボ指導の結果が 某エテ公のようなこじらせ学生 大阪・名古屋あたりのド田舎では 学生の質も教授の質も最低らしい http://rio2016.5ch.net/test/read.cgi/math/1738367013/629
630: 132人目の素数さん [sage] 2025/02/11(火) 08:43:06.38 ID:z8otUnNc わたしからも問題を一つ。 >>615 クライン版の 基本領域の形に自由群の特徴があらわれているが それは一体どういう特徴か? http://rio2016.5ch.net/test/read.cgi/math/1738367013/630
631: 132人目の素数さん [] 2025/02/11(火) 08:46:08.00 ID:MW1+hP7T >>630 知らん(完) http://rio2016.5ch.net/test/read.cgi/math/1738367013/631
632: 132人目の素数さん [] 2025/02/11(火) 08:50:41.47 ID:MW1+hP7T ・・・と答えようと思ったが一応答えておく 双曲平面の合同変換群の離散部分群が自由群だとしたとき その基本領域は尖点か境界円にベタっと接する箇所しか持たない (つまり有限個の領域が接する点を持たない) ・・・と思うが、証明したわけではない http://rio2016.5ch.net/test/read.cgi/math/1738367013/632
633: 132人目の素数さん [] 2025/02/11(火) 08:52:34.05 ID:MW1+hP7T 有限個の領域が接する点があると、そこで関係式が生じてしまう 尖点は問題ないと思うが、証明したわけではない http://rio2016.5ch.net/test/read.cgi/math/1738367013/633
634: 132人目の素数さん [sage] 2025/02/11(火) 08:52:52.29 ID:z8otUnNc >>631 考えれば分かるのに。 基本領域を一つの部屋と考える。 境界を一つ超えることは隣の部屋に移動することに対応。 そのように移動していったとき、「後戻り」を禁じれば 「ぐるぐる周って元の部屋に戻ってくる」ということは ありえない。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/634
635: 132人目の素数さん [] 2025/02/11(火) 08:55:04.17 ID:MW1+hP7T ついでにいうと自由群の生成元の数は基本領域の辺の数の半分 だから自由群の基本領域の辺の数は偶数 http://rio2016.5ch.net/test/read.cgi/math/1738367013/635
636: 132人目の素数さん [sage] 2025/02/11(火) 08:55:33.21 ID:z8otUnNc >>632 概ねそんなところ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/636
637: 132人目の素数さん [] 2025/02/11(火) 08:58:23.60 ID:MW1+hP7T >>634 >「後戻り」を禁じれば 後戻りの操作が先に進む操作の逆元で、両者が同一でなければ問題ない 逆元をかければ単位元になることは別に禁じられてない 逆元がもとの元と同じだとa^2=eという関係式が生じるからダメなだけ http://rio2016.5ch.net/test/read.cgi/math/1738367013/637
638: 132人目の素数さん [] 2025/02/11(火) 08:59:14.29 ID:MW1+hP7T >>636 635は見たかい? http://rio2016.5ch.net/test/read.cgi/math/1738367013/638
639: 132人目の素数さん [] 2025/02/11(火) 09:01:42.35 ID:MW1+hP7T なんか答えがうっすいところをみると 乙とかいう馬鹿素人か? 馬鹿は自分が馬鹿だと気づかず 利口ぶって知ったかぶりするからな 利口とは己の馬鹿を知ることだぞ http://rio2016.5ch.net/test/read.cgi/math/1738367013/639
640: 132人目の素数さん [] 2025/02/11(火) 09:02:15.90 ID:MW1+hP7T 「俺は馬鹿じゃない」といったらそいつは馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1738367013/640
641: 132人目の素数さん [] 2025/02/11(火) 09:09:22.98 ID:SQ07GpKQ 算術幾何平均の話はこれ↓ K3的超幾何保型形式 (志賀弘典) http://rio2016.5ch.net/test/read.cgi/math/1738367013/641
642: 132人目の素数さん [sage] 2025/02/11(火) 09:09:51.79 ID:z8otUnNc 後戻り 英語で言うと"back tracking" aa^(-1)=eということ。これを除けば、表示は一意的 ということが自由群。 >>635は勿論正しい。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/642
643: 132人目の素数さん [sage] 2025/02/11(火) 09:12:24.77 ID:z8otUnNc 以前、「ルジャンドル記号は尖点における値をあらわす」 と言ったら、「お前乙だろ」と言われたが、勿論違うw http://rio2016.5ch.net/test/read.cgi/math/1738367013/643
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 359 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s