今日は10時20分くらいに電話が鳴り起こされる。銀行から。当分都合が悪い、と言って電話を切り、もう一寝入り。が、12時過ぎまで寝てしまった。急いで職場に飛んでいく。生協でサンドイッチを買って、コーヒーで流し込む。
1時からゼミ。今日は代数的数の全体が体に成ることを証明してから、アーベル群の指標の話。指標の全体が群を成すこと、巡回群の場合は指標群が元の群と同型に成ることを証明。（一般の有限アーベル群の場合は後程。）色々怪しい所があるので、逐一止める。やはり写像の成す群というのは難しいようで、大分難渋した。対称群やガロア群は積を写像の合成とするが、今回は定義域と値域が違い、合成出来ない、というところでも躓いた。アーベル群の自己同型環や、空でない集合から環への写像の環等も例としては挙げているんだが。まあ難しいのかな。
その後個研室で線形代数の勉強。が、どうもやる気がわかない。金曜日のゼミ後は大体こうなる。水曜日のゼミより消耗する気がする。沢山突っ込んでるからかな。で結局やったのは手頃な演習問題を探すこと。「対角化可能かどうか判定せよ」という問題があり、沢山行列が出ていたから、それを「最小多項式を求めることにより対角化可能かどうか判定せよ」という問題に作り替えた。問題が沢山出来た。計算？Pari/GP に任せた。2行2列の行列は手計算でやった。3行3列は1問だけ手計算でやったが、それは上三角行列だったから。で TeX にまとめたところで、6時くらいに職場を離れた。
7時前に住処に着いた。野球にチャンネルを合わせる。今日から vs. Swallows 3連戦。結果次第ではマジックナンバー点灯らしい。ここは存在感を示すしかない。勝てよ、と見始めたら同点に追い付かれたところ。うむ。しかしその後2点勝ち越す。1点取られて1点差で9回表。Swallows はプロ入り初登板の市川を登板させるという余裕っぷり。が、やはり荷が重かったか、1失点。2点差で9回裏、ピッチャーは康晃。もらったでしょう、という場面でよくがっかりさせられていたので、今日も手に汗握り観戦。好プレーが飛び出し、無事3人で切って取った。これで4連勝。マジックナンバーの点灯も遅らせた。いままでは7月6日というのが一番早いマジックナンバーの点灯日だったそうだが、1日でいいから遅らせましょう。存在感を示して、Aクラスを狙っていこう。3位 Carp が2位 Giants に勝ったので、3位まで1.5ゲーム差、2位まで3ゲーム差。まだまだ。
今週は5日間大学に行った。珍しい。明日は昼から四条烏丸で野暮用がある。ということで今晩も呑まない。明日の野球はナイターだそうだ。野球の展開次第だが、明日も呑みに出ないかも。1週間酒を抜くとなると年末から年始に掛けて以来かな。まあたまにはそんなことがあってもいいでしょう。そうだ、明日は床屋へ行こう。四条烏丸から帰ってきたら、その足で床屋へ行く、うん、それがいい。野球は夜だし、床屋から帰ってきてから野球だ。新福菜館にも行きたいところだが、暑い中拉麺はちょっとな。まあ昼は山科駅前の松屋だな。
で今天気予報を見ているんだが、明日の京都の最高気温は38度。ほげー。
