整数論を勉強するためのスレッド

**１３２人目の素数さん** · 2019/11/02(土) 05:18:46.03

代数幾何のスレが盛り上がってるので建てた。
俺はSerreのLocal Fieldsを読む。

**１３２人目の素数さん** · 2019/11/02(土) 07:27:55.91

そんな盛り上がってる所あったっけ

**１３２人目の素数さん** · 2019/11/02(土) 09:12:11.33

じゃあ私はWeilのBasic Number Theoryを読みます

**１３２人目の素数さん** · 2019/11/02(土) 09:16:49.38

それなら私はJürgen NeukirchのAlgebraic Number Theory読みますね

**１３２人目の素数さん** · 2019/11/02(土) 09:25:36.30

俺は高木貞治の初等整数論を読む

**１３２人目の素数さん** · 2019/11/02(土) 19:00:18.47

>>2
横レスだが、代数幾何学のスレは同じようなのが３本ほど立っていてそれなりに投稿があるようだ

**１３２人目の素数さん** · 2019/11/03(日) 11:09:02.93

虚数乗法がどう美しいのか教えてくれ

**１３２人目の素数さん** · 2019/11/05(火) 21:02:27.79

>>1
岩澤の方はなぜ読まないの
あとexplicit formulaの数論的重要性を教えて下さい

**１３２人目の素数さん** · 2019/11/05(火) 21:38:23.85

いつまでもリーマン予想が解けない人たちの現実逃避
それが整数論

**１３２人目の素数さん** · 2019/11/07(木) 18:48:05.75

Galois representations and modular forms
https://www.ms.u-tokyo.ac.jp/~t-saito/talk/eepr.pdf

保型函数と整数論1
https://www.jstage.jst.go.jp/article/sugaku1947/11/4/11_4_193/_pdf/-char/ja

この辺のお話に興味をもったので、数論やる

**１３２人目の素数さん** · 2019/11/08(金) 19:57:03.37

>>7
ザックリいうと、楕円函数やアーベル函数といった特殊函数は、リーマン面上で虚数乗法によって類別することによって、類体論の言葉に翻訳することができる。
類体論は「平方剰余の相互法則（一般相互法則の特別の場合）」やモジュラー函数や超幾何函数との関係を説明でき、より簡単に計算する方法を提供する。
特にガウスの定理（テイラーのR=T定理の特殊な場合）は、ヘッケ・ラマヌジャン・グロタンディーク・セール理論によって、解析と代数と幾何を橋渡しする。

**１３２人目の素数さん** · 2019/11/08(金) 22:02:26.02

>>11
なるほど

**１３２人目の素数さん** · 2019/11/08(金) 23:35:18.03

保型形式論-現代整数論講義-読んだ人っている？
代数的整数論は勉強しててアデール環とか、ホモロジー代数は一応通ってるけど、保型形式は別の本から始めたほうがいい？

**１３２人目の素数さん** · 2019/11/08(金) 23:44:36.99

Riemann面の知識（Riemann-Rochの定理や、Abel-Jacobiの定理など）があるなら、Diamond-Shurmanはおすすめ

**１３２人目の素数さん** · 2019/11/09(土) 10:28:13.08

>>9
『与えられた数より小さい素数の個数について』（Über die Anzahl der Primzahlen unter einer gegebenen Größe）1859年
ttps://de.wikisource.org/wiki/%C3%9Cber_die_Anzahl_der_Primzahlen_unter_einer_gegebenen_Gr%C3%B6%C3%9Fe
ttps://ja.wikipedia.org/wiki/%E4%B8%8E%E3%81%88%E3%82%89%E3%82%8C%E3%81%9F%E6%95%B0%E3%82%88%E3%82%8A%E5%B0%8F%E3%81%95%E3%81%84%E7%B4%A0%E6%95%B0%E3%81%AE%E5%80%8B%E6%95%B0%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6
「正解じゃない」

**１３２人目の素数さん** · 2019/11/09(土) 21:16:55.75

現代的な保型表現の純整数論的な応用が勉強出来る本（論文でも可)はありますか

**１３２人目の素数さん** · 2019/11/09(土) 22:09:40.22

保型形式論-現代整数論講義-

**１３２人目の素数さん** · 2019/11/09(土) 22:47:30.85

そこまでのことは俺には分からんな
専門家が現れることを望む

**１３２人目の素数さん** · 2019/11/10(日) 01:32:15.44

>>18
レスサンクスm(_ _)m
詳しい人のレス引き続き待ってます

**１３２人目の素数さん** · 2019/11/10(日) 10:56:33.48

保型形式論現代整数論講義がドンピシャだと思うけどスルーってことは何かあかんの？

著者が長年京都大学で教鞭をとった整数論の講義を下敷きに，表現論的な保型形式論を講じる．
リーマンのゼータ函数より出発し，Hecke環の一般論，Hecke作用素とL函数に関する古典的理論へと進む．大域体のアデール環とイデール群の導入による岩澤-Tate理論の解説，代数群の基本，保型形式・保型表現の一般的定義を経て，後半の発展的話題へと論を展開する．

**１３２人目の素数さん** · 2019/11/10(日) 11:47:26.41

>>20
導入にセールの『数論講義』第2部「保型関数」を読むと仮定すると、次の志村の本（Introduction...）との間に一冊欲しい。
志村の本を読み始めるには少し手ほどきが必要だと思う。授業なら埋めてくれるけど、独学だと大変。
最近は、加藤・黒川・斎藤・栗原「数論（I・II）」の保型形式を読むのかな。
Diamond-Shurmanは、志村の古臭い7,8章の代わりに読むのが定石。
同様に『保型形式論現代整数論講義』も、志村の次に読む感じ（半分は志村の復習）。>>13がひとりで読めるのか心配。
後半まで読んでやっと応用部分が出て来るってイメージかな。

**１３２人目の素数さん** · 2019/11/10(日) 15:33:28.78

>>20
保型表現の話をする前座として
古典的保型形式論の話が前半部にあって
その古典的保型形式論の話に純整数論の話が少し載ってるだけでしょ
あなた目次しか見てないのにアンサーでしゃばっただけでしょ

**１３２人目の素数さん** · 2019/11/10(日) 15:51:46.46

>>21
日本語本によくある「著者のメモ書き用の本」でしょ、その吉田先生の本。
まともにガッツリ勉強したいなら洋書のしっかりした本を読むべきでは。
吉田先生の本は
「だいたいどんな事をやるのか」をぼんやり眺めるのに部屋に飾っとくにはいい本ぽい。

>Diamond-Shurmanは、志村の古臭い7,8章の代わりに読むのが定石。

Diamondの本はよく知らないけど、高次元アーベル多様体上のゼータ関数なんかを
たっぷり解説してくれてるの？
印象としては志村本は、(複素)代数幾何学や類体論(整数論)とのつながりを
たっぷり解説してくれてる印象だけど、そのDiamondの本は
代数幾何要素、数論要素が薄い気もするけれど

あと志村本で使用されてるweil流の代数幾何って、
ハーツホーン1章の古典的代数幾何学の事とは全く似て非なるものなの？

**アホを晒し続ける** · 2019/11/10(日) 16:00:26.73

　数学は理解するもの。
いくら読んでも自慢には鳴らん

りかいすれば応用したくなる。
りかいできてないから　応用はできない。　本を買い続けるバカが多い。

**１３２人目の素数さん** · 2019/11/10(日) 16:13:53.68

こういうスレは上げたらアカンなすまん

>>24
>いくら読んでも自慢には鳴らん

自慢したくて読むんじゃない読みたくて読みたくて読みたいから読むだけ

**１３２人目の素数さん** · 2019/11/10(日) 16:16:58.99

＞日本語本によくある「著者のメモ書き用の本」でしょ、

日本語に限らず多いな
著者が「自分が院生の時にあったらよかったのに」という本
役に立たないわけではないが今の院生が読んでも身につかない

**１３２人目の素数さん** · 2019/11/10(日) 16:23:55.90

>>22
「保型表現の話をする前座として
古典的保型形式論の話が前半部にあって
その古典的保型形式論の話に純整数論の話が少し載ってるだけ」
というのは「目次しか見てないのにアンサーでしゃばっただけ」ではないということ？

**１３２人目の素数さん** · 2019/11/10(日) 17:24:43.45

269１３２人目の素数さん2019/11/10(日) 16:02:28.24ID:AhAlgTS6
rudinの本が芸術的域と書かれたレスを５ちゃんで見たことあるが
その意味がだんだん分かってきた
数学科の学生は(上限の意味だけサラッと準備して)サッサとルベーグ積分やった方が
いいんじゃないか？
リーマン式の微積なんか学ぶ必要ホントにあるの

270１３２人目の素数さん2019/11/10(日) 16:53:07.34ID:niu6Js1G
アホ乙

**１３２人目の素数さん** · 2019/11/10(日) 21:36:53.89

>>24
自嘲ですか？。

**１３２人目の素数さん** · 2019/11/10(日) 22:38:48.51

吉田と伊吹山を買って読むだけで何も研究できません～

**１３２人目の素数さん** · 2019/11/11(月) 18:31:30.13

数論って何が面白いんだろうな

**１３２人目の素数さん** · 2019/11/11(月) 20:14:21.75

整数論に惹かれるのは
・学部3年の終わりになっても高校数学の「整数」の知識しかなく易しいと思っている
・日本人で活躍している数学者が多いらしいと聞いた
・なんか凄そう　なんか難しそう
・俺はリーマン予想を解く！
あたりじゃないかw
定員50人の数学科で15人くらいが整数論志望だったり

ネットで聞きかじっただけで学部程度の代数の知識もなければ
複素解析もあやふやなのに整数論～　保形関数～って言ってるw

**１３２人目の素数さん** · 2019/11/11(月) 20:46:09.45

ID:AhAlgTS6
ID:aCAjpEag
ばかはひっこんでな

**１３２人目の素数さん** · 2019/11/11(月) 21:22:37.34

>>32
おそらく数学科でないあんたこそずっと粘着してるみたいだから
レス返してあげとくと
数論ほど膨大な準備が必要な分野はないし
リーマン予想がどうだこうだなんて数論を動かす動機にまでまだ熟してないから
リーマン予想は多くの数学者にとって現実的な興味を持たれてない
数論で今猛威を奮って流行ってるのは非可換類体論
分野として急成長しているのは保型表現論
そして数論の深淵を鼓舞し続けてるがモチーフ理論
これで満足したならお受験板にお帰り
どうせNHKのおこちゃま番組見てリーマン予想って言葉だけ覚えて来たんだろ

**１３２人目の素数さん** · 2019/11/11(月) 21:56:26.63

＞数論で今猛威を奮って流行ってるのは非可換類体論
＞分野として急成長しているのは保型表現論
＞そして数論の深淵を鼓舞し続けてるがモチーフ理論

なんつーか日本人エリート整数論研究者の視点ってよくわかるねえw
もちょっと視野を広く持ったほうがいいんじゃないのぉ？

**１３２人目の素数さん** · 2019/11/11(月) 22:51:22.10

>>35
↑
根拠を語れないバカ
荒らしと一緒のカス

**１３２人目の素数さん** · 2019/11/11(月) 23:14:14.94

若い人かな？　元気いいねえ　いいことだよ

たまたま通りすがっただけだけど
Number Theory and Dynamics Conference 2019
https://www.maths.cam.ac.uk/number-theory-and-dynamics-2019
なんて面白そうなことやってたけど日本人が全然いないんだよねえ

まあ>>34のような調子でやってても十分面白いと思うし日本の強みだろうけど
ガラパゴスだと次世代が辛くなんない？

**１３２人目の素数さん** · 2019/11/12(火) 03:31:12.42

>>37
https://www.math.kyoto-u.ac.jp/~kawaguch/pdf/14AlgSym.pdf
日本のアラケロフ幾何の人がサーベイ書いてるけど
この分野が数論的に深い内容とも思えない
これから先は知らないけど

**１３２人目の素数さん** · 2019/11/12(火) 07:47:12.63

>>31
というか、代数学がつまらない
ふつうに考えて、方程式なんて解析的に解ければそれでよくて、制限条件をつけて構造を調べても実質的に意味のある成果なんか得られてないと思う

**１３２人目の素数さん** · 2019/11/12(火) 07:57:44.38

あ、線形代数は別な

**１３２人目の素数さん** · 2019/11/12(火) 08:03:45.37

>>39
おまえの考えがつまらない。
ま、面白いかつまらないかなんて主観と言えばそうだが
数値解てほんとつまらんなというのは数学始めたときから思ってた。

**１３２人目の素数さん** · 2019/11/12(火) 08:07:17.41

たとえば実数というのは現実とよくマッチにしているように感じられたとしても
それはごく表面的な話だよ。
もっと深い真実があるだろうというのが整数論をやってるひとの感覚。

**１３２人目の素数さん** · 2019/11/12(火) 08:16:25.35

急につっかかってきて、どうしたの？
大丈夫？

**１３２人目の素数さん** · 2019/11/12(火) 08:25:39.09

さすがに有理数と無理数の区別に意味がないとは言わないだろう。
たとえばαが有理数か無理数かで
e^{2πiα}が生成する乗法群は有限群か無限群かという違いが生じるが
無限と「大きな有限」には大差ないというのは数学センスが無さすぎる。
そして、有理数と無理数の区別は
「いくら顕微鏡で拡大して見ても分からない」
「これほど文明の利器が無力なことはない」
という話は加藤和也氏がよく言うこと。

**１３２人目の素数さん** · 2019/11/12(火) 08:26:19.16

>>43
別につっかかってないよ。

**１３２人目の素数さん** · 2019/11/12(火) 09:15:31.91

え、このポエムまだ続いてたの

**１３２人目の素数さん** · 2019/11/12(火) 09:41:59.08

>>40
>あ、線形代数は別な

わざわざ線形代数付け加えて予防線張ったがバカを隠せなかったか?!

**１３２人目の素数さん** · 2019/11/12(火) 12:57:45.64

君の心を制する論

**１３２人目の素数さん** · 2019/11/12(火) 20:46:14.52

>>39
>方程式なんて解析的に解ければそれでよくて

「方程式を解く」こと自体の何が面白いのか一切分からん
おまえは数学自体に興味なさそうだからどっかヨソに行けよ

**１３２人目の素数さん** · 2019/11/13(水) 09:45:30.29

どのスレ行っても、松坂くんの同類みたいなのが粘着してくるんだな

**１３２人目の素数さん** · 2019/11/13(水) 10:07:30.33

面白い子…

**１３２人目の素数さん** · 2019/11/14(木) 16:29:32.90

MilneのClass Field Theoryのレクチャーノート、Tate cohomologyのとこまで読んだ

だいたい先が読めてきた

**１３２人目の素数さん** · 2019/11/15(金) 12:56:52.07

H^2の元とカップ積をとるって、これ具体的に何してるんだ

**１３２人目の素数さん** · 2019/11/16(土) 20:33:07.89

>>31
ガウスによると数学の女王様

限りなく知的にした暇つぶし

**１３２人目の素数さん** · 2019/11/17(日) 15:37:34.02

崩れども、職が決まらなくてノイローゼか？
女子高生盗撮して逮捕されんなよ！

**１３２人目の素数さん** · 2019/11/18(月) 06:16:24.05

ま～た方程式解析的に解くの好きなバカが来てるのか？！ｗｗ

**１３２人目の素数さん** · 2019/11/21(木) 19:06:03.88

SGA4.5は、Deligneの講義のノートが英訳されてるのね

**１３２人目の素数さん** · 2019/11/21(木) 20:57:18.69

今の院生も、Weil conjectureを読むの？

**１３２人目の素数さん** · 2019/11/22(金) 13:05:34.39

∃今の院生、Weil conjectureを読む
なのか
∀今の院生、Weil conjectureを読む
なのか

**１３２人目の素数さん** · 2019/11/23(土) 12:38:06.98

>>57
URLきぼん

**１３２人目の素数さん** · 2019/11/23(土) 13:38:38.24

たぶんこれ
https://www.jmilne.org/math/Documents/TArcata.pdf

SGA 4.5の一章の内容をカバーしている

**１３２人目の素数さん** · 2019/11/24(日) 02:01:24.67

>>61
多分も何も
箸にも棒にもかかってないよ・・・

**１３２人目の素数さん** · 2019/11/24(日) 02:07:56.87

SGA4.5ってSGA４とSGA５の事かと思ったらSGA４(1/2)みたいだし
しかもページ数的にSGA４(1/2)の3割も満たない訳で
SGA４(1/2)分の英訳が他にも同じような形で全部やられてるならまだしも
まぁ仏語読んだほうが早いから誰も困らないけど

**１３２人目の素数さん** · 2019/11/24(日) 04:13:30.87

そういう勘違いを勝手にされても……

**１３２人目の素数さん** · 2019/11/24(日) 04:46:29.28

SGA1 (エタール被覆と基本群)
SGA2 (連接層の局所コホモロジーと大域および局所レフシェッツの定理)
SGA3 (群スキーム)
SGA4 (トポス理論とスキームのエタール・コホモロジー)
SGA4.5 (エタール・コホモロジー)
SGA5 (l 進コホモロジーと L 関数)
SGA6 (交叉理論とリーマン・ロッホの定理)
SGA7 (代数幾何学におけるモノドロミー群)
なおBerthelot著crystalline cohomologyがSGA8 と呼ばれることがあるが、Grothendieckの構想と直接の関係はない。

**１３２人目の素数さん** · 2019/11/24(日) 04:52:07.34

>>64
一行目じゃなく二行目にこそ言及しろよ・・・
自分の都合の悪い方を無視するって役人か

**１３２人目の素数さん** · 2019/11/24(日) 05:06:10.87

だいたい４．５という表示もバカ過ぎる
４と5はエタールコホモロジー繋がりだから思いっ切り紛らわしい

**１３２人目の素数さん** · 2019/11/24(日) 05:08:24.25

ああ話の通じない人か

**１３２人目の素数さん** · 2019/11/24(日) 05:16:48.42

話を通じさせるに足らないレスをしたから話が通じなかっただけに見えるけどな

**１３２人目の素数さん** · 2019/11/24(日) 05:22:13.17

誰も「SGAの英訳」なんて言ってないし、そもそもDeligneの講義の公開されてる講義ノートってこれしか知らんし

**１３２人目の素数さん** · 2019/11/24(日) 10:23:58.18

>>64
これのどこに話が通じる要素があったのだろうか

**１３２人目の素数さん** · 2019/11/24(日) 10:25:50.69

>>62（NGID:qvRhGo3d）が「箸にも棒にもかかってない」ブーメランを自分の頭に直撃させて流血してるスレｗ

**１３２人目の素数さん** · 2019/11/24(日) 11:39:44.94

代数幾何学スレで暴れてたのもこいつだろ？

**１３２人目の素数さん** · 2019/11/24(日) 11:46:00.93

https://rio2016.5ch.net/test/read.cgi/math/1569284478/177
177１３２人目の素数さん2019/11/24(日) 04:54:32.06ID:qvRhGo3d
> >>176
> アレは読める必要ないし
> アレが読める人はアレを読む必要ない
> 素直にSGA4読むべき

**１３２人目の素数さん** · 2019/11/29(金) 19:00:54.74

根拠を添えない価値判断のレスはノイズ

**１３２人目の素数さん** · 2019/11/29(金) 20:27:59.57

無自覚な荒らし

こんな過疎スレでのしつこい自己主張

病気だよ

**１３２人目の素数さん** · 2019/11/29(金) 22:01:28.97

>>75（NGID:pe2ka8WL）が「根拠を添えない価値判断のレス」ブーメランを自分の頭に直撃させて流血してるスレｗ

Inter-universal geometry と ABC予想 42
https://rio2016.5ch.net/test/read.cgi/math/1572150086/511
https://rio2016.5ch.net/test/read.cgi/math/1572150086/512
https://rio2016.5ch.net/test/read.cgi/math/1572150086/515

**１３２人目の素数さん** · 2019/12/02(月) 23:02:01.36

小野孝の数論序説を読んでる
ヒルベルトの理論を円分体に用いると、二次体の分解法則が明示的に記述できることが分かった
明日、証明フォローする

これやったら、類体論やる前にセールの本の二次形式も読みたい

**１３２人目の素数さん** · 2019/12/02(月) 23:55:09.51

堀田良之　可換環と体に、代数関数体の合同ゼータ関数の話が書いてある

SGA読めへんからこれ読む

**１３２人目の素数さん** · 2019/12/03(火) 00:12:05.79

>>78
「Artin写像の核には、シュトラール類群（Ray class group）とノルムの積である合同イデアル類群が現れる。」（定理2.21）

**１３２人目の素数さん** · 2019/12/03(火) 13:24:55.03

類体とは、『素イデアルの分解の仕方が、合同イデアル類群によって判る』ようなアーベル拡大体のことである。

**１３２人目の素数さん** · 2019/12/03(火) 18:16:02.62

>>80-81の背景となる理論があるからこそ、円分体や二次体の『素イデアルの分解の仕方が、類数公式によって判る』と言える。
この類数公式に出て来るのが各種のゼータ関数やL-関数で、類体の秘密を宿している。

**１３２人目の素数さん** · 2019/12/03(火) 20:01:02.76

そうですか

**１３２人目の素数さん** · 2019/12/04(水) 19:51:15.83

非アーベル拡大の場合はどうなるんですか？

**１３２人目の素数さん** · 2019/12/04(水) 21:11:30.19

>>84
Deligne予想＝「有限体上の高次元類体論の非アーベル化」（未解決）
斎藤秀司「高次元類体論の現在」p.259-p.260, 7 有限体上の多様体の類体論の非アーベル化
https://www.jstage.jst.go.jp/article/sugaku/67/3/67_0673246/_pdf/-char/ja

**１３２人目の素数さん** · 2019/12/04(水) 23:31:57.04

やべえ超おもしろそう

**１３２人目の素数さん** · 2019/12/05(木) 02:46:27.33

「類体の秘密」を調べるもう一つの方法が『岩澤理論』
加藤和也「整数論の近年のいくつかの進展をふりかえって」p.420-p.425, 2 岩澤理論の発展
https://www.jstage.jst.go.jp/article/sugaku/69/4/69_0694413/_pdf/-char/ja

**１３２人目の素数さん** · 2019/12/05(木) 19:03:18.53

クロッカワーの中年の夢

**１３２人目の素数さん** · 2019/12/05(木) 20:25:46.67

>>11
『クロネッカー青春の夢』 => 類体論
『虚２次数体上のアーベル方程式は、虚数乗法を持つ楕円関数の変換方程式で汲み尽くされる』

**１３２人目の素数さん** · 2019/12/05(木) 20:50:04.18

ヒルベルトの第12問題
杉浦光夫「ヒルベルトの問題II」p.259-p.260, 第XII問題解析函数によるアーベル拡大の構成

**１３２人目の素数さん** · 2019/12/05(木) 20:52:25.72

https://www.jstage.jst.go.jp/article/sugaku1947/43/3/43_3_253/_article/-char/ja/

**１３２人目の素数さん** · 2019/12/07(土) 14:11:31.63

証明問題
「５つの整数が与えられている。
その中の３つを上手く選べば、その和が３の倍数になる。」

**１３２人目の素数さん** · 2019/12/07(土) 14:13:56.03

>>92
この問題は時期的にまずい。
もうちょっと待て。

**１３２人目の素数さん** · 2019/12/07(土) 14:25:28.00

a^3 - b^3 = 217
を満たす整数の組(a, b)を全て求めよ

**１３２人目の素数さん** · 2019/12/07(土) 14:43:56.51

>>94 まるパクリかよｗｗｗ
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q129066282

**１３２人目の素数さん** · 2019/12/08(日) 17:10:38.94

整数論って何が面白いの？

◆QZaw55cn4c · 2019/12/08(日) 19:07:22.73

>>96
素因数分解が一通りであることを証明するのが面白いのです

**１３２人目の素数さん** · 2019/12/08(日) 23:34:53.68

>>95 によれば
(a,b) = (-8,-9) (1,-6) (6,-1) (9,8)

**１３２人目の素数さん** · 2019/12/09(月) 03:26:27.94

>>92
> 証明問題
> 「５つの整数が与えられている。
> その中の３つを上手く選べば、その和が３の倍数になる。」

３を法として整数を３つの部分集合　C_k =def= { n?Z | n mod 3 = k } (0≦k≦2)に分割すると、

(1) ５つの整数の中に、ある k について C_k から少なくとも３つの整数を含んでいる場合、
同一の C_k に属する３つを選べばそれらの和は３の倍数になる

(2) さもなければ、C_0, C_1, C_2 の各々から少なくとも１つは含まねばならない
従って、これら３つの部分集合の各々に属する整数を１つずつ選べばそれらの和はやはり３の倍数になる

QED

**１３２人目の素数さん** · 2019/12/09(月) 03:28:26.04

>>99訂正
数学記号は文字化けするんですね（少なくともJaneStyleだと）

誤> ３を法として整数を３つの部分集合　C_k =def= { n?Z | n mod 3 = k } (0≦k≦2)に分割すると、
正> ３を法として整数を３つの部分集合　C_k =def= { n in Z | n mod 3 = k } (0≦k≦2)に分割すると、

**１３２人目の素数さん** · 2019/12/09(月) 10:48:20.67

正解です。
「2･3^n - 1 個の整数が与えられている。
その中から 3^k 個組 (その和は3^kの倍数) を 2･3^(n-k) -1 組取り出せる。
とくに、3^n 個を上手く選べば、その和が3^nの倍数になる。」

一般化しました。

「a個の整数が与えられているとき、
その中のb個を上手く選べば、その和がcの倍数になる。
(a>b>1, a>c>1)」

　　↓

「 (a-1)(b^n -1)/(b-1) +1 個の整数が与えられているとき、
その中の b^n 個を上手く選べば、その和が c^n の倍数になる。」

**１３２人目の素数さん** · 2019/12/09(月) 11:11:23.58

>>98
a^3 + b^3 + c^3 = 6^3
の整数解：
　(3,4,5)　(n,-n,6)　(-1,-8,9)　(-8,-10,12)　以外にある？

**１３２人目の素数さん** · 2019/12/09(月) 11:39:18.20

>>101
(a,b,c) = (2m-1,m,m)　とできるらしい。

[エレ解スレ３.491]
http://www.renyi.hu/~p_erdos/1961-25.pdf

**１３２人目の素数さん** · 2019/12/09(月) 13:25:14.18

エルデシュ＝ギンツブルグの定理
「2m-1個の整数の集合には、和がmで割り切れるようなm個の整数の部分集合が必ず存在する。」

【数セミ】エレガントな解答をもとむ3【2018.10】
https://rio2016.5ch.net/test/read.cgi/math/1537116043/481-491

**１３２人目の素数さん** · 2019/12/09(月) 16:37:17.53

「エルデシュ＝ギンツブルグの定理」（>>104）でm=3とした場合が、【数セミ】エレガントな解答をもとむ2019年11月号「出題１」（>>92）の場合。
「５つの整数が与えられている。その中の３つを上手く選べば、その和が３の倍数になる。」
問題文の「上手く選べば」を「必ず存在する」という存在定理に読みかえられる。

**１３２人目の素数さん** · 2019/12/10(火) 07:02:14.68

>>101
(a1,b1,c1) と (a2,b2,c2) について成り立てば
(a1+b1(a2-1), b1･b2, c1･c2) についても成り立つ。

>>103-105
(2m-1,m,m) と (2n-1,n,n) について成り立てば
(2mn-1, mn, mn) についても成り立つ。

∴ 素数mについて成り立てば十分。

(3,2,2)　…　偶奇の同じ2個を取り出す。
(5,3,3)　　　>>99

>>105
　12月号

**１３２人目の素数さん** · 2019/12/10(火) 08:29:18.83

よそでやれ

**１３２人目の素数さん** · 2019/12/10(火) 18:04:32.19

Erdős, P.; Ginzburg, A.; Ziv, A. (1961). "Theorem in additive number theory". Bull. Research Council Israel. 10F: 41–43.
https://www.renyi.hu/~p_erdos/1961-25.pdf

「Zero-sum problem」
https://en.wikipedia.org/wiki/Zero-sum_problem

**１３２人目の素数さん** · 2019/12/10(火) 21:11:39.73

へえ

**１３２人目の素数さん** · 2019/12/11(水) 09:46:09.84

>>104
>>108
mは素数とする。
x_i をmで割ったときの剰余に注目して、昇順に並べる。
　0 ≦ x_1 ≦ x_2 ≦ ････ ≦ x_(2m-1) < m,

・同じ剰余がm個以上あるとき、そのm個を取り出す。
・どの剰余も(m-1)個以下のとき、
　0 < x_(m+i) - x_i < p,　　(1≦i<m)　････(1)

ここで、
S_0 = {0}
S_1 = {0, x_(m+1)-x_1}
S_t = { [Σ[i=1,t] f_i･(x_(m+i) - x_i)] mod m | f_i = 0または1 }
とおく。

補題
　#S_t ≧ t+1,　　(0≦t≦m-1)

(略証)
tについての帰納法による。
#S_0 = 1,
#S_1 = 2,
S_(t+1) = S_t Ｕ { [s+x_(m+t+1)-x_(t+1)] mod m | s∈S_t }
右辺の２つの集合は、元の数は等しい。( #S_t )
しかし元の和は (x_(m+t+1) - x_(t+1)) #S_t だけずれている。(mod m)
#S_t < m のとき、(1) より、mで割り切れない。
∴ 後者の集合は S_t にはない元を含む。
∴ #S_(t+1) ≧ #S_t + 1,　　　(終)

#S_(m-1) = m だから 0,1,････,m-1 をすべて含む。
　s ≡ - (x_1+x_2+････+x_m)　　(mod m)
となる元 s ∈ S_(m-1) を取り出せば、
　Σ[f_i=0] x_i + Σ[f_i=1] x_(m+i) ≡ 0　　(mod m)

**１３２人目の素数さん** · 2019/12/11(水) 10:02:28.54

>>110
それできる？
もともとのエルデシュの証明でまずmが素数の場合に限定してるのは
S_tからS_{t+1}にいくときS_tの各頂点があるmの約数の倍数ばかりになってて
S_{t+1}にいくとき点が増えない可能性があるからで、実際にそれは起こる場合があるので
やはりmが素数の場合から積み上げていくしかないなぁとあきらめたんだけど。

**１３２人目の素数さん** · 2019/12/11(水) 11:58:49.38

ご指摘のとおり、mが素数であることを使っています。

　0 < x_(m+i) - x_i < m,　　(1≦i<m)　････(1)
　0 < #S_t < m
より　x_(m+t+1)-x_(t+1) も #S_t も 1～m-1 の範囲内ですから
mで割り切れません。
さらに、mが素数ならば、その積もmで割り切れないと言えます。

**１３２人目の素数さん** · 2019/12/11(水) 12:05:10.14

うまくm-1組のペアをその差からなるm-1元の集合のGCDが1になるように取れる。
がサラッと示せればいいんだけど素数の場合から積み上げていくより楽に示せればいけるんですけどね。
ペアの差の集合全体のGCDがmと互いに素であるケースにはすぐ帰着できるけど、その時そこからうまくm-1組みdisjointに選ぶ方法が見つからなくて諦めました。
あるかも。

**ID:1lEWVa2s** · 2019/12/11(水) 16:23:00.98

ユークリッド互除法か。

**ID:1lEWVa2s** · 2019/12/11(水) 16:23:49.75

ユークリッド互除法の研究とリーマン予想に挑むか。私のこと。

**ID:1lEWVa2s** · 2019/12/11(水) 16:25:37.79

あんたまだフェルマーの最終定理が残ってるでしょう。きっちり落とし前付けてくださいよ。あうとれいじ。私のこと。

**１３２人目の素数さん** · 2019/12/11(水) 20:47:48.15

「加法的整数論」には、「Erdős–Ginzburg–Ziv の定理」（>>104-108）や「分割数の理論」が含まれ、難問が多いことで知られる。
「分割数の理論」とは、自然数nを正の自然数の和としてあらわす方法で、視覚的な表現に「ヤング図形」が知られている。

**１３２人目の素数さん** · 2019/12/11(水) 20:49:55.39

Additive number theory「加法的整数論」
https://en.wikipedia.org/wiki/Additive_number_theory

**１３２人目の素数さん** · 2019/12/11(水) 21:01:51.22

オイラーの時代には「加法的整数論」が数論の中心問題で、「ウェアリングの問題」や「ゴールドバッハの予想」が知られていた。
https://ja.wikipedia.org/wiki/ウェアリングの問題（1909年、ヒルベルトが解決）
https://ja.wikipedia.org/wiki/ゴールドバッハの予想（未解決）

**ID:1lEWVa2s** · 2019/12/12(木) 07:32:15.29

やんぐやぶろうか.。

**１３２人目の素数さん** · 2019/12/12(木) 23:49:16.54

addictive number theoryだと加法和也っぽいよね。

**１３２人目の素数さん** · 2019/12/15(日) 02:04:08.30

問題投下
以下の条件一と条件二を共にみたす、正の整数nは無数にあるか？
条件一：2^n +1が、n-1で割り切れる。
条件二：2^n +2が、nで割り切れる。

計算してみると、n=2,6,66は条件一と条件二を共にみたすことがわかる。

**１３２人目の素数さん** · 2019/12/16(月) 13:21:25.49

「加法的整数論」を勉強するなら
ヒンチン著蟹江訳「数論の3つの真珠」
がおすすめ。
1. ファン・デル・ヴェルデンの定理
2. シュニレルマンの不等式
3. ウェアリングの問題
今なら
4. Zero-sum problem
が加わっているところだ。

**１３２人目の素数さん** · 2019/12/18(水) 02:47:36.94

ニーズがあるかわからんが、一応>>122の回答w

kが条件一と条件二をみたすとき、m=2＾k +2も条件一と条件二をみたすことをいう。

明らかに、kは4で割り切れない偶数でかつ2＾k +2はkの奇数倍であることがわかる。
m=2^k +2が条件一をみたすこと
明らかに2^k≡-1 (mod 2^k +1)がいえるから、2^(2^k +2)≡-1 (mod 2^k +1)　よって、2^m +1≡0 (mod m-1)がいえる。

m=2^k +2が条件二をみたすこと
明らかに、2^(k-1)≡-1 (mod 2^(k-1) +1)がいえるから、2^(2^k +1)≡-1 (mod 2^(k-1) +1)　よって、2^(2^k +2) +2≡0 (mod 2^k +2)
したがって、2^m +2≡0 (mod m)がいえる。

◆1Q4eaNW1a6 · 2019/12/18(水) 23:26:32.10

ζ := ζp = exp(2πi/p)
Kummerは、Z[ζp]がUFDとなる素数pに対しては、Fermat's last theoremが成り立つことを示したそうですけど、どうやるんでしょう

(x - yζ)(x - yζ^2)...(x - yζ^(p-1)) = z^p

と因数分解してチョチョイのチョイ、とはいかなそうです

**１３２人目の素数さん** · 2019/12/19(木) 00:15:53.94

ググったらこんなんあった
http://alg-d.com/math/number_theory/fermat.pdf
証明載ってるみたいだけど私には読めないorz

**１３２人目の素数さん** · 2019/12/19(木) 12:11:21.48

バーゼル問題「平方数の逆数全ての和（ゼータ関数のS=2の値）を求めよ」
https://ja.wikipedia.org/wiki/バーゼル問題

**１３２人目の素数さん** · 2019/12/19(木) 12:32:53.26

「加法的整数論」は20世紀にイヴァン・ヴィノグラードフ（Ivan Vinogradov）らによって進展した。
Vinogradov "The Method of Trigonometrical Sums in the Theory of Numbers" Dover

**１３２人目の素数さん** · 2019/12/19(木) 14:12:49.49

1937年ごろ、三角和の方法を用いてヴィノグラードフの定理が証明された。
ヴィノグラードフの定理「十分大きな任意の奇数が3つの素数の和として表すことができる」
https://ja.wikipedia.org/wiki/ヴィノグラードフの定理

この「弱いゴールドバッハ予想」（ヴィノグラードフの定理）は、「一般化されたリーマン予想」を仮定することなしに、証明することができた。
「加法的整数論」の主要なテーマ：
1. ファン・デル・ヴェルデンの定理
2. シュニレルマンの不等式
3. ウェアリングの問題
4. Zero-sum problem
5. ゴールドバッハ予想

◆1Q4eaNW1a6 · 2019/12/19(木) 14:35:00.67

>>126
ありがとうございます。
読んでみます

**１３２人目の素数さん** · 2019/12/20(金) 02:07:53.58

0800
しろ@huwa_cororon 11月27日
苦節6ヶ月、初満点&一等賞です！
https://twitter.com/huwa_cororon/status/1199593474128896000
https://twitter.com/5chan_nel (5ch newer account)

**１３２人目の素数さん** · 2019/12/20(金) 11:16:27.22

整数論にまともに体系化された理論なんてないから勉強するだけ無駄
ゴールドバッハ予想や双子素数問題のような極めて基礎的な問題ですら解けてないのが現実

**１３２人目の素数さん** · 2019/12/20(金) 11:42:15.13

類体論

**１３２人目の素数さん** · 2019/12/20(金) 21:21:03.45

代数的整数論をまじめに勉強する学生も減った

**１３２人目の素数さん** · 2019/12/20(金) 21:34:46.39

数論幾何

**１３２人目の素数さん** · 2019/12/20(金) 22:42:31.52

数論幾何を理解できる学生も減った・・・

**１３２人目の素数さん** · 2019/12/20(金) 23:14:02.78

数論幾何は具体的なことやってて楽しいじゃん

**１３２人目の素数さん** · 2019/12/20(金) 23:29:38.76

数論幾何で一本補助線を引いたらぱーっと問題が解ける
補助線に気がついた時の感覚がたまらないねww

**１３２人目の素数さん** · 2019/12/24(火) 12:42:40.93

幾何以外の分野だと補助線の存在ってなんなの？
媒介変数？

**１３２人目の素数さん** · 2020/01/29(水) 00:44:54.37

SGA 4 1/2を読もうと思う

**１３２人目の素数さん** · 2020/01/29(水) 02:00:13.78

加藤さんの後継者って誰か日本にいないの？

**１３２人目の素数さん** · 2020/01/29(水) 13:01:21.39

双子素数問題の中国人やタオによる成果って、数論幾何とは別方向からだろ。
ゴールドバッハにしても。
数論幾何を崇める視野の狭いのが日本には多いね。

**１３２人目の素数さん** · 2020/02/05(水) 03:18:08.02

ウィルソン剰余
　W(n) = mod((n-1)!, n)

〔ウィルソンの定理〕
　nが素数のとき　W(n) = n-1,
　n=4 のとき　W(4) = 2,
　n≧6 が合成数のとき　W(n) = 0,

**１３２人目の素数さん** · 2020/02/05(水) 03:22:42.29

(略証)
nが素数pのとき
　1≦a<p とする。
　{a,2a,････,(p-1)a} のどの2個も (pを法として) 合同でない。
　また pの倍数でもない。
　よって 1,2,････,p-1 と合同な元が1個づつある。
　ba≡1 (mod p) となるbを a^(-1) と記す。
　aa≠1 (mod p) ならば、aと a^(-1) が対をなす。
　aa≡1 (mod p) となるのは a=1, a=p-1 のみ,
　(p-1)! ≡ p-1　(mod p)

n=4 のとき
　(n-1)! = 3! = 6 ≡ 2　(mod n)

n=pq≧6 のとき
　(p-1)(q-1) > 1,
　n = pq > p+q,
　n | n(p-1) = p(n-q) | (n-1)!
(終)

**１３２人目の素数さん** · 2020/02/19(水) 15:32:59.24

653 １３２人目の素数さん2020/02/18(火) 08:55:02.79ID:i1rO8ufq

私は、数論(数論幾何)の美しさは、数がその背後に深遠な数学的構造を宿してるからだと
ばかり思ってきました。加藤和也先生の「素数の歌が聞こえる」という表現は
あまり詩的過ぎて今まで漠然と受け取っていましたが、しかしあくまで
数自体はその深遠な数学的構造を人間に教えてくれる媒介であって
謂わばそれ自体が本質ではない副次的な存在だと勝手に信じていました。

しかし私がそのような理由で、以前より軽視していた初等整数論の本で
ハーディの数論講義を最近一瞥したら、実はそうではなく、
背後の深遠な数学的構造の有無以前の、その素朴な数自体にも
人間の知性を超えた輝きが確かに存在しているのだと、考えが少し変わりました。
その数自体の美しさを知った上で今までの自身の学習を振り返ると、
複雑な込み入った数学的構造自体の上っ面にしがみつき踊らされ
頭のゴムひもが伸び切ってしまっていたようにも思います。

代数幾何、類体論、保型形式など通常の洗練された現代数学と並行して、
数の原点である初等整数論や解析的整数論も少しずつ学んでみようかと
思っています。とりあえずハーディの本を読むのも一朝一夕には行かない
と思いますが、ハーディの本を読んだあとは、
ジーゲルの解析的整数論、分割関数、連分数、素数分布論、
リーマンゼータ関数や楕円曲線の初等的な取り扱い、など色々考えられますが、
素朴な数の原点のその最高峰は何と言ってもラマヌジャンのような気がします。
ノートブック5巻、ロストノート5巻、これだけで既に膨大ですが
つまみ食いで学んでいくにしても、一体どこから何に手を付けるべきか
道標を示してくれているサーベイすら殆どありません。
どの巻はどんな内容でどんな人がどこから学んでいけばいいのか、
宜しければ是非ともお聞きしたいです

**１３２人目の素数さん** · 2020/03/26(木) 10:19:46.92

>>143
ウィルソンの定理の拡張
n≧3 に対して
　P(n) = Π[1≦m≦n-1, (m,n)=1] m
とおく。このとき
(1)　P(n) ≡ ±1　(mod n)
(2)　P(n) ≡ -1　(mod n) となるのは
　n = p^e, 2p^e　　(pは奇素数、e≧1)
　　= 4
のときである。

**１３２人目の素数さん** · 2020/03/26(木) 10:25:26.81

(略証)
(1)
　A = { m | 1≦m≦n-1, (m,n)=1}
　B = { m | mm≡1　(mod n)}
　C = { m | mm≠1　(mod n)}
とおくと Aは乗法群をなす。　A = B + C
　m∈A に対しては逆元 m^(-1) が存在する。 >>144
　m∈C ならば m と m^(-1) が対をなして相殺する。
　　　Π[m∈C] m = 1,
　m∈B ならば m と n-m と対をなすが -1 が残る。(← m≠n-m)
　　　m(n-m) ≡ -mm ≡ -1　(mod n)
　　　Π[m∈B] m = (-1)^(#B/2)
　　　ここで #B は偶数。
よって
　P(n) = Π[m∈A] m
　　= (Π[m∈B] m)･(Π[m∈C] m)
　　= (-1)^(#B/2)
　　= ±1
(2)
　P(n) ≡ -1 (mod n)　⇔　#B が4の倍数でない。⇔
　　n = p^e, 2p^e　　(pは奇素数、e≧1)
　　　= 4
数学セミナー、2000年3月号　NOTE (土岡氏)

*)　nの素因数分解における2の指数をe, 相異なる奇素数をk種とすると
　#B = 2^k　　　(e=0,1)
　　= 2^(k+1)　　(e=2)
　　= 2^(k+2)　　(e≧3)
となることが、中国剰余定理とnが素数べきの場合の計算から分かる。

高木貞治：「初等整数論講義」第2版、共立出版 (1971)
http://www.kyoritsu-pub.co.jp/bookdetail/9784320010017

**１３２人目の素数さん** · 2020/04/01(水) 13:57:46.99

ご参考

[1]　C[n-1,r-1]・C[n,r+1]・C[n+1,r] = C[n-1,r]・C[n,r-1]・C[n+1,r+1],
　　　V. Hoggatt - Hansell: Fibonacci Quarterly, ９, p.120-133 (1971)

[2]　GCD{C[n-1,r-1]、C[n,r+1]、C[n+1,r]} = GCD{C[n-1,r]、C[n,r-1]、C[n+1,r+1]}
　　　Henry W. Gould (1972)

・文献
　B.Gordon, D.Sato, E.Straus: Pacific J. Math.,１１８(2), p.393-400 (1985)
　　(佐藤大八郎)
　数セミ増刊「数学の問題　第(3)集」日本評論社 (1988)　●72

**１３２人目の素数さん** · 2020/04/01(水) 15:17:04.62

〔定理1〕(ガウスの三平方数定理)
自然数nが3個以下の平方数の和で表わせる。
(3)　　n = xx+yy+zz,　(x,y,z∈Z)
　⇔
(4)　　n ≠ (4^L)･(8k+7)　(L,kは非負の整数)

〔系1〕
　8k+1, 8k+2, 8k+3, 8k+5, 8k+6 の形の自然数nは
3個以下の平方数の和で表わせる。
　8k+3 または 8k+6 の形の自然数nは、
ちょうど3個の平方数の和で表わせる。

〔定理2〕
十分大きい 8k+1, 8k+2, 8k+5 型の自然数nは、
ちょうど3個の平方数の和で表わせる。
　Schinzel (1959)
　E. Grosswald & A. J. Calloway (1959)

〔G.Pallの予想〕 (1933)
　16k+2 型は n>130　(反例: n=130)

それ以外は
　8k+1 型は n>25　(反例: n=25)
　8k+5 型は n>85　(反例: n=5,13,37,85)
と予想される。

数セミ増刊「数学の問題　第(3)集」日本評論社(1988)
●115

**１３２人目の素数さん** · 2020/04/01(水) 16:27:58.25

>>148
[1]
Ｃ[n,r] = n!/(r!･(n-r)!)　より。

[2]
-(n+1)Ｃ[n-1,r-1] - (r+1)Ｃ[n,r+1] + (n-r+1)Ｃ[n+1,r] = Ｃ[n-1,r]
n･Ｃ[n-1,r-1] + (r+1)Ｃ[n,r+1] - (n-r)Ｃ[n+1,r] = Ｃ[n,r-1]
-n･Ｃ[n-1,r-1] - r･Ｃ[n,r+1] + (n-r+1)Ｃ[n+1,r] = Ｃ[n+1,r+1]
∴ GCD{Ｃ[n-1,r-1]、Ｃ[n,r+1]、Ｃ[n+1,r]} は右辺の約数でもある。
つまり右辺のGCD の約数である。
この関係において r を n-r と置き換えれば、ただちに逆の関係を得る。
つまり証明が完成する。

**１３２人目の素数さん** · 2020/04/02(木) 00:45:08.94

とりあえず、円分拡大の相互法則くらい理解したい

**１３２人目の素数さん** · 2020/04/03(金) 11:44:39.24

Hilbertの理論を勉強中

k: algebraic number field
K/k: Galois extension
O_K(, O_k): integral closure of ℤ in K (resp k)

p⊂O_k: prime ideal
pO_K = P_1^e_1∩ ... ∩P_g^e_g (P_i⊂O_K: prime ideal)

**１３２人目の素数さん** · 2020/04/03(金) 15:11:43.17

数論よく知らんけどF_pの原始根って存在だけで具体的な記述は未だ不明なの？
すごく基本的なことだと思うんだが

**１３２人目の素数さん** · 2020/04/03(金) 16:25:04.74

K/kがGalois拡大だと

e_1 = ... = e_g

なので、これをeとおく

また、p⊂O_kおよび各P_i⊂O_Kは極大イデアルなので、それによる剰余環は体

Κ_i = O_K/P_i
κ = O_k/p
f_i := [Κ_i : κ]

とすると、K/kがGaloisなら

f_1 = ... = f_g

これをfとおくと

[K : k] = efg

**１３２人目の素数さん** · 2020/04/03(金) 19:40:53.37

各P_iに対して

D_i := { g∈Gal(K/k)| g(P_i) = P_i }

とおく。
K/kがGalois拡大の場合、Gal(K/k)の{P_1, ..., P_g}への作用は推移的。
したがって、

g = |P_iの軌道| = |Gal(K/k)|/|D_i|

∴ |D_i| = ef

**１３２人目の素数さん** · 2020/04/03(金) 20:03:59.20

π: D_i→Gal(Κ_i/κ)が以下のようにして定まる
g∈D_i, x + P_i∈Κ_iに対して、

π(g)(x + P_i) := g(x) + P_i

これは、全射だが、単射ではない。その核をI_iとすると、

|D_i| = ef
|D_i|/|I_i| = [Κ_i : κ] = f

より

|I_i| = e

**１３２人目の素数さん** · 2020/04/03(金) 20:07:04.41

Gal(Κ_i/κ)は巡回群
その生成元をφ_iとする

e = 1のとき

D_i ～ Gal(Κ_i/κ)

なので、φ_iは、Gal(K/k)の元を定める
これを

((K/k)/P_i)

と書く

**１３２人目の素数さん** · 2020/04/04(土) 11:44:57.33

円分拡大の場合

ζ = exp(2πi/n)
K = ℚ(ζ)
k = ℚ

Gal(K/k) = (ℤ/nℤ)^×

**１３２人目の素数さん** · 2020/04/05(日) 22:40:05.56

原始根がナゾすぎる
調べてみてもまだ全然よくわかってないみたいだけど
モチーフとかラングランズとか進展すれば分かるんかな？

**１３２人目の素数さん** · 2020/04/06(月) 00:18:24.20

モチーフは定義されとるよ。役には立たんが

**１３２人目の素数さん** · 2020/04/06(月) 00:40:52.85

はあ……？

**１３２人目の素数さん** · 2020/04/06(月) 16:10:26.58

数論幾何が発展しても、具体的な代数拡大における素イデアル分解とか分かるようにならないのね

**１３２人目の素数さん** · 2020/04/06(月) 20:58:58.10

>>160
159だけどやはり役に立たないの？
今の数論の方向性で原始根みたいな基本的なことの理解は深まるのか疑問だったんだよね

**１３２人目の素数さん** · 2020/04/06(月) 22:23:39.12

多元の院生でした
F先生は天才だと思うのですが、数論の天才はそれを遥かに凌駕するのですね……
この世界、ヤバスギですね……

**１３２人目の素数さん** · 2020/04/06(月) 22:36:29.99

私が学生のころから、I先生とF先生は多元の若手でも、明らかに突出していました。
そりゃあ、論文書かない教授とか居ますよ。だけど、旧帝大の先生なんて、やっぱ普通の人じゃなれないわけですよ
その秀才集団の中でも、この2人って、学生の目から見ても明らかに天才だったんですよね。
でも、世界にゃ彼らから見ても雲の上みたいな数学者がわんさかいるんですよね
ちっぽけだわ。俺ってちっぽけだわ。

**１３２人目の素数さん** · 2020/04/07(火) 00:45:04.52

伝説級の数学者になる人
優秀な数学者になる人
数学者になる人
真面目な学生
おちこぼれ学生
そもそも学部入試すら通らないゴミ

透視図法みたいなもので、自分より遠くは粗くしか分類できない

**１３２人目の素数さん** · 2020/04/07(火) 00:48:50.24

K, k: 代数体
K/k: Galois拡大
O_K, O_k: K, kにおける整数環
p⊂O_k: 素イデアル

pO_K = P_1^e_1∩...∩P_g^e_g (P_*⊂O_K: 素イデアル)

と素イデアル分解したとする。

Κ_i := O_K/P_i
κ := O_k/p
f_i := [Κ_i:κ]

とおくと、

[K : k] = Σ[i = 1 to g] e_i * f_i.

Gal(K/k)のKへの作用は、{P_1, ..., P_n}への作用を誘導する。
K/kがGalois拡大の場合、この作用は推移的になる。この時、

e_1 = ... = e_g

となる。これを簡単にeと書く。

K/kがGalois拡大の場合、さらに

f_1 = ... = f_g

となる。これを簡単にeと書く。よって、

[K : k] = efg.

**１３２人目の素数さん** · 2020/04/07(火) 00:52:16.18

D_i := { σ∈Gal(K/k)| σ(P_i) = P_i }

とおく。このD_iをP_iの分解群という。群の作用の性質から

|{σ(P_i)| σ∈Gal(K/k) }| = |Gal(K/k)|/|D_i|.

Gal(K/k)の作用は推移的だったので、

g = [K : k]/|D_i|
∴ |D_i| = ef.

σ∈D_iとする。
x + P_i∈Κ_iに対して、σ(x) + P_iを対応させることで、群の準同型

D_i → Gal(Κ_i/κ)

が定まる。この準同型は全射だが、単射とは限らない。
その核をI_iとすると、

|D_i|/|I_i| = f_i
∴ |I_i| = e

このI_iを、P_iの惰性群という。

**１３２人目の素数さん** · 2020/04/07(火) 08:20:16.62

以下、e = 1の場合を考える。このとき、

D_i ～ Gal(Κ_i/κ)

Κ_i/κは有限体の代数拡大なので、Gal(Κ_i/κ)は位数fの巡回群。
その生成元をφ_iとする。φ_iのD_i⊂Gal(K/k)への引き戻しを、

[(K/k)/P_i]

と書く。この元は、

[(K/k)/P_i](x) + P_i = x^f + P_i ∈ Κ_i

となる元である。

[(K/k)/P_i]の位数が1 ⇔ pはO_Kで完全分解

τ(P_i) = P_jとなるτ∈Gal(K/k)を用いると、

[(K/k)/P_i] = τ^(-1)∘[(K/k)/P_j]∘τ

となる。
したがって、K/kがAbel拡大であれば、この元はpのみから定まるので

((K/k)/p)

と書く。

**１３２人目の素数さん** · 2020/04/07(火) 08:23:14.19

k = ℚの場合

K = ℚ(ζ_m) (ζ_m := exp(2πi/m))
p = (p)⊂ℤ (p:奇素数)
とする。このとき、((ℚ(ζ_m)/ℚ)/(p))は、

((ℚ(ζ_m)/ℚ)/(p))(ζ_m) = (ζ_m)^p

で定まる自己同型である。

K: 代数体
K/ℚ: Abel拡大
とする。
Kronecker-Weberの定理より、あるmがあって、

ℚ⊂K⊂ℚ(ζ_m)

となる。対応する群は、

Gal(ℚ(ζ_m)/ℚ)⊃Gal(K/ℚ)⊃{e}

であり、

Gal(K/ℚ) ～ Gal(ℚ(ζ_m)/ℚ)/Gal(K/ℚ).

よって、p: 奇素数に対し、

(p)がKで完全分解 ⇔ ((ℚ(ζ_m)/ℚ)/(p))のKへの制限が恒等写像

**１３２人目の素数さん** · 2020/04/07(火) 17:44:03.27

よくよく考えたら原始根以前に有限体やp進数の逆元も具体的に分かってるわけではないのか
aとbが互いに素な整数のとき、ある整数a*とb*が存在して
aa*+bb*=1
と出来る、この事実が全ての基礎になってるわけだけど
これらが簡単に表現できない(互除法で行き当たりばったりで作るしかない)ことが神秘的なのかね
文元センセも言ってた加法と乗法の複雑な絡み合い

**１３２人目の素数さん** · 2020/04/07(火) 21:50:00.26

任意のnに対して、有理数体のガロア拡大で、ガロア群がZ/nZと同型になるものは存在しますか？

**１３２人目の素数さん** · 2020/04/07(火) 22:15:15.02

算術級数定理より

p = kn + 1

となる素数pが存在する

ζを1の原始p乗根とすると、Q(ζ)/QはGalois拡大で、Gal(Q(ζ)/Q)は

(Z/pZ)^× ～ Z/(p-1)Z ～ Z/(kn)Z

これの部分群Hで、Z/kZと同形なものが存在する

(Q(ζ)^H)/Qが求めるもの

**１３２人目の素数さん** · 2020/04/07(火) 22:22:16.29

なるほど～
n|p-1なるpがあればいいとこまではわかったけど、算術級数定理か

**１３２人目の素数さん** · 2020/04/07(火) 22:29:05.57

すべての自然数を、素数と高々 k 個の素数の積である数との和で表すことのできるような、k が存在することを証明してくれ〜

**１３２人目の素数さん** · 2020/04/07(火) 23:41:22.39

>>175
1どうしましょ

**１３２人目の素数さん** · 2020/04/08(水) 01:58:42.77

>>175
レー二の定理

https://ja.m.wikipedia.org/wiki/%E3%82%B4%E3%83%BC%E3%83%AB%E3%83%89%E3%83%90%E3%83%83%E3%83%8F%E3%81%AE%E4%BA%88%E6%83%B3

**１３２人目の素数さん** · 2020/04/08(水) 05:13:10.38

この人がコーヒーの有名な一節の親なのか
「すべての自然数」てのはwikiのミスかね

**１３２人目の素数さん** · 2020/04/08(水) 17:53:12.92

> sapply(1:20,function(k) treasure0(4,5,k))
[,1] [,2] [,3] [,4] [,5] [,6] [,7] [,8] [,9] [,10] [,11]
短軸有利 9 84 463 1776 5076 11249 19797 28057 32243 30095 22749
長軸有利 9 83 453 1753 5075 11353 20057 28400 32528 30250 22803
同等 2 23 224 1316 5353 16158 37666 69513 103189 124411 122408
[,12] [,13] [,14] [,15] [,16] [,17] [,18] [,19] [,20]
短軸有利 13820 6656 2486 695 137 17 1 0 0
長軸有利 13831 6657 2486 695 137 17 1 0 0
同等 98319 64207 33788 14114 4571 1106 188 20 1

4×5の場合
宝：1個　同等
宝：2〜5個　短軸有利
宝：6〜13個　長軸有利
宝：14〜20個　同等

□■■■■
□□■■■
□□□■■
□□□□■

短軸有利☆

Table[sum[C(2n-1+C(0,(21mod n)-1),k-1),{n,1,9}],{k,1,20}]

長軸有利☆

Table[sum[C(2n-1+C(0,6mod n)-C(0,C(3,n-2)-1),k-1),{n,1,9}],{k,1,20}]

同等☆

Table[C(19,k-1)+C(17,k-2)+C(15,k-2)+C(13,k-2)+C(8,k-2)+C(1,k),{k,1,20}]

**１３２人目の素数さん** · 2020/04/08(水) 19:08:41.74

(1 - x)(1 - x^2)(1 - x^3) ...

**１３２人目の素数さん** · 2020/04/10(金) 10:57:23.96

>>180
e(n) := nを偶数個の異なる自然数に分割する組み合わせの総数
o(n) := nを奇数個の異なる自然数に分割する組み合わせの総数

とすると、x^nの係数は

e(n) - o(n)

**１３２人目の素数さん** · 2020/04/10(金) 12:25:30.15

e(n) - o(n)は、-1～1しか取らない

**１３２人目の素数さん** · 2020/04/11(土) 21:27:44.00

n=pq(異なる素数の積)のときn次の円分多項式の係数が-1～1しか取らないことの証明教えて
(このことからn=p^iq^jのときもそうなる)

**１３２人目の素数さん** · 2020/04/11(土) 21:45:35.93

自己解決した

**１３２人目の素数さん** · 2020/04/12(日) 22:21:11.40

>>183
あれ？
それ成立しないって聞いた記憶かるけど？

**１３２人目の素数さん** · 2020/04/12(日) 22:32:34.23

>>185
それはnが3つ以上の奇素数の積のときではなく？

**１３２人目の素数さん** · 2020/04/13(月) 20:37:25.26

ベルトラン仮説や算術級数定理のような素数に関する素朴でシンプルな定理あれば教えてください
(上のレーニの定理は少し複雑だなという感想です)

◆QZaw55cn4c · 2020/04/13(月) 22:13:45.40

>>187
ゴールドバッハの予想
＞全ての 3 よりも大きな偶数は2つの素数の和として表すことができる

**１３２人目の素数さん** · 2020/04/13(月) 22:38:58.17

て、定理をお願いします…

**１３２人目の素数さん** · 2020/04/13(月) 22:39:44.21

素数の逆数和は発散する

**１３２人目の素数さん** · 2020/04/14(火) 11:01:55.50

フェルマーの小定理

**１３２人目の素数さん** · 2020/04/14(火) 13:35:21.37

はよせい(｀_´)

**１３２人目の素数さん** · 2020/04/19(日) 03:16:44.85

ウェアリングの問題、ゴールドバッハの予想 >>119
ヴィノグラードフの定理 >>129
レー二の定理 >>177

**１３２人目の素数さん** · 2020/04/19(日) 03:17:23.95

Zero-sum problem、エルデシュ＝ギンツブルグの定理 >>108
バーゼル問題 >>127
虚数乗法 >>11 、類数公式 >>80-91

**１３２人目の素数さん** · 2020/04/19(日) 03:23:47.10

与えられた数より小さい素数の個数について >>16
https://ja.wikipedia.org/wiki/リーマン予想

**１３２人目の素数さん** · 2020/04/19(日) 20:20:35.32

おお！ありがとう
ヴィノグラードフとエルデシュ=ギンツブルグ初めて知りました

**１３２人目の素数さん** · 2020/04/20(月) 22:46:36.02

ベルトランの仮説はゴールドバッハの予想から持ってこれる。中国剰余定理とフェルマーの小定理は素数の定義と3000時間にらめっこしてれば大体の人が自力発見できると思う

**１３２人目の素数さん** · 2020/04/23(木) 14:37:22.24

赤玉i個、黄玉j個、青玉k個を2人で分ける。
　i_1 + i_2 = i,
　j_1 + j_2 = j
　k_1 + k_2 = k,

(i,j,k）が
　i+j+k = 偶数,
　|i-j| ≦ k ≦ i+j,
の条件を満たすとき、
　{i_1, j_1, k_1} = {i_2, j_2, k_2}　　←集合として同じ
とすることができるか？
（色違いは許して同数）

**１３２人目の素数さん** · 2020/04/24(金) 17:10:41.00

>>190
H_n = Σ[k=1,n] 1/k
< Π[p≦n] (1+1/p+1/pp+････)
= Π[p≦n] 1/(1-1/p)
= Π[p≦n] {1 + 1/(p-1)}
= 2Π[2<p≦n] {1 + 1/(p-1)}
< 2Π[p<n] (1 + 1/p)
< 2 exp(Σ[p<n] 1/p),

H_n → ∞　(n→∞)
より
Σ[p<n］1/p → ∞　(n→∞)

**１３２人目の素数さん** · 2020/04/24(金) 22:23:26.29

>>190

・高校数学の美しい物語
http://mathtrain.jp/primeinverse

・思考力を鍛える数学
http://www.mathlion.jp/article/ar085.html

・数学探偵Channel
http://www.youtube.com/watch?v=eLgNAMAAo2M 02:53

・杉山＆ヨビノリたくみ（鈴木貫太郎）
http://www.youtube.com/watch?v=-mGm9iGx9hg 41:25