今日も11時半過ぎまで寝てしまった。急いで出掛ける。弁当はまだ売れ残っていたので、500円で一つ買って食す。釣銭が新500円玉だったので、ウェストウィングの自販機では使えず、イラッとした。
1時から「代数学II」。今日は円分体のガロア群の話を終わらせて、アーベル拡大だとどうかとか Kronecker－Weber の定理を紹介したりとか。主張には整数論らしさが見えないが、代数的整数論を使わないと証明出来ないとか、類体論を使えば数行で証明出来るとか言っておく。で3次方程式と4次方程式の解法を紹介したら時間に成った。前者は3つとも実数解の時は虚数を経由しないと解が求まらないということが起こり、虚数を認めざるを得なかったなどという歴史的経緯を紹介して、後者は松江の姐さんが数セミに書いてた例を拝借して紹介。4乗根とか3乗根とか出てくるが、見た瞬間に1が根に成る、さてどれが1でしょう？と言ってから、数値的に1であることを確かめることが出来るが、Maple だと simplify 命令を使うときっちり1だと教えてくれるとか話したあたりで丁度時間。来週からガロア群が S5 に成る多項式の例がどうしたとか、S5 が可解群でないとか、重たい話題が続く。出席者は殆どいないし、今日レポートの話をしたから益々減るかもしれない。まあいいです、こっちは楽しいので。
2時40分から代数的整数論のゼミ。今日はイデアル類群を計算することを幾つか。難しい。ノルムが2や3のイデアルが単項イデアルでないことを示すのにこんな方法があるかと知って為に成った。ちょっと早く5時前に終了した。
その後個研室で講義の後始末を少しして、早目に帰宅。草津JCTの前まで渋滞が溢れていると大変だが、「瀬田東JCT－大津 渋滞」の表示だから、まあ大したことは無かろう、と気楽に構えて、その通りでホッとした。草津田上インターを入ってすぐにメーターが9999kmに成り、本線合流の頃に10000kmに達した。最近キリ番を過ぎてちょっとして気付いて、「あ！」ということが多かったが、今回はちゃんと見た。嬉しい。
6時前には帰宅。先週の「座王」を見てから、ちょっと作業。「かりそめ天国」が始まったが、予告編を見てたら米倉涼子が中華の激戦区、東京の大門を飯尾と歩くという企画があると言ってたが、何故米倉涼子？と暫くして気付いた。あぁ、大門つながりか、と。小生も鈍いな、と思って放送を見てて、VTRを見ている途中にマツコが「あ、大門！」と言っていた。もっと鈍い人がいたか。面白かった。作業はまだ終わっていないが、明日に禍根を残したくないので、今晩中に終わらす。ということでもうひと踏ん張り。今日は無茶はしないでそれなりに寝る。明日は午前中にちょっと用事があって、それだけなら無茶をしちゃいそうだが、夕刻から珍しい面子で呑む約束があるので。途中寝落ちなぞしたら勿体ない。床屋も行きたいぞ。ということで「ザキ山小屋」が終わったら途中でも寝る。
