あまり長時間寝てないのに、起きてしまった。目が冴えてるし眠くない。もういいや、と。でウダウダと時間を潰して、でインフルエンザの予防接種の件で8時50分くらいに病院に電話したら、今日今すぐでもいい、と言われたが、シャワーを浴びてから行かないといけないので面倒で、明日にしてもらった。土曜日だから当然の如く午後休診。10時半でどうだ？と聞かれたので、それくらいならということで予約設定。それからシャワーを浴びて、10時半過ぎに出立。
早い時間だとうな松でいいのだが、昨日 Uber Eats に鰻の成瀬のメニューを頼んだので、鰻はいいかと。でもまあ時間はあるし、学内で弁当というのも味気ない。ということではま寿司にした。はま寿司では最後は鰻で締めることにしてるので、結局鰻は食すんだが。まあいいです。例によって2000円ちょっと。
で職場には12時ちょっとに着いた。まだ講義時間中ということで、学内は静かだった。ということで見られて恥ずかしくない状況だったので、前から自販機の前を通るたびに気に成っていたジハンピのアプリをスマホにインストールすることにした。自販機の前で立ち止まって、QR コードを読み込んで、で PayPay と紐づけて、まではよかったが、PayPay の残高が約108円。はま寿司ではギリギリ足りたということだ。これでは買えない。また後日にしよう。桜田ひよりが「3本無料！」と言ってたので、今度試す。3本買うには袋が必須だな。また近い内にやる。
1時10分から「代数学II」。この前 Aut(L/K) の部分群の固定体を定義したんで、それを実際に計算して見せて、それから Aut(L/K) の部分群全体の集合と L/K の中間体全体の集合の間の写像を定義して、何も仮定しないでどこまでのことが成り立つか示して、で有限次ガロア拡大だと互いに逆写像に成るのを示して、で何と一気にガロア理論の基本定理まで証明し終えた。寝不足だとハイだな。いつもの寝不足は睡眠時間がかなり0に近いが、今日は4時間くらいは寝てると思うので、そんなでもなかったな、と思ったが、講義終了後スマホを見ながらノートに書き写してる学生が二人いた。超高速だったのだろうか？申し訳ない。まあ変な所で終わるよりはいいでしょう。来週いっぱいと再来週の半分弱でガロア対応の例を幾つかやる。抽象論だけだと面白くないよね？位数が6の群は Z/6Z か S3 と同型とか、位数が素数 p の2乗なら Z/p2Z か Z/pZ×Z/pZ のいずれかと同型とかは遠慮なく使わせてもらうが。訳の分からない群論がちょっと役に立っていいでしょう。5次方程式の非可解性とか代数学の基本定理とかに使えると嬉しいのでは？と思うがいかがだろうか。
すぐゼミなのは相変わらず辛いところ。寝不足だし講義で消耗してるし。が、今日のゼミは楽しかった。ディリクレの単数定理の証明。ジーゲルの講義録の証明を採用しているそうだが、実に面白い。学生がきちんと解説してくれたこともあるが、非常によく分かった。ジーゲルの整数論の本を持ってるが、例によって読んでない。面白かろうな。また定年後の楽しみが一つ増えた。時間いっぱいやって、6時15分に終了。ご苦労様でした。
でお分かりの通り、相撲はもう終わっていた。7時からのニュースで結果を教えてくれるだろうからと思って、NHK プラスを Chrome で開いておいて、スポーツコーナーに成るまで講義の後始末をしたり月曜日の講義のことを考えたり。安青錦は大の里を土俵際まで追い詰めたが、大の里の足は残っていたか。残念。取り直しでもよかったのではと思うが、物言いは付かなかった。まあプロの目でそうなんだからそうなんでしょう。豊昇龍も勝って、横綱二人で残り2日、ということになるのかな。まあ安青錦は今場所も二桁勝ってるし、来場所も同じ調子でいけば大関に成るでしょう。
で講義の後始末の残りをやって、8時半前には終わりにしたんだが、部屋の片付けを少しやろうと思ったら、案外時間を使ってしまった。本棚に何やら紙が積んであるが、何だと思ったら昔買ったパソコンのマニュアルや、研究費でパソコンを買おうと思って集めたカタログが沢山。NEC のパソコンのカタログが多かったが、単に中山美穂の写真が欲しかっただけでは？という気もするが。取っておいても載ってる製品はとっくに売ってないし、中山美穂もこの世にいないので、まとめて捨てた。それと使わなくなった電子辞書の箱とか。まあこれくらい捨ててもまだ全然大したことないんだけど。それとコピーして読んでない論文が幾つか出てきたが、知ってる方の書かれた論文はその後ダウンロードしたな、ということで計算用紙行。もう一本出てきた論文はちょっと面白そう。こんな論文出てたか。知らなんだ。コピーしただけで読んでない論文は奥から大量に出てくるはず。早目に処分した方がいいな。ということで9時過ぎまで職場にいた。
セブンイレブンで PayPay に10000円チャージして、すき家でローストビーフ丼を、と思ったら無い。何故？店によってあったり無かったりするようだから、今度は別の店で探して見よう。帰りにちょっと大回りする必要があるけどもう一軒あるし、山科にもすき家はある。そっちに行ってみよう。今度は牛肉が食べたかったので、結局牛あいがけカレー（名前が違うかもしれない）にした。ココ壱番屋で食べるより安いしいいや、ということで。
