同僚のメールをまだ読んでない。面倒なのもあるが、つい熱中して数学をやってしまったので。素数 p の素イデアル分解が最小多項式の mod p の分解で分かるという有名な定理(Kummer に依る)の証明で今まで見た中で一番スッキリしてそうな証明を見付けたので、職場で読んで、帰ってきて続きをやったのだが、一箇所大ギャップがあることに気付いてしまい、修復に時間が掛かったのだ。一箇所自明そうに見える所があったが、そこがヤバい。であれこれやって出来たが、よく読んでみたらちゃんと証明が出ていた。何だ、無駄なことをしたな、と思ったが、まあいいです。そういう所をちゃんと見抜く嗅覚が衰えてないことが分かったので。講義で話すので、TeX 化しようか、と思ったが、分かってしまうと面倒臭くてやらなくなる。いつものこと。で別の dvi ファイルを眺めたのだが、まあ酷い。いや、自分で一から集めた演習問題の解答集だから、誰にも文句は付けられない。まあ酷かった。でどんどんどんどん時間が過ぎてって、また朝まで起きてた。阿呆や。11時前に近所で用事があるので、もういいか、と起きていた。
で用事に出掛けたが、暑い。29度だかまで上がるって言ってた。この前シャツを2枚買ったが、1枚を半袖にしてのは無駄だったかと思ったが、まだ使えるシーズンが続くとは。で用事はいつも結構待つのだが、今日は一瞬で済んでしまった。文庫本も全然進まなかった。でいつもはなか卯か松屋で昼食なのだが、ちと早い。ということで帰ってくることにした。食料品のストックはあるので。
でお湯を沸かしてる間にまたぞろ dvi ファイルを眺めると、苦労してやったが、山崎隆雄さんの本に出ている方法でやるとずっと簡単に成ってしまいそうなものが幾つもあって、それを考えてみるとその通りだった。じゃあ全部そうやればいく?と思ったが、Z の中だけで済んでしまうケースだと逆に「共役を取る」という技が使えないので、かえって難しいのだと分かってしまった。Delaunay-Nagell に依る難しい結果を使う必要があったり。やってみないと難しさが分からないので面白いのだがな。解答のパターンを覚えて高得点を上げるのを競う、というのがいかにつまらんことだったか今となると思うね。まあ丁度40年前の今頃は予備校通いをしていた時期で、まさにそれに無上の喜びを感じていて、模試で成績が上がると嬉しかったけどな。
カップ麺をすすったりそんなことをしながらしてる内に2時に成ってしまった。今日から CS が始まるので、当然セ・リーグの方を見るわけで、地上波でも放送があるようなことが出ていたが、何か始まらないな、と思っていつもの日テレG+で見るか、と見始める。読売系のチャンネルだから、当然 G 寄りで不愉快なのだが、後で地上波での放送の様子を知ったが、もっと酷かったらしい。G+の方はアナウンサーと解説者がひとりずつでやっていたが、地上波は解説者が複数で、うち一人が番長。アナウンサーが番長に Giants 打線が東を攻略するにはどうしたらいいかみたいなことを聞いていたらしい。うーん、何のために番長を読んだんだか。明日は NHK で放送があるようだから、そっちを見よう。
さて、肝心の試合展開だが、1回表に牧がソロホームランを打ち先制。牧は対井上の成績が酷い、と言ってたが、何と13打数ノーヒット8三振。その牧が打ったのだ、今日は打ち崩せるぞ、と思ったが、それっきり音無しだった。1回裏に同点にされたが、その後は東がそうしゃを出しながら粘る。書いた通り Baystars もからっきしで、8回まで安打3の1得点と抑え込まれた。が、先週同様井上を引っ込めてくれて助かった。先週はそこから大逆転だったが、さあ今日は、と思っていると、何と度会がライデル・マルティネスからソロホームランを打った。1回裏に Giants が1点取って以来の得点。で9回裏はレイノルズだが、ここのところお疲れ気味。今日も先頭打者に二塁打を打たれ、送りバントで1アウト3塁の大ピンチ。が、そこは流石で、ファーストフライ、レフトフライと打ち取りゲームセット。いやーよかった。今日は冷や冷やするシーンがあった。リチャードがライトへ大飛球を打って、アナウンサーがホームランだと連呼していたが、ファールだった。助かった。それともう一つリチャードだが、三遊間を抜けそうな当たりを打たれたが、ルーキー成瀬が大ファインプレー。これはプレー・オブ・ザ・デーでしょう。忘れずに「プロ野球ニュース」を録画しておかないと。
5時前には野球は終わっていて、呑みに行く前に少し寝ようか、と思って、いつもの通り寝床で YouTube を眺めていたが、眠くならなかった。度会のホームランの余韻でまだ興奮してるかな。それとも Kummer の定理の証明をちゃんと理解出来たからか。色々やってて気付いたが、昨日ゼミで退屈そうなことをやってる時にちょっと内職して上手くいったと思ったことがあったんだが、それに不備があった。アイゼンシュタインの数体(と言って分かる人はどれくらいいるのだろうか?)の単数が ±1 以外に4つもあるのに、ついうっかり考慮しないでいた。でやったら、解が無い筈なのに、単数が ±1 のケースから解らしき物が出てくる。しばし悩んだ。アイゼンシュタインの数体の整数環は Z[√(-3)] でないのにうっかりそうしていた。アイゼンシュタインの数体恐るべしだな。で無事出来た。ちょっと嫌な感じの方程式が出てくるのだが、まあ解が無いのだから、と適当な整数を mod すれば出来た。見た瞬間に mod 3 してね、という顔をしていて、ちょっと変数変換したら3で割れて、mod 9 でどうにかなった。最初から何も考えずに mod 27 でいけることがコンピューターで for ループを回したら分かったが、mod 27 はちょっと手でやる気は起きない。mod 9 なら φ(9)=6 だから大したことない。ということで色々出来た。が、また TeX 化してない紙が溜まっただけという説もある。いつかまとめて TeX 化しないと。あ、同僚にメールに返事を書かないと。他の皆さんに意見を求めたのに一人も何も言ってこないな、と思ったら、今日は土曜日なだけでなく世間は三連休だ。まあうちの人は月曜日は祝日じゃないけど。明日 Baystars が勝ち上がりを決めてくれないと、毎年恒例体育の日の CS 第3戦中はゼミ、結果が気に成りゼミに集中出来ない、と成ってしまう。明日の先発は石田裕太郎だ。また援護点が少なそうだが、まあ今日のように1点余分に取れば2点でも勝ちなのでね。期待しよう。
同僚のメールに返事を書くのは明日にして、「プロ野球ニュース」の録画を仕掛けたら呑みに行こう。全然寝てないが、まあ大抵大丈夫。やはり贔屓のチームが勝つと気分が良く呑める。来週はうまくいけば Tigers vs. Baystars なわけで、バチバチやりながら呑むことになるかもね。Baystars が勝ち上がれなかった時は全員で Tigers を応援することに成るので、一体感が生まれていいかもしれないが、やはり Baystars に勝ち上がって欲しいな。ということでボチボチ出発。