tsujimotterのノートブック

日曜数学者 tsujimotter の「趣味で数学」実践ノート

眠気と闘うあなたへ:素イデアル分解のすすめ

突然ですが、眠くて眠くてしょうがないときってありますよね。

スマホを開くことができれば、いろいろと目をさますコンテンツにアクセスすることができます。しかしながら、スマホを開くことができないときもありますよね*1

ここには紙とペンしかない。眠気には耐えなければならない。

そんなときには 「素イデアル分解」 してみるのはいかがでしょう。

*1:TPO的な意味で

続きを読む

数学カフェ「素数!!」回を振り返る

この記事は 数学カフェ Advent Calendar 2017 の 17 日目の記事です。

 今日は数学カフェアドベントカレンダーとして

第13回 数学カフェ「素数!!」

の振り返り記事を書きたいと思います。

 実は、第13回数学カフェが開催されたのは、2016 年 5 月 7 日。なんと 1年半 も前の企画です。今更感はありますが、企画の内容を簡単に紹介しつつ、どんな回であったかを数学カフェ素数回の講演者である「私」の視点から振り返りたいと思います。

 この記事の主旨ですが 「私自身の思い出記録用」 ということにしたいと思います(アドベントカレンダーの貴重な場を使ってしまって申し訳ありません)。あとから思い出せるように記録を残しておこうという意図で書いています。今回の数学カフェは、準備の期間、本当にいろいろなことを考えて臨んだ会だったので、そのときの考え・思いを書きとどめておきたいのです。

 また講演では、上手くできた点もあれば失敗した点もありました。実は、終わってからだいぶ落ち込んでいたのです。普段はこうした「ネガティブなこと」は書かないようにしているのですが、今回はそういった部分にも触れています。失敗し、落ち込んだ過程があって、今の自分に繋がっている部分もあると強く感じたので、落ち込んだ事を正直に書くことにもいくらかの価値があると思ったのです。

 という感じで、取り留めのない記事になりますが、よろしければお付き合いください。

 そういえば、イベントが終わった後落ち込んでいたので、聴講者に数学カフェ素数回の感想を聞くのを忘れていました。。。今更ながら、もったいなかったなと感じています。よろしければ、参加された方で感想を覚えている方がおられましたら、こっそり教えていただけると凄く嬉しいです。

続きを読む

「INTEGERS: 孙智伟による素数表現関数」を確認してみた

日曜数学アドベントカレンダーの本日の記事は integers_blog さんによる「孙智伟による素数表現関数」です。
integers.hatenablog.com

大変興味深いお話なので、ぜひ多くの人に読んでいただきたいです!

続きを読む

補足:法2017における(-1)の平方根の計算

本日アップロードしたばかりのこちらの記事
tsujimotter.hatenablog.com

では

 X^2 \equiv -1 \pmod{2017}

を計算する効率的な方法がわからない、と書いていました。

先ほど nishimura さんという方に*1効率的な方法を教えていただきましたので、その方法を補足したいと思います。

「オイラーの基準」や「平方剰余の相互法則」といった初等整数論の知識は仮定します。

*1:nishimuraさんには、こちらの記事のときなど、いろいろ教えてもらっています。

続きを読む

2017を二つの平方数の和で表す方法 (1)

この記事は 数学とコンピュータ Advent Calendar 2017 の 7 日目の記事です。

数学好きなITエンジニアの皆様こんにちは。

日曜数学者を名乗り、趣味で数学を学んでいるtsujimotterと申します。本業では情報系の研究者をしていて、日頃プログラミングには親しんでいます。

私は常々、数学という学問、特に整数論を学ぶにあたってプログラミングという道具は役に立つと考えているのですが、今日はその一端を垣間見せてくれる整数論のトピックをご紹介します。

今回の目標は、 p を奇数の素数としたとき

 p = X^2 + Y^2 なる整数  X, Y を具体的に計算する方法」

を解説することです。

今回紹介するプログラムの言語としては Ruby を用いることにします。

続きを読む

昨日話しておきたかった数学豆知識

「tsujimotterのノートブック」では、明日話しておきたい数学豆知識アドベントカレンダーという企画をやったことがあります。
adventar.org

この話を覚えておけば、明日は職場で大人気だぜ(?)、という数学豆知識を紹介する企画でした。


今日は、その逆で、

昨日知っておけばヒーローになれたかもしれない(?)

というお話を紹介したいと思います(いったい何の役に立つのか)。

続きを読む

岩澤主予想

tsujimotterのノートブックでは,これまで2回にわたって,岩澤理論の3本柱のうちの2つ「岩澤類数公式」「p進L関数」を紹介してきました。

今日は,3本柱の最後1つである

「岩澤主予想」

について紹介したいと思います。

参考記事(こちらの記事の知識を前提とします)
tsujimotter.hatenablog.com
tsujimotter.hatenablog.com

岩澤主予想は「予想」と呼ばれていますが,既に証明された定理です。したがって,本来は「定理」と呼ぶべきものですが,一般には「岩澤主予想」という呼び名で定着されていますので,本記事でもその呼び方でいきたいと思います。英語だと "Iwasawa Main Conjecture" で,"IMC" と略されることもあります。

岩澤主予想は現在ではかなり一般化されていますが,本記事ではこれまでの記事と同様「イデアル類群の岩澤理論」の範疇に留めたいと思います。また,この記事では「円分  \newcommand{\zp}{\mathbb{Z}_p} \zp 拡大」における岩澤主予想に限定したお話となります。それでも結構難しいのですが,頑張ってついてきてもらえると嬉しいです。

続きを読む