今朝は10時くらいに一旦目が覚めて、お、鰻を食いに行けるか？と思ったが、やはり起きられっず、結局起きたのは11時半くらい。シャワーを浴びて、いつもの通り弁当を買うというパターンに。が、何か巡り合わせというのはあって、エレベーターの前に辿り着くと、A堀先生と KO の K 君（古い友人）が話していたのに巡り合う。エレベーターで6階まで上がる間にちょっと雑談。元気そうで何より。前も同じようにギリギリのタイミングで職場に着いた時に卒業生と会ったということが何度かあった。まあ偶然なんだけど、何か運命的なものを感じる。
1時10分から3回生向けの代数の講義。今日は P.I.D. がどうしたとかそういう話。ユークリッド整域（E.D.）は P.I.D. であるというのを証明したが、「Z の時と同じ」と不親切に済ませ、ガウスの整数環が P.I.D. であること（容易）を示して、可換環上の多項式の割り算は割る方の主係数（最高次の係数）が単元だと出来る（商と余りの係数が定義されている環に収まるということ）を示して、体上の多項式環は E.D.、よって P.I.D. とか。P.I.D. だと最大公約元があるとか色々 Z と同じだよね（証明も同じ）とかやって、素元と既約元を定義してゴチャゴチャやろうとしたら時間に成った。去年より半頁くらい先に行けた。もう折り返しを過ぎてるが、あとは P.I.D. ⇒ U.F.D. とか、ユークリッド整域上だと互除法が出来るとか、Q 上の多項式の既約性とか、まあ大丈夫だな、という感じ。Z[X] が U.F.D. だが P.I.D. でない、も出来るな。分数を制限した商環（局所化がやりたい）はここ数年の感じではちょっと無理そうだが。まあいいです。商体はやれるし。
個研室で昨日の群論のことをちょっと。反例は昨日の晩寝る前に思い付いた。いや、細かいことは恥ずかしいので書かないが、先入観というのは怖いもので、xy（x, y は数だったり何らかの代数系の元だったり、群の部分群だったり）と書いてあると、x と y は異なるものだと思い込んでしまう。今回は x と y を等しくすればいいだけのことだった。でちょっと思い出したのだが、線形代数の演習を担当した時に、行列を A1, A2, A3, A4 と適当に与えて、AiAj の計算出来るものは計算せよ、という問題を出す時に A4 を正方行列にしておいたが、A4A4 を忘れてる学生の何と多かったことか。答案を回収した後説明したんだか次の週に説明したんだか忘れたが、A4A4 のことを言うと、「あっ！」と言った学生多数。別の年は呆然として虚空を眺める学生がいた。まあその程度のことで大きく減点はしないから、と言っておいた。正直ちゃんとやってるけど軽微なミスをしたというのは大したことない。何か間違ってるけど答えだけ合ってる、というのが一番良くない。若い頃は答案を隅から隅まで見ていたが、行列式の計算で行を入れ替えてるのに符号を変えず、たまたま入れ替える回数が偶数回だったから答えが合ってる、というのは×にした。1回は符号を変えたけど2回目は変え忘れたというのは、まあ分かってるんでしょうということでそっちの方が前者より点数は高い。これは同意してくれる同業者が多いと信じたいが。
でもう一個群論で分かってないことがあって考えてみるが、幾らやっても堂々巡りで結論に辿り着けない。気付いたらもう4時半近くに成っていた。
4時40分からゼミ。7階に行くと何やら賑やかな部屋があった。でゼミをやる部屋に入ると、賑やかなのはその部屋。学生は2人の筈だが、4人いた。え、今日木曜だっけか？と一瞬混乱した。一人が埼玉出身らしく、親御さんが遊びに来ていて、お土産に東京ばな奈を持ってきて、それを昨日持ってくるのを忘れたので、わざわざ来たらしい。それはそれは。「ぽんちゃめキャラメルバナナ味」という新発売の物らしい。美味しかった。
で今日はコブリッツの本。楕円曲線の加法を定義する話だが、explicit に書いてないが、最初方は \wp の加法公式を証明していたのだと思われる。で楕円曲線上の点の加法の公式を与えられた2点の座標を使って書いて、これを定義にすれば別に C 上じゃなくてもいいよね、という話が書いてあった。結合法則を徒手空拳で示そうとしたらしいが、無理だったようだ。それはそうです。途轍もなく難しいのです。で休憩後等分点の体の話を始めたが、ちょっと手間取ったらしく、そんなに進まなかった。等分点の体は面白くて、ちょっと3等分点の場合は詳しく調べたよ、という話をしたかったが、まだそれほど進んでないので、次回でいいかと。いや、代数体の勉強もあまり進んでないので、分岐が何だとか類数が何だとか言っても分からないだろうな。まあ適当に話すことにしよう。で8時まで部屋は押さえてあるが、7時15分くらいには終わりに成った。
考えてみたらまだ代数の演習問題を web に上げてなかったな、とちょっと作業。1問未定義記号を使った問題があったのでそれだけ削除して、で reference がおかしい所があったので直して、それからちょっと答えが正しく出るかとか確認して、終了。それから野球を気にしいしい環論のことをちょっと考えたり。ゼミの休憩中にチラッと見た時は0－0だったが、4－0に成ってた。今日はオースティンがお休みで、牧が久々の4番。で先制のソロホームランと2点目のタイムリーツーベースと、4番らしい働き。更に宮崎に2点タイムリーツーベースが出て、4－0。宮崎は不調で登録抹消されてた期間があるが、調整してくれば流石の所を見せてくれる。打率は .280 を超えてる。流石。で戸柱にソロホームランと4回を終わって5－0。よしよし。暫く代数をやってたら1点取られてたが、8回に佐野のタイムリーで追加点。もっと取れそうな感じだったが、1点止まりだった。悪いことが起きなければいいが。でまたしばらく置いてから見たら、9回表、2アウト満塁というピンチ。宮城がヒットと四球などでピンチを作った。まあ四球と言っても8球粘られた末のことのようで、特にコントロールを乱したわけでは無いようだから、いいでしょう。入江に交代して、内山にヒットを打たれて1点取られたが、岩田（知らん選手）をショートゴロに打ち取ってゲームセット。3連敗はしたがその後2連勝。Carp が Tigers に負けたので、3位タイに浮上。よしよし。
9時ちょっとに職場を後にした。昨日はココ壱番屋に寄る関係で正門前の信号を右折して、若草の交差点で異変に気付いた。何やら暗い。スターと言うスーパーがあるが、そこの電気が付いてない。え、潰れた？とビックリした。グリーンヒルの皆さんが使うだろうし、潰れるわけがない、と思って今日も若草の交差点まで行ったので見ると、「6月20日開店」と書いてある。別のスーパーが入るの？それとも改装？と思って調べたら、昨日は18時閉店で、今日から6月19日まで改装のため閉店、と書いてあった。ビックリした。このご時世に人口が増えている草津市だ、スーパーが潰れるわけない。住んでるわけではないが、ホッとした。
今「探偵！ナイトスクープ」を見てるが、その後に「ザキ山小屋 別館」という短い番組があって、その後はドラマがやる。面白い時は見るが、今のはあんまり面白くない。女弁護士かなんかが主人公のドラマだが、暗い。「かじんさん」と言ってるのが聞こえたが、主人公の苗字が「華陣」らしい。日韓共同制作らしいが、視聴率はどうなのかな？知らんけど。ということで見ないで、「キョコロヒー」のイベントの配信を見よう、ということにした。見よう見ようと思っていたが、中々3時間まとめて時間はとれない。明日は早起きしなくていいので、「ザキ山小屋 別館」が終わったら見よう。確かあと数日くらいしか配信してない筈なので。「座王」の配信の時もギリギリだった。いつもの金曜日は録画してあった先週分の「座王」を見てから録画するんだが、先々週と先週はチャンピオン大会が2回に分けて放送されて、続けて見たので、今晩は見ないでいい。「キョコロヒー」を見よう。
