金曜日は1時からゼミ。が、起きたら12時20分近く。飯もシャワーも抜きで、急いで飛び出す。幸い駐車場に12時50分くらいに着いたので、間に合う。ウェストの1階にパンの自動販売機があるのだが、よく全品売り切れになっている。で今日はどうかというと、補充されていた。パン1個とコーヒーを買って、ゼミに臨む。
今日のゼミは、剰余環とか同型とか準同型定理とか。「数論序説」(もしくはその英語版)はいい本だと思うのだが、代数学の初歩を書いてあり、はっきり言って邪魔。書くならもう少しちゃんと書いて欲しいが、剰余群の群演算がきちんと書いてなかったり(「自然に」と書いてある)、演算が well-defined であることがきちんと書いていなかったり、やらせるときりがない。こんなことをやりたいのではないんだが。早く平方剰余の相互法則とか、代数体の整数環で素イデアル分解の一意性が成り立つこととかやりたい。代数的整数は相互法則の前に定義してくれるが、代数体の整数環の定義が出てくるのは随分先。集合論や群論の初歩で時間を食うのはご勘弁願いたい。もっといいテキストは無いものか?
4時20分前に終了して、部屋で月曜日の準備。同値類別をもっと丁寧にやった方がいいか?と思わないでも無いが、まあ集合論と群論でやるだろうから、いいか、ということにした。ここ丸々抜いても後の話には影響が無いくらいだから、ここで路頭に迷わしてもしょうがない。群論で剰余群をやるのが一番例が多くていいだろうから、線形代数ではほどほどにする。その後演習問題を考えたりと、7時近くまで。
職場を出る時は野球は0-0だったが、住処についてみると1点取っていた。関根がタイムリーを打ったようだ。先発の大貫が7回1/3を無失点と好投。エスコバー、康晃とつないで、完封勝利。素晴らしい。交流戦では強い Baystars だ。今年もいいところを見せてもらおう。
金曜日も呑む習慣が付いているんだが、明日はトヨタに6か月に1度の点検に行く日なので、今日は呑まない。明日呑む。月曜日の午前中の講義に影響が出ない程度には済ませるが。
今週は火曜日が潰れたせいで、酷く忙しい気がした。来週は火曜日が空いているので、いつもの通り。まあどうせ火曜日は寝てる間に終わってしまうのだが。月、水、金と用事が入り火、木が空いているというスケジュールは春学期だけにしよう。秋学期は金曜日のゼミを、何が何でも木曜日に移してやる。