起きられないなー。今日も起きたら12時近く。何もせず急いで飛び出す。で職場に12時45分くらいに着いて、弁当を買って食べる時間があるか微妙だったが、雨のせいか沢山売れ残っていたので、買ってあげることにする。大抵の弁当は随分前に作ったか目茶目茶冷たいんだが、この店はほんのり温かいのでよい。で5~6分で掻っ込んで講義室へ。
講義室に向かってる途中にチャイムが鳴った。小生の腕時計は電波時計なのだが、何故か2分くらい進んでいた。だから余裕だ、と思ったんだが、チャイムが鳴った時は時計が1時を指していた。おかしいな、電波でも変わったか?それとも大学の時計も2分進んでるんだろうか?まあいいけど。で1回生の講義と3回生の講義のどっちかがF304教室、もう一方がF305教室で、どっちだったかいな?と迷ってF305の扉を開けると物理の清水先生が教卓に立っておられたので、今日はF304が正解だったようだ。一回書けば覚える。月曜がF305、金曜がF304。どっちも3階なので昇るのもっとキツイかと思ったが、そうでもなかった。特に呼吸が乱れることなく講義開始。
上に書いたように今日は3回生向け「代数学II」。今日は拡大体がなんだとか拡大が何だとか定義することから。L/K と書くが、剰余環とは何の関係も無いと一言言っておいて、拡大の基底とか拡大次数とか。[L:K]=1 ⇔ L=K とかもちゃんと示した。で [L:M][M:K]=[L:M] とか基本的なことを幾つか示して、添加する話。然るべき族の共通部分と定義するのがいいのかもしれないが、難しく映るような気がするのと、結局その後添加する元を有理式に代入したものに成ってるということを示すので、最初から後者を定義にしておいた。勿論これだと最小性を示さないといけないが、まあいいです。で最小性を示してから、それを使って Q(√2,√3)=Q(√2+√3) とか。他にも最小性だけを頼りにして示す問題を幾つも出したら時間に成った。2回続けて綺麗に1節ずつで終わっているが、いつまで続くでしょうか?来週は代数的な元を一個添加した時の構造定理から。
2時40分からゼミ。今日は二次体での素数の素イデアル分解がルジャンドル記号(引数に2を許してるから、クロネッカー記号と言った方が正確か?)の値で分類出来るとかやってから、dF(θ)=(Z[θ]:OF)2dF(θ は F の原始元である代数的整数)と書いた時の (Z(θ):OF) を割る素数の素イデアル分解とか。これあんまりやったことなかったんだけど、まあ結構大変だった。コンピューター向きではないな。準同型写像の然るべき同値関係による同値類と素因子が一対一に対応していて、その代表の準同型写像の核を求めないといけない。整数基の元同士の代数的な関係が必要に成るし。コンピューターではどういうアルゴリズムでやってるんだろう?興味はあるが、まあ暫くは勉強しないでしょう。来週はアイゼンシュタイン多項式の根を添加した場合はどうなるか、という話から。5時50分まで時間は取ってあるが、早目に終了した。
5時くらいには職場を後にした。これくらいだと高速道路はそんなに混まない。すんなり新名神から名神に移れて、瀬田東-大津間でちょっと渋滞したくらい。野球を開始から見られるかも、と思ったらそこから悲劇が。料金所をくぐって三条通方面と五条通方面の分岐点があるが、そこを過ぎたらもう渋滞が始まっている。時計を見ると5時33分。まあ野球には間に合う、と甘く考えていたのだが、全然動かない。2車線に成っているが、右の車線はやがて無くなる。で我慢しきれず右に出る車多数。勿論大津方面へUターンする方向へ行きたい人や、四宮で右折したい人もいるだろうから、いいが、結局もう一度合流する羽目に成る人達は何でそんなに急ぐんだろう?と思うが。で時々ちょろっとずつ進むだけで、本当に酷い。小生はこういう時はイライラしないようにしている。音楽を聴いていれば楽しいさ、ということでね。ただ、ブレーキがゆるんで前の車にゴン、とか成らないようにしないといけないので、パーキングブレーキをかけてギアも P に入れたが。で四宮の交差点にようやく着いて、道路情報を見ると、「四ノ宮四ツ塚線 御陵-日ノ岡間で事故 片側交互通行」の表示。納得。「48系統 山科駅」の京阪バスがいたが、大変だ。駅に着く前に「48系統 藤尾・小金塚」のバスとすれ違った。本当は小生の後ろを走ってるバスが折り返すのではなかったかと思うが。でトロトロと進んで、外環三条の交差点に来た時はもう7時。2km弱の距離が1時間半掛かったことになる。帰ったら Uber Eats に出前を頼んで野球観戦、というのは無理。なにしろ道路が混んでるから、配達員も動けないだろう。バイクか自転車なら大丈夫かもしれないがね。でその方法は取らずに、外環三条を左折してはま寿司を目指す。川口春奈が大トロ大トロとCMでしつこく言っているので、食べてやろうということで。外環状線は混んでなかった。金曜日の夜だからはま寿司は混んでるかと思ったが、それほどでもなく、しかもカウンターで一人で食べるから、すぐ食べられた。1804円。いつもは PayPay で払うんだが、渋滞の中で野球の経過を見たくてスマホをポケットから出して戻し忘れたので、仕方なく現金で。1000円札が沢山あったが、新一万円札を崩した方がいいぞ、ということで10004円払ってきた。帰りはまだ渋滞するか?という気がしたので、三条通をあまり走らない経路で帰ってきた。8時半前に住処に着いた。疲れた。
昨日の Baystars の試合は横浜スタジアムの最終戦だったようだ。大和や大田など、退団する選手のセレモニーがあったようで、見ればよかったな、と思ったが、もう遅い。今日は Dragons 相手にバンテリンドームで。この前台風で流れた3連戦が今日から代わりで、それで今シーズン終了。台風で流れた時は、京田、オースティン、ジャクソンなどが早目に名古屋へ行こうと新幹線に乗ったが、運転打ち切りになり新幹線に9時間閉じ込められて、深夜に横浜に戻ってきたというニュースがあった。ジャクソンの奥さんは妊娠していたそうで、大変だったろう。ということで今日に成ったわけだが。途中車の中で見た時は1-0でリードしていて、帰り着くと2-0に成っていた。で9月以降好調だった桑原にソロホームランが飛び出して3-0に。このまま完封リレーかと思ったら、ちょっと内野にまずい守備が出て1点取られた。今日は幾つかエラーがあったようだが、今日はもう順位が確定しているからか控え組がメインだったので、あまり心配はしてない。オースティンは首位打者が掛かってるので出ていて、今日は猛打賞で .314。首位打者のサンタナは .315 で、登録抹消されたそうだから、もう打率は上がらない。オースティンはチャンスだ。やってやろう。
明日、明後日はデーゲームだな。明日は昼からワインの試飲会に行こうと誘われているので、見られないな。日曜日のシーズン最終戦は明日の呑み方次第だが、起きられないかもな。まあいいです。
Dragons は明日負けたら最下位確定らしい。勝っても Swallows 次第でやはり確定。今年は春先に貯金5で首位に立ったが、続かなかった。浅尾美和が喜んでたが、糠喜びだったね。新人監督の3年連続最下位は過去3例しかなく、52年振りとか。Dragons の浮上はいつなんでしょうね?