に対して と仮定するとき， が成り立つ。が理解できなくて，半日ぐらい悩んでいました。下のような図を書いてみたらようやくわかった。こういう和の取り方って，いっつも悩むんですけど，うまい考え方あるんでしょうか・・・。

tsujimotter-sub.hatenablog.comの第１１週目。 ポイントをまとめていく。あくまで自分のメモ用です。 第１１週目（2017/4/1 〜 2017/4/7） 4/1：Euler系を用いた方法による証明（3.3.3） Stickelbergerの定理 Stickelberger元をアーベル体の分数イデアルに…

tsujimotter-sub.hatenablog.comの第１０週目。 ポイントをまとめていく。あくまで自分のメモ用です。 第１０週目（2017/3/24 〜 2017/3/31） 3/24：WilesによるIMCの証明 (Step I) 基本的な方針はRibetの定理の議論の一般化 ところどころにそのままではうま…

山本先生の「数論入門２（岩波講座現代数学への入門）」に、僕が知りたかった「楕円モジュラー関数」と「虚二次体」の話が、この上なくわかりやすく書いてあったので、ここにご報告します。岩波講座 現代数学への入門〈5〉(9-10)数論入門1・2作者: 山本芳彦…

tsujimotter-sub.hatenablog.comの第９週目。 ポイントをまとめていく。あくまで自分のメモ用です。 第９週目（2017/3/17 〜 2017/3/23） 3/17：モジュラー的な岩澤手予想の証明（）（つづき） Ribet の定理の証明について概略を学んだ（Mazur-Wilesの証明は…

tsujimotter-sub.hatenablog.comの第８週目。 ポイントをまとめていく。あくまで自分のメモ用です。 第８週目（2017/3/10 〜 2017/3/16） 3/10：イデアル類群の円分岩澤主予想（3.3.1） 版岩澤主予想を定式化した イデアル類群の円分岩澤主予想の証明のため…

tsujimotter-sub.hatenablog.comの第７週目（なかなかしんどい週だった）。 ポイントをまとめていく。あくまで自分のメモ用です。 第７週目（2017/3/3 〜 3/9） 3/3：Coleman写像によるp進L函数の構成（3.2.4）（つづき） （あとで全体像を理解してから書い…