昨晩も結構な時間まで起きていた。昨日書いた通り悉く証明出来ないので、職場から持ってきた石田信「代数的整数論」（森北出版）を開いてみたが、やっぱり証明方法が違う。まあ参考に成るかも、と読んでみたが、どうしても一箇所分からないことがあって、そこで数時間足踏み。ようやく分かった。でもう寝ないとまずい時間に成っていたので寝た。
で今日は起きたら昼過ぎ。ぎゃ！急いで出掛ける。ゼミには10分程度遅刻。いけないな。食事をする時間が無いので、1階でパンを一個買って、ゼミ中にコーヒーで流し込んで、さて。今日は虚二次体の整数環での素イデアル分解の一意性とか、素数の生成する単項イデアルがどう分解するかをルジャンドル記号の値と関連付けたりとか。二次体に限定すると易しい。来週はイデアル類群をやることになるようだ。大分難しくなってきた。4時くらいに終了。
昨日書いた通り今日は「数学展望」の出番。F204教室にパソコンを持って出向く。部屋には一人しかいなかった。前の時間に講義があるのだろうか？4時15分くらいに大量に現れた。今日は素因数分解の一意性が成り立たない環の歩き方について。素因数分解の一意性が成り立たない環（環という言葉は出さなかったが）くらい無限個すぐ作ってあげるよ、と言っておく。ちょっと失敗だったのは、一意性が成り立つ環を無限個作る方が難しいことを言い忘れたこと。まあいいです。で早く終わり過ぎた。まあ訳の分からない話を延々聞かされても嫌だろうからいいでしょう。来週も小生の番なのだが、実は小生が2週間やるように成ったのは割と最近。教務委員をやっている時に学外研究で講義をやらない人の代わりを見付けるのが面倒臭いというか依頼するのが面倒というかなので、ええい、2回やってしまえ、としたわけ。まあ折角やるんだからと思って、Tikz で色々絵を描きたいので、大分勉強した。曲線と直線の交点（高校では共有点と言うようだが）を求めて、そこを通る直線をまた引いて、とかまで Tikz で計算出来るようになった。Tikz のことを書いた本があるようなので、買おうと思って、また忘れてきた。まあいいです。
その後個研室に戻って線形代数。こっちも難しくなってきた。凄く大変な例があるのだが、これをやろうかどうしようかというのが考えどころ。まだ表現行列をやってない。基底変換とか対角化とかやらないといけないのに。内積出来るの？と心配に成ってきた。で色々やって、いつもの通り9時くらいまでいた。
大分寒くなってきた。車に乗って気温を見ると7度。まあまだ凍結の心配は無いな。で寒いので、牛すき鍋膳だな、ということにする。吉野家かすき家か。が、狼川の吉野家の電気が消えてる。潰れたか？と思ったら改装工事だそうで、1月17日まで休むと書いてあった。最近2度ほど別の吉野家に行った時はどっちもタブレットで注文出来るように成っていたが、狼川の店は相変わらず口頭で頼まないといかなかったので、そのための工事だろう。ということで吉野家は駄目なので、すき家へ向かう。でちゃんと牛すき鍋膳。卵1個と卵2個を選べるが、後者にした。随分値段が違うが。前より肉が減った気がしたが、まあいいです。暖まった。今日は10時前だったので、深夜料金は必要無かった。
さっき思い出したが、今日は住処は停電があったのだ。色々日時を再設定しないといけないのでは？テレビもケーブルテレビのチューナーもガスもパソコンも時間は狂ってなかった。よかった。前は少なくともガスは日時を再設定しないといけなかったが。まあパソコンは AC アダプターをはずして持ち歩くことが出来るようにバッテリーがあるから大丈夫なのでしょう。よかった。
さて、また Kummer の定理を考えるか。火曜日の講義に間に合わせないといけないが、来週の月曜日は学生4人中2人が都合悪いのでゼミを無しにしたいと学生が言ってきた。まあそういうことならということで無しにした。なので月曜日は2時半に講義が終わった後たっぷり時間がある。そこで考える余裕が出来てよかった。いや、そこに持ち込む前に片付けたい。福岡の報告集の直しとか試験問題、レポート問題の作成とかやることが色々ある。もう1件ちょと面倒な依頼もあったが、こっちは1月8日締め切りなので、焦らなくていい。まあギリギリに出すと57歳に成ってしまうので、早目に済ませよう。さ、Kummer の定理だ。
