今日は暑くなるぞ、と昨日の天気予報で言ってたので、素直に薄着で出掛けた。が、住処を出たのは8時15分くらいで、十分涼しいぞ、と思ったんだがな。で名神は例によって「大津まで渋滞1km 5分」の表示。が今日は今までに比べると大したことなかった。料金所をくぐってもまだ渋滞の列は出来ておらず、本線合流のちょっと手前から程度。合流後も割とすぐ渋滞は解消された。が、「瀬田西－信楽 渋滞10km」の表示も昨日まで通りで、結局瀬田西で下りた。9時からゼミだが、駐車場に着いたのが8時50分ちょい前。まあ間に合う。ウェストウィングの1階で飲み物を買って、いざゼミへ。
でちゃんと9時から始められた。今日は純3次体の integral basis を決定する話だが、序盤から案外トラブった。H 先生が適宜助け舟を出して下さり、まあよかった。と思ったのも束の間。ある数が27で割れることが示せない。何かゴチャゴチャと寄ってたかって計算したが、なんちゃらの9倍、というこうが出て来て、大いに煮詰まる。H 先生もオブザーバーの O 君も沈黙した。結局時間一杯やって破綻したんだが、小生が一つ提案。後でコンピューター走らせて確かめる、と。mod 27 だから多少パラメータは多いがたかが知れてる。それに、パラメータは全部3で割れない。となるといよいよ回す数がたかが知れてる。しかも SageMath には与えられた数と互いに素である数をリストアップする機能があるので、何の工夫も無く for ループを回せば楽勝、ということで、まあいいや、と。
で弁当を買って個研室で掻っ込む。講義までちょっと時間があるので、for ループを回したらすぐ終わった。ゼミのメンバーにメールを出しておく。
1時から「代数学I」。今日は R/I に演算を入れて、R/R が零環とか R/{0} が R と同型とか自明な例の後、R[X]/(X) が R と同型とか、R[X]/(X2＋1) が C と同型とか。定義通りだと面倒だよね、と言ってから準同型定理を出して証明。で使ってみる。さっきの例がいくらかでも簡単に成ったと思えればいいが。R/I って I に入ってる元を潰す（消す？殺す？）だけだから、結論はすぐ見当が付き、どんな準同型写像を用意すればいいかも分かるでしょう、と言っておいて、Z[√(－5)]/(2,1＋√(－5)) が Z/2Z と同型、というのもすぐ分かるように成る、と言っておく。まあこういうのは代数的整数論で瞬殺だけどね。ということで2時28分頃終了。来週は Z の剰余環のことをチマチマ調べる。合同とかもやる予定。元々出席者は多くなかったが、やはり中1週間空いたからか、減っていたような気がする。確かに天気予報通り、講義中は結構暑かった。
その後事務に問い合わせのメールを書いたり、web に載せる演習問題を考えたり。金曜日は早起きなので疲れる。今日は4時半くらいには職場を後にした。多少渋滞しても野球に間に合うので。ただ車の中が暑かったので、ちょっと窓を開けて冷房を回して数分ボーっとした。
で草津田上インターを入ったが、今日は京都・大阪方面は渋滞してない。本線合流も簡単に出来た。が、信楽方面は大渋滞していた。暫くは瀬田西で下りないと。瀬田西は3月後半から ETC 専用に成った。使ってる人はそんなにいないだろう。うちに来る人は昔は瀬田西で下りるしかなかったが、草津田上が出来て瀬田西を使う人は減ったろう。調べたら草津田上インターが出来たのはもう19年くらい前らしい。最初は「何だこのインター？」と思ったんだが、新名神が出来て納得がいった。で5時10分過ぎには住処に着いた。
6時から野球だが、少し時間があるので、TeX 打ちを少々。で今日から Tigers 3連戦。近本に先頭打者ホームランを打たれ、嫌なスタート。が1回裏、初スタメンの1番神里が凡退した後、関根四球、佐野死球、牧四球、宮崎四球と、何もしないで1点もらえた。が、筒香凡退、祐大凡退で、あれだけ滅茶苦茶な青柳から1点しか取れなかった。これが後で悲劇につながる。6回表に大山、井上と連続タイムリーで2点取られる。しかも井上の当たりは3塁の前でイレギュラーバウンドし、3塁手の宮崎の顔か頭に直撃し、宮崎は動けなくなり担架が出された。周りを布で隠して、大事でなければいいが。がすぐ6回裏、宮崎の後5番に入った森敬斗が3塁打。筒香の左中間への当たりをセンターとレフトがまずい守備をしてくれて、3塁打に成り1点差。祐大四球の後京田がタイムリーヒットで同点。まだ無死1、2塁なのだが、東がスリーバント失敗、代打蝦名が三振、関根がショートフライで勝ち越せない。これが響いて、9回表に森原が1点取られてしまう。「今日は取られるとすぐ追い付いてますから」とアナウンサーは盛り上げていたが、今日は駄目だった。1点差で負けて、借金2。うーん。まあいいです。明日、明後日と Tigers に勝って、カード勝ち越しで5割といきましょう。まあ Giants が今日勝ってしまっていたので、Tigers が負ければ首位が Giants という不愉快な状況に成るところだったのでいいです。明日、明後日は Giants にも負けてもらおう。
今情報を見たが、宮崎は頭部打撲だそうだ。目隠しの布は、しておかないと怪我人が外部からの刺激で避けたい反応や動きが起きてしまうことがあるため、だそうだ。まあよかった。明日は宮崎が休んでも勝てるよう頑張りましょう。
ちょっと気に成って龍谷大学のことを調べた。見ると、京阪の中書島駅や、JR の大津駅、大津京駅からのバスというのがあるようだ。うちも中書島からのバスはあるが、大津駅からのバスは無くなった。草津駅からのバスも土日祝日は無くなった。南草津は新快速が停まるが、瀬田は停まらないのの差だろうか。一番見たかったのは、瀬田キャンパスの最寄りを瀬田西・瀬田東にしてるか草津田上にしてるかだったのだが、その情報は無かった。瀬田西で下りてるせいで龍谷の近くはよく通るが、どっちからでも微妙な距離だと思う。知ってる人がいるので、今度聞いてみよう。
