昨日書いた通り、今日は1時からオンラインでちょっとした面談。寝癖ボーボーだといけないので、11時半には起きてシャワーを、という計画はいつもの通り水泡に帰した。起きたら12時40分くらい。鏡を見たら、寝癖は大したことなかったので、いいか、と。髭は昨日の晩剃っておいたし、まあパソコンの画面を通すだけなら問題無し、ということで。で面談は短時間で終了。その後すぐ職場へ。昨日の晩ジーパンを洗濯機に突っ込んだので、替えのジーパンを履くと、失せ物がポケットに。失せ物とは何かというと鍵。住処の鍵、駐車場の鍵、車の鍵、職場の鍵を一つのリングでまとめたもの。無くて大丈夫だったのかって？うん、どれもスペアがあるからね。部屋が散らかり放題なので見付からないのかと思っていたが、それでは見付からない。が、一つ心配が。車の鍵はメカニカルキーだから、壊れていやしないかと。昔保健センターから持たされていた万歩計を洗ってしまって、壊したことがあったので。車を出して、開、閉両方ボタンを押してみると、大丈夫だった。ボタンを押さなくても鍵の開閉は出来るが、そちらも出来た。よかった。今後は失くさないように気を付けないと。酔っ払った状態で洗濯機にズボンを突っ込んだ記憶がある。酔っぱらいは駄目だね。
で職場で延長戦（謎）の続き。昨日書いた学生だが、深夜にメールがあって、4月からの住処を探しに帰っていたらしい。それは大事な用事。そう言ってくれれば嫌味ったらしいことは言わなかったのに。まあこの惨状で来ないと言われるとちょっとな。真っ赤に成ったものを渡す。小生は明日も職場に行くつもりだが、彼は来ないようなことを言ってた。高校の非常勤講師の都合らしい。なら仕方ない。金曜日は来ると言ってたから行かないと。明日はまたしても振り込みをしないといけなかったり、数学会の会費を払ってないのの督促が来たりしているので、そっちの払い込みもある。それと、生協で研究費で買った物があるのだが、研究費が底をついていると事務から連絡があり、そっちも私費で払わないといけない。明日だけで相当な額を動かさないといけない。久し振りに早稲田の研究集会に行くが、それも全額自腹に成ってしまった。まあいいです。ついでに実家に帰ることしよう。長崎と福岡に出張行くと結構な出費に成るのだな。コロナだなんだで色々オンラインでやってくれてるので、出張を全然しなかった。感覚が鈍ってるな。まあいいです。
でまたしても9時半過ぎまで職場にいた。すき家に10時前に着けるか？と結構際どいタイミングだったが、左折で駐車場に入る前に見たら、9時58分。急いで注文。レシートを見ると、深夜料金を取られていない。よかった。が、ここでまたしても酔っぱらってやったことを後悔する羽目に。カレーと牛丼を80円だか引いてくれる券が JAF MATE についてたので、切り取って持っていたと思ったが、思い出した。この前呑んでる時にカレーの話に成り、すき家のチキンカレー旨いすよ、と成り住んでる所の近くにすき家があると言っていたので、上げてしまったのだった。酔っぱらいは嫌だな。
延長戦（謎）のためにちょっと色々考えてるが、(0) でない分数イデアルの全体が群を成すのの証明って、何であんなに難しいんだろう？講義でやったのはノイキルヒ（梅垣敦紀訳）の本の方法だと思ったが、まず素イデアルに対し逆元であるべき分数イデアルを定義して、それで素イデアル分解の一意性が示せて、それからようやく素イデアルの時に定義したのと同様に定義した分数イデアルが逆元に成る、というもの。分数イデアルを導入しなくてもイデアル類群は定義出来るので、「数論序説」ではその方法でやっているが、結局必要に成り分数イデアルを定義して、それから IK/PK が前に定義したイデアル類群と同型、と何とも鬱陶しい方法でやっていた。学生は徒手空拳で示そうとしているようだが、出来ない、と言ってて、それはそうだ、と言って今日の所は帰ってもらった。まあまた考えます。それと、2次体で分岐する素イデアルを全部掛けたらどうなるんだろう？とか当たり前のことを考えて。でそれを SageMath で幾つか確認したが、SageMath の使い方で分からない所があり破綻した。それで9時半に成ったわけだが。結局まだ片付いてないので、もう少し考えるけど。数学は正しかったのでよかった。しかし、考えてることが正しいかどうかすぐ確認出来るように成ったのは有難い。元K大学のN先生（小生より12学年上の人）が「類数なんて計算出来ると思ってなかった」と仰っていたが、その通りかもな。まあだから類数が然るべき素数で割り切れる条件をベルヌイ数で書いたりとかしたんだろうが。京大で喋った（唯一）の後、ちょっと興味を持ってくれた人がいて、後日プレプリントを渡したが、整数基とか基本単数とかイデアル類群のデータが出ているのを見て驚いておられた。当時は KASH で求めたんだと思うが。今は KASH はもう開発が終わっているようで野晒しだが、SageMath が使えるように成ったのは嬉しいことだ。小生の研究業績はそういったものが無いとどうにもならないものばかり。いい時代だな。
