早く寝ないといけないのに、乗法合同とか Strahl とか予想以上に分かってないことが分かって、考え始めてしまった。ああでもないこうでもないとやって、大体思っていた通りに成ってることが分かるまで結構掛かった。その過程で数冊見たが、何かどれも色々おかしい。いや、おかしくなくても分からないように書いてる？と言いたくなるくらいの書きっぷりの物もあった。結構ちゃんと整理したので、もう大丈夫だ。今の学生が聞いてくることもあるだろうが、堪えられるようにはした。来年度以降も類体論を勉強させることはあろうが、その時にはちゃんと思い出せるように TeX 化して、とかやってたらもう結構な時間だった。寝ないと。
で起きたのは10時半過ぎ。少々寝不足だが、まあいいか、と。うな松のクーポンがあるので、職場に行く前に寄って、名物一本鰻を200円引きで食べてきた。満足。うな松の唯一の欠点は駐車場が狭いこと。今日は11時半を過ぎていて、結構停まってた。が、頑張って後ろ向きで駐車したので、出る時はスムーズにいってよかった。
寝不足で腹も膨れたからか、職場に着いて暫く何もする気がわかず、ボーっとしていた。ちょっと大貧民はやったが。1時を過ぎていたので、講義室に向かう。
「代数学I」の出席者が少ないのは毎度のことだが、今日は何かいつもより少ない気がした。気にせず少し話して、レギュラーメンバーの内の数名がいることを確認した（全員いたかもしれないが）ので、レポートを出題した旨言っておいた。伝わったでしょうか？今のところ学生からの問い合わせメールが無いので、大丈夫なのかな。今日は Q 上の多項式の既約性が主題。原始多項式だとか内容（容量）だとかについて細々とやって、で Z 上の多項式が Z 上で既約だったら Q まで行っても既約とか示して、Eisenstein の既約性判定とその適用例（素数次の円分多項式の既約性とか）など。で時計を見るともうほぼ終わりの時間。Z[X] が U.F.D. であることを示すと言っておいて、主張だけ書いておいたら時間に成った。
講義が終わってウェストウィングに向かうと、毎週 S 先生に会う。2時55分からのコマに講義があるということだな。今日は隣の部屋の F 家先生ともすれ違った。先週見掛けたが、やはり講義あるのだろうな。小生は2時55分からゼミ。先週は2が判別式の仮因子である3次体（デデキントの例）で2が完全分解することの証明が中途半端な所で終わっていたが、まず無事に完了した。藤崎先生の本に書いてある例を読んできて、それをなぞっていた。うん、まあ出来たのでいいでしょう。SageMath や PARI/GP だとどんなイデアルでも素イデアル分解してくれるから、アルゴリズムは確立しているのだろう。一度勉強したいが、中々時間がとれない。Cohen の本を見ればいいのだと思うので、時間が出来たら（もしくは定年退職したら）見ておく。その後デデキントの判別定理の弱いバージョンの節に入る。弱いバージョン、というのは、共役差積をやってないので、p が分岐する（即ち p の上の素イデアルのどれかが分岐する）のと p が判別式を割り切ることが同値なことを証明する。多元環を使ってウダウダやるが、前に代数体の判別式をやった時の議論とよく似てるので、まああまり真面目に聞いてなくても大丈夫、ということで適当に聞いて適当に茶々を入れておいた。で定理の証明の前で力尽きたそうだ。まあ教員採用試験を受けたのだから疲れたろう。あまり上首尾とはいかなかったようだが、M1 だしな。M2 の時も受けられるんだと思うがどうなんだろう？いかんせん受けたことが無いから知らない。ま、少しホッとしてください。ということで5時45分くらいには終了した。
ゼミ中にメモ用紙に使っていた裏紙を見たら、何やら奇素数と仮定して証明してる命題があったが、別に奇素数じゃくていいのでは？と気に成って個研室に戻ってから少しチマチマやったが、どうなんだろう？と思って pdf ファイルを開いてみたら、何ともう一般の素数で大丈夫だと示していた。何だ、無駄な時間を使った。見ると内職中に考えたのよりうまいことをやってた。まあ無駄なことをやるのも大事なんで。でついでだから色々見直してみた。ちょっと自明なミスがあったり、何だかぐちゃぐちゃやってるがもっとスマートにいくぞ、という所があったりで、結構時間を使った。あっと言う間に9時を過ぎてた。まあずっとやってたわけではなく、部屋を多少ひっくり返したりはしたが。で間抜けなことが一つ発覚した。原啓介さんの著書「測度の考え方」を買ってきてうちで見たら既に買ってあって、一冊は職場に置いておいたのだが、何ともう一冊出てきた。うーん。学生のいる部屋に寄付だな。他にも講義で使ったテキストの版の古いのとか色々出てきた。資料室（という名の物置部屋）に数冊移動させて、で帰宅。
すき家でビビンバ牛丼を食べてきた。JAF Mate に付いてた50円引き券を使ったので、昼に200円、夜50円得をした。すき家は高いとは言ってもココ壱番屋や天下一品に比べるとましだ。吉野家の割引券もあるので、次は吉野家にしよう。
ゼミが終わって暫くして野球の様子を見たら、1回表に5点取られてる。…。石田裕太郎は今まで内容はよかったのだが、今日は崩れたか。まあそういうこともあります。暫くして見たら3点取り返してたが、また暫くして見たら大量リードされてた。まあ今日は Giants が首位から陥落したのでいいです。明日明後日は連勝で、Giants が負けてくれればいいので、期待しましょう。
今日の野球の話題は Fighters が Hawks に9戦目で今シーズン初勝利したこと。それと Eagles の吉井監督の船出。相手はよりによって去年まで監督をしてた Marines。先制したようだが、結果は Eagles の負け。これで Marines は貯金1だが、何とパ・リーグ5位。交流戦でセ・リーグのチームから Eagles 以外のパ・リーグのチームが勝ち星を荒稼ぎした結果。もう交流戦は忘れましょ。セ・リーグ相手だと Giants は弱い筈。Baystars は交流戦前はずっと5割をちょい割るくらいで推移していた。どうにかなるでしょう。明日、明後日は何故か試合開始が6時15分のようだ。何があるのだろう？デーゲームじゃないのは暑さ対策かな。日曜日の日本のサッカーの試合は昼1時キックオフらしいので、サッカーと野球を両方見られる。まあ明日の呑み方次第だけど。最近金曜の晩も呑んでしまうことが多いが、明日は昼前に近所で用事があるので、やめておこう。いや、火曜日に呑んだ時に一缶呑まないでダウンしてしまったのであるが、どうしよう？まあいいや、今後の成り行き次第ということで。
