起きたら昼1時を回っていた。シャワーを浴びるくらいの時間はあったので、そうしてから出発。職場に着いたのは2時半くらい。ちゃんと食べるには中途半端な時間だがどうしよう?と思案して、結局カレーパン一個齧るだけにした。
2時45分過ぎに講義室に入る。小さい部屋 の前半分だけ電気がついてたが、後ろの角にいた学生は暗く感じないんだろうか?前の方に座っていた学生は小生の講義とは関係無い学生らしく、出ていったが、暗い所にいた学生は座っていた。で中々学生が入ってこないな、と思ってると、2時50分を回ったところで数名入ってきた。大分減ったな。大学院生向けの講義だが、「有限次分離拡大は単純拡大」というフレーズに出てくるキーワードを一つも説明しなければ、まあ学部の代数の講義の出席者数を見ればそうなるのは自明。気にせず始める。今日は整数環のイデアル(≠{0})が階数 [K:Q] の自由加群であることを証明するために色々準備。ノルムとトレースは然るべき線形変換の行列式とトレースで定義したが、共役元の積、和に成ることをすぐ示してあげた。前者で定義するとトレースとノルムが Q に落ちることが自明、後者だと T(a+b)=T(a)+T(b)、N(ab)=N(a)N(b) などが自明と、どちらにしてもいいことがある。で一通り済んだ後、多項式の判別式に関する補足を少々。定義と f'(X) に共役元を代入したのの積×ゴミで計算出来ることを示して、終結式を定義したら時間に成った。来週は終結式を使って幾つか多項式の判別式の計算をしてみせて、それから代数体の判別式と integral basis の計算等をやる予定。
講義後学生が書類に押印してもらいにくると約束していたので、急いで戻る。部屋の近くで二人待っていた。印鑑を押して用事は終了。その後一つ web に上げるものがあったので、上げて、で5時前に個研室を後にする。
昼はま寿司に行けなかったので、晩飯に行こうということで早目に出た次第。まだ帰宅ラッシュは始まっておらず、スムーズに辿り着いた。駐車場も店内も閑散としている。食べてる最中に何やら店員が寄ってきたが、何だと思ったら頼んだ物が売り切れに成ってしまったので、キャンセルしておきます、とのことだった。まあいいです。で2013円食べて終了。財布の中に5円玉が3枚あったような気がしたが、調べたらそうで、1000円札2枚と5円玉3枚払って終了。
でもう一度大学に戻ってきた。何故かと言うと諸事情のためエポックに泊まっている。大した理由ではないんだが、明日は小生がいないと始まらないことがあるので。で時間があるので、日曜日の「プロ野球ニュース」を録画したのを見てないので、見ることにしてディスクを持ってきてある。パソコンで見るので電源を入れるが、何やらアップデートしないことが幾つかあるようで、それを始めるも結構とろい。終わるまで寝床でうだうだして待つか、と思ってたらちょっと寝てしまった。無事終わったようなので再起動して、で視聴開始。田尾が Giants の松本剛のバッティングを大いに批判していた。まあ負けるべくして負けたということだな。面白かった。それから同業者から来ていたメールに返事を書いて、同僚から明日の件でメールがあったのでそれを処理して、で今日の仕事は終了。今「相席食堂」を見てるが、元卓球選手の福原愛と温泉街で出会った一人のおじさんがラリーを繰り広げてる。こんな上手い人いる?と千鳥が不思議がってた。そこで CM に成ったが、続きはどうなるのでしょう?
で CM が明けたが、おじさん(長谷川さんと言うらしい)が5点先取したが、最終的には福原愛が 11-9 で勝利した。危なかったね。
眠いな。「テレビ千鳥」が終わるまで起きてるつもりでいるが、もつでしょうか?明日は10時には追い出されるので、寝坊の心配が無いから、まあ遅くまで起きてても大丈夫かな。住処だとつい4時やそこらまで起きててしまうが、そこまではしないようにしよう。幾つか TeX 化しようと思ってやってない紙を持ってきてあるので、それを打ちながらダラダラとテレビを見ることにしよう。