Tigers の打線に物の怪が付いてきたよう（Baystars は4連敗でストップ）

結局相当遅くまで起きていた。論文から解放されたので、テレビを見たり計算したり。計算してて気付いた。昨日 mod 4 で 3 と合同でいいじゃないか、と書いた件だが、なぜ mod 4 で 3 と合同なのかは実は第一補充法則だ、と。だったら m が mod 4 で 3 でなく、m が mod 4 で 3 とう合同な素因数を少なくとも一つ持つ、でいい。冷静にやってると色々見えてきていい。Wiles が言っていたことだと思うが、最初は部屋は真っ暗で何も見えないが、少しずつ目が慣れてきて、電気のスイッチの場所が分かって、でスイッチを入れるとよく見える、というのはこうゆうことか？と。いや、7年屋根裏部屋で研究を続けた人と小生ごときを一緒に論じるのは無礼だな。短時間で問題を解いて点数稼ぐのとは違う面白味がそこにある。我慢強く数学をしましょう ＞ 学生諸子。

で起きたらもう相撲が始まってる時間。眠いが霧島 vs. 若隆景を見たくて必死に起きていた。やはり大関に返り咲いた霧島と、何度かの大関昇進のチャンスを逃した若隆景の差が出た一番だったな。昨日の時点で2敗が6人でトップだったようだが、今日の結果で2敗が3人という状態になったようだ。さあ誰が優勝するでしょう？

結びの一番の前に眠気がもう一度限界に来た。琴櫻が負け越した音声が聞こえてきた。今場所は調子がいいという事前情報があり、琴櫻のお爺さんの方の琴櫻の弟子だった琴風さんが残念がっていた。うーん。で野球を最初から見るのは無理だった。起きたら7回で1点リードしていたが、すぐ同点にされた。が、そこを1点で抑えたのでよかった。今日2安打の松尾がチャンスの場面で打席に立って、そこで初球スクイズ。代走に出ていた三森の好走塁も効いた。4連敗でストップしてよかった。借金1に戻した。明日は東だ。やってくれる。

今日の Tigers は凄かったようで、7回表終了時点で7点リードされていたが、7回に4得点、8回に3得点で追い付き、9回裏にここのところ不調だった森下がサヨナラホームラン。98年に Baystars が優勝した時に打線を権藤監督が「物の怪がついたようだ」と言っていたが、今日の Tigers はそれを連想させる。こういう年は勢いが付いてフィニッシュ、ということがあるかもしれないが、Swallows の優勝も面白い。今日は Swallows は最初から予定が入ってなかったようで、Tigers は Swallows に0.5ゲーム差に成ったようだ。どうなるでしょう？Swallows は土曜日から Baystars と2連戦。金曜日に試合が無いのが謎だ。

しかし Dragons 弱いな。去年までは投手陣が売りだった筈だが、今日は投壊。一瞬最下位を脱出したが、見るといつの間にか Carp と3ゲームも差が付いてる。ホームランテラスだか言うのをバンテリンドームに設置してホームランを出易くする、というが裏目に出ているのでは？という気がする。パ・リーグもいつの間にか Eagles が最下位に成ってる。4月には一旦首位に立った筈だが。快調なスタートを切った Hawks が借金2で4位、出遅れたと思った Lions が一度は首位に立ったり（今日 Buffaloes が首位を奪い返した）、長丁場だからどうなるかはまだまだ分からない。それにもう来週から交流戦だ。去年はそこで Hawks が盛り返して、出遅れを一気に取り返して日本シリーズまで制覇した。分からんぞまだまだ。

不規則正しい生活を繰り返しているので眠い一日

またしても訳の分からない時間まで起きていた。ちょっとある事実を一般化できるのでは？と思い付いたので。mod 4 で1と合同を仮定していたが、これは方程式が偶数解を持たないことを合同式を使って示すのに使っていて、いや、偶数解が無いことを合同式なぞ使わないでも示せるぞ、と閃いた。でやったらその通り。でそれを使って示していた事実も一般化出来て、嬉しい。もう一つ気付いた。mod 8 で 3 か 7 と合同、としている箇所があったが、これ mod 4 で 3 と合同、でいいじゃん。ちょっとすっきりしてやはり嬉しい。でもう「おはよう朝日です」が終わりそうな時間。うまくいったと喜んでたら、占いで最下位に成ってしまった。まあいいです。でその辺でダウンした。

起きたらもう相撲の時間。が、やはり眠い。中々起きられず、途中から見たが、結びの一番で霧島が負けたのを見てもう一度ダウンして30分くらい寝た。

7時からマンションの理事会なので行かないと、ということで起きて、少々シャキッとさせてから出発。出発と言っても2階の部屋から1階のエントランスに行くだけだからすぐ。今日は困ったちゃんが出席するかもという話だったが、予定が合わずに来ないとのこと。予定があっても来ない気がするが。でその人の件でまたしても30分くらい使ってしまった。皆さんもいい加減どうにかしたいと思っているようで、何としても次回に決着を付けましょう、そのために管理会社の人よろしく、ということに成った。その後マンションの修繕についての話。建築について詳しいご老体がいて、その方がアンケートに専門用語を使うのはやめた方がよい、という適切なアドバイスをしていた。で幾つか意見が出て、結局8時半近くまで掛かった。途中やはり何度か眠くなったが、居眠りするわけにはいかないので、耐えた。

部屋に戻ってきて野球を見ると、またしてもリードされてる。9回に1点取るのがやっとで、ここ数試合貧打なのが目立つ。Giants が勝ってしまったが、幸い Tigers も勝って、Giants の2位浮上はならなくてよかった。明日は結構強い雨があっちこっちで降るようなことを言ってたから、明日は数試合中止だな。Baystars の面々は大分疲れてるから、休息した方がいいかも。ということで広島は雨降らないだろうか、と思ってみたら、やりそうな天気だ。まあいです。やるからには勝ってください。

上に書いた通り明日は雨で、ここ数日ほどの暑さには成らないと言ってた。ただ雨ということで当然蒸すらしい。嫌なこったな。木曜日も雨だそうだ。強い雨でなくて風が無ければ我慢する。金曜日は曇りの予報だが、木曜日の帰りに雨が止んでると嬉しいけど。

今眠いが、これから段々目が冴えてくるんだろう。生活リズムがそうなってるからね。昨日も書いたが、明後日も早起きの必要は無い。が、少数の学生と TA だけのセミナー形式科目で居眠りというわけにはいかない。ちゃんと寝よう、と今は思ってるんだがな。「不規則正しい生活」という名台詞を言われた方がいるが、まあそうなるな、多分。金曜日の講義は1時10分からだから、木曜の晩は多少早目に寝てるけど、普通の人の感覚では十分遅い時間だと思うが、さて何時でしょう？

「相異なる」を読めますか？

昨晩は案の定遅くまで（早くまで？）起きていて、そのため今日起きたのは1時半を過ぎていた。それでもまだ眠いが、出勤しないわけにはいかないので、2時くらいに出発。2時半くらいに職場に着いて、フォレストハウスの近くに停めて、生協で弁当を買って食す。

2時55分からゼミ。今日は多項式環の初歩的な話。車の運転中は集中してるから眠くないが、よく知った数学の話を続けられると眠くなる。しかも黙って書いてるだけ、それが済んだら読んで、みたいなことをされると益々眠くなる。結局ほぼ真面目に聞いてなかった。まあ大丈夫だろう。今日唯一突っ込んだのは「相異なる」の読み。これ「そういなる」と読む学生がしょっちゅういるが、「あいことなる」が正解。パソコンで打ってるともしかしたら単語登録してしまっていて、小生が間違っているかも、と不安になるが、電子辞書でも確認したし、スマホで「あいことなる」と打ったらちゃんと「相異なる」と出てきて、しかもこの語を説明しているページが幾つも見付かったから、「あいことなる」が正解、ということで自信を持った。来週はちょっと難しい話をやるので、集中して聞こう。彼にはもう少し聴衆が眠くならない工夫をして欲しいが、まあそれは追々言うことにしよう。

2コマ分部屋が押さえてあって、最長で3時間20分ゼミが出来るが、大体2時間程度で終わるので助かる。今日はちょっとコンピューターを走らせて例を作って、それをコピペして TeX に整形して、とかやった。その後領収書を事務に送る作業。前は紙に書いて学科の事務に渡せばよかったが、この前書いた通り学科の事務室は午後は人がいないので、書いたものをスキャンして事務にメールで送る必要がある。この前何故かスキャンできなくてエラーメッセージが印刷されて出てきたが、今日は大丈夫だった。少し待てば7万円くらい帰ってくる。何か嬉しいが、立て替えた分が帰ってくるだけだから±0なのだがね。でグダグダとやって、7時過ぎに職場を後にした。

7時を過ぎるともう高速道路は混んでない。高速道路を走ってる最中に目茶目茶細い月（三日月よりも遥かに細い）を見る余裕があった。三条通もかなりすいてて、楽に帰ってこられた。今日は「Qさま！！」でお城のことをやるのを忘れていて、途中から見た。松村邦洋を見たの久し振りだ。松村は歴史マニアで、大河ドラマは欠かさず見てる人だから結構活躍するのでは？と思ったがそうでもなかった。三浦奈保子が2年4か月振りだかの優勝を目指して踏ん張っていたが、カズレーザーが「石臼」と答えてガッツポーズで、やはりカズレーザーか？と思ったがカズレーザーもそこで失速。宇治原が優勝した。三浦奈保子またしても勝てず。面白かった。

大河ドラマと言えば、吉岡里帆が誰にもとけこまず怖い顔をしている役だったが、昨日の回で小一郎が頑張ったお陰でやっと笑顔が出た。あのほわーんとした笑顔が彼女の魅力だ。これからはにこやかな役として出てくれるだろう。それとさっき知ったのだが、藤堂高虎をやってる佳久創という俳優は Dragons で活躍した郭源治の息子だそうだ。知らんかった。今調べたら「鎌倉殿の13人」の時に弁慶をやっていたらしい。そうだったか。今度総集編を見てみよう。藤堂高虎は秀長の股肱の臣だから、これから超重要人物として出続けるだろう。注目だな。

今日は33度だか34度だかまで行ったらしいが、駐車した場所がウェストウィングとそんなに離れてない所だったので、暑さを感じる前に臨戦態勢に入れたし、ゼミ中も眠くなるくらいだから大してゼミ室は暑くなかったのだろう。7時過ぎだと車の中もそんなに暑くなかったし。明後日以降は天気が崩れて、暑さは収まると言ってたが、木曜日は雨だと聞いてうんざり。本と紙を持って屋外を移動しないといけないので、雨は降らないで欲しいのだが。まあ仕方ない。我慢しよう。それより今日のように居眠りしてはまずい。今日のゼミはマンツーマンで、学生は殆ど黒板の方を向いてるので、いびきをかかなければ大丈夫だが、木曜日の「数理科学セミナー」では部屋の一番前に陣取って監督してるので、学生にしめしがつかないからな。昨日書いた通り明日はマンションの会合があるので呑まないが、明日も呑むのはやめた方がいいな。ちゃんとしないと。

何と Lions がパ・リーグの首位に立った

昨晩は結局薄いジャンパー（死語）を着て行ったが、銀行に行って自動車税を払ってとかやったらやはり結構暑く感じた。ふなごやは客がいなかったから節約しているのか、冷房が入ってなくてやはり暑かった。暫くしたら小生と店長も含めて店内は5人に成ったので、やはり冷房は必要だった。で色々お土産を持って行ったので感謝された。ワインは美味しくてよかった。例によって途中から記憶が無かったので、いくら払ったか分からないが、結構いいワインだったそうなので、結構払ったかも。自動車税も払ったし、一晩で結構飛んだな。まあいいです。

で帰ってきてすぐダウンしたようだ。石油のことがどうなるか不透明だから、テレビの付けっ放しはしないようにしているが、やってしまった。Tigers 戦の音声が聞こえてきた。才木が抜群に良かったようだが、Tigers も点を取れず、1点先制されてそのまま負けたようだ。Swllows は勝ったようだ。いつ落ちてくるかと思ったが落ちてこない。でやばいことに Baystars も 0－1 で負けてしまい、Giants との差が大きく成ってしまった。まずいな。借金持ちに逆戻りしてしまった。火曜日から盛り返さないと。

で相撲を途中から見たが、若隆景が勝って1敗キープ。全勝の霧島は豪ノ山に負けてしまった。解説の琴風さんに依れば豪ノ山の激しい相撲に熱くなり過ぎたそうだ。で思う壺にはまり呼び込んでしまったそうだ。翔猿も1敗キープで、トップは3人。面白くなってきた。玉鷲は初日から8連敗。気を付けないと十両に落ちてしまうぞ。頑張れ。

「サンデースポーツ」で野球の情報を仕入れたが、パ・リーグが凄いことに成ってる。昨日呑み呑みスマホで確認したら、Hawks が借金1の4位に成っていて、Lions が Buffaloes に接近していたが、今日は Hawks が勝って5割で3位浮上、Buffaloes は4連敗で、一昨日まで7連勝で Lions が急浮上していて、何と今日勝って首位浮上。Lions は3年連続5位以下だったが。今年はセもパも大波乱だ。Swallows は落ちてこないし、凄いことに成るかも。交流戦が大事だな。

今日は昨日より暑かったそうだが、明日はもっと暑いらしい。京都市は32度、大津市は31度とか言ってたから、まあ草津市も30度越えだな。半袖で行った方がいいかもしれない。明日の用事はゼミだけだから、座ってるだけでいいので暑くても我慢は出来るな。駐車場からウェストウィングまで我慢すればいい。ギリギリに行ってウェストウィングの近くに停められるようにするかな。ということで今晩も夜更かしかも。

5月半ばなのに京都市の最高気温は30度

さてホッとしたところでケーブルテレビのチューナーがカツカツな問題をそろそろ解決しようということで、録画してあったものを幾つか見た。「ゴチバトル」の後、ゴールデンウィークに NHK で放送された手品の番組を二つ。前にも書いたが、手品っていうのは騙されて口をあんぐり、というのが面白いので、タネを見破ろうなどと思ってはいけない。最近の手品は、名取裕子やかまいたちの濱家のように玄人はだしのアマチュアマジシャンにも全く謎が分からないらしい。いや、それどころかミスターマリックすらもただただ驚くしかないようなものばかりらしいからな。スマホを使ったネタをやってたが、ただただびっくり。それとその番組は凄いネタを見た後、それを超えるようなものをやってくれと「無茶ぶり」して、マジシャンが無茶ぶりを遥かに超えるものをやるからただただ凄い。酒の肴にはもってこいだった。あ、書いてないけど呑みました。

で結構な時間に寝て、変な時間に起きた。また Baystars は負けたが、29イニング連続無得点を漸く脱して、3点取った。明日は期待出来る。今日は中川虎大が今シーズン初失点で負け投手に成ったが、鈍い内野ゴロの間の生還だから、深刻に成る必要は無い。明日勝って3タテされるのだけは避けましょう。

寝る前にスマホで YouTube を見ていたが、その間にメールが来た旨通知があった。ジャーナルのエディターから。昨日の晩のメールを受け取った旨と、そのメールに書いた話に関してちょっと。どこの大学も色々怪しいことをやったり、生き残りに必死に成ってるようだ。 エディター氏は3月いっぱいで定年退職されたが、彼のいた大学もうち同様歴史とネームバリューはある（ネームバリューはうちより遥かに凄い）から、まあ余程のことが無い限り潰れることはなかろうが。さあ後は最終の返事待ちだ。今日は祝杯をあげないと。二日続けて呑むことは滅多にない（と書いてるが実は先週もやってる）が、呑みますよ。その前に銀行に行って金を卸さないと。自動車税の納税通知書が来ていた。6月1日までに払えばいいそうだが、こういう喉に小骨が引っ掛かったようなことは早いところ取っておかないと。事務にレシートを回す件だったりもそういった類のことなので、月曜日にゼミが終わったら済ませてしまおう。で月曜の晩もまた呑み、といきたいが、来週の火曜日はマンションの会合があるのだった。まあ夜7時からなので別に呑んでも構わないが、話し合いの途中に腹の具合が悪くなって中座、というのは避けないといけないので、呑まないでおこう。ちょっと難しい件があって、当事者が出席してくる可能性があるので、長期戦に成るかも。覚悟しておこう。とりあえず今晩は呑みます。色々渡すものがあるので準備して、銀行行って、ということでそろそろ行く。

しかしどんな服装で行こうか？今日の京都市の最高気温は30度行ったそうで、今冷房を稼働している。行く前に電源を落とすのを忘れないようにしないと。最低気温はそこそこ下がるようだから、上着を着ていった方がいいかな。どうしたもんじゃろ。明日の京都市は31度まで上がるそうだ。職場も一昨日から冷房が使えるようになった。昔は杓子定規に6月半ばまで冷房が使えなかったが、ここ数年5月から既に暑いからね。薄いジャンパー（死語）を着ていくか。学生の一人が気温のアップダウンの激しさで風邪をひいたり治ったりを繰り返していると言ってた。気を付けないと。学生は風邪をひいたら別に大して気にせず休めるが、我々はそうはいかない。複数の講義と複数のゼミに影響が出る。まあどれも大した人数出席してないが、講義だと土曜日に補講しないといけなくて、お互い嫌だからね。ちゃんとしていこう。ということで、じゃ！

論文はどうやら一区切り

今朝は11時過ぎまで寝ていた。中々起きられない。まあ講義は1時10分からなので余裕だが。12時くらいに出発。チキンカツの弁当を買って食して、メールを見たらもう論文関係のが来ていた。レフリーはOKしてくれたらしく、昨日の晩の修正点も大丈夫だったので、.tex ファイルを送れ、とのこと。ちょっと % を沢山除かないいけないので、仕事が済んでからやることにした。% 除きをする段階に入ると完了が近付いた感じがして嬉しいね。

で1時10分から「代数学I」。案の定出席者は少ない。今日は Z のイデアルが単項イデアルであることを示して、それを使って (a,b)＝1 ⇒ ax＋by＝1 なる x,y∈Z があることを示して、で「合コンの定理」とかやって、それから合同式。合同式は Z の剰余環を使うといいよと言っておいて、で残りが5分を切ったので馬鹿の一つ覚えで 3¹²¹ を 100 で割ったあまりとか 3⁶¹ を 100 で割った余りとかそういう話をしてたらチャイムが鳴った。来週は素イデアルだ極大イデアルだとやって、それから P.I.D. とかやれるかな。

ちょっと休憩を挟んでから M1 のゼミ。今日は整数基とか判別式とかの話。整数基の存在はもう言ってあるので、後は基底に依らずに判別式が定まることをやって、それから判別式の仮因子の例（いつものデデキントの）や二次体の整数基と判別式を決定して、判別式≡0, 1 (mod 4) であることを証明したり。行列式の定義をこんな所で使うとか思わないよね。藤崎先生の本で別の所でこの式を使ったが、どこだったかな？リュービル数が超越数であることを証明するのに平均値の定理を使うが、それをやった時に学生が笑いながらやっていたのを思い出す。p 進体を大学院の講義で隔年でやってるが、ε－δ 論法を暫くやるのも学生にとっては驚きだろう。うんざりしているだろうからね。基礎的な勉強は馬鹿にせずにやらんといかんのです。

6時くらいに解放されて、論文関係の作業をして、editor の先生に送って、まあ一応終了かな。まだ載ることが決定したことわけではないので、ちょっとドキドキしながら待たないといけないが。信じて待つ。それから「代数学I」の演習問題練り。誰もやらないからやってもしょうがない作業だが、まあ自分の勉強のためということで。今日最大公約数はやったが、最小公倍数はやってない。1問最小公倍数のことを使わないと出来ないであろう問題があったので、それを除いて、YouTube で仕入れた大きな整数の素因数を見付ける問題を2問入れておいた。でグダグダとやってるうちに9時を過ぎていた。野球の経過、結果を全く知らないが、どうなったでしょうか？後で見ることにして、晩飯を食べるべく職場を後にする。

久々にココ壱でカレーを食べた。軽く1500円を超えてしまった。ご飯を減らしたのでちょっと安くなってるのにこの値段。1辛にしてるが、もう辛さを増すのはやめようか？自動車税を払わないといけないから、そうするとあっと言う間に30000円強飛んでいく。諸々値上がりしてるし、大変だ。自腹で払ったものの領収書を早く経理に回さないと。今日も忘れていた。月曜日にやろう。

上で YouTube という単語を書いて思い出したのだが、YouTube の動画は自動読み上げソフトなるものを使って作ってる人が多いようだ。しかし YouTube を「ようつべ」とかいうのはどうにかした方がいいと思うんだが。手動で直せないんだろうか？Tigers の話題をしてる動画で「かなもと」って言われると見る気が無くなる。この前流れてきた宣伝では「ぎふけんかんし」と言ってたが、「岐阜県関市」のことらしい。「かんし」じゃなくて「せきし」よ。それでどんな立派な広告をしても説得力ゼロよ。「確立論」のレポートって一定数あると担当者が言ってた。そういうのは表紙見た瞬間に不合格でいいんじゃないだろうか？小生の担当科目でも「順同型」とか時々いるし、線形代数だと「個有値」とか色々ある。前に事務の人が作った書類に「線形台数」というのが複数残ってた。急いで指摘した。忙しいのだろうが、そういう見た目で分かることはどうにかしたいよね。ちゃんとしましょう。

Baystars は結局負けてた。明日、明後日勝って vs. Giants の成績を良くしないと。Giants のホームゲームのようなので日テレ系のチャンネルで見ないといけないので気が進まない。楽しく見られるような展開にしてください。Carp の栗林がまたしても1安打完封をやったそうだが、どんな展開だったのだろう？後で調べよう。あ、忘れてたこと。セ・リーグの月間 MVP の投手部門は目出度く高橋遥人が選ばれた。勝ち星だと高橋の上をいく投手は複数いたが、やはり3完封というが評価されたのだろう。昔だと勝ち星が多くて Giants の投手だとそっちが選ばれがちだったが、少しはマシに成ったということだな。もういい Giants 頼みの時代は終わったのです。Giants の関係者もファンもいい加減気付きましょう。一回5年くらい続けて B クラスに成ってごらん。ファンがどれくらい離れるか。今年も下位に沈めるため、明日、明後日は何としても勝たないと。不愉快だが G＋ を見て Baystars を応援するか。

月曜日に送った論文の revised バージョンに関し早くも返事ありで焦る（reject ではなかった）

今朝は10時前に一瞬意識が戻って、時計を見て、よし、昼飯はうな松だ、と思った瞬間に寝入った。で次に目が覚めたら11時半を過ぎていた。むぅ。いや、うな松の営業時間は2時まで。12時台は混んでるかもしれないが、1時台なら、ということでシャワーを浴びてから少々時間潰しをして、12時半ちょい前に住処を出る。すぐアラームが鳴った。高速道路に乗る前にアラームを止めたが、暫く走ってると12時45分のアラームが鳴った。今度は暫く止められないが仕方ない。高速道路を降りて、最初の赤信号で止めた。でうな松の3周年記念の割引だが、5月20日まで、と思ったら、5月20日だけだった。まあ500円引きをそんな何日もやらないわな。常識で判断すれば明らかだった。まあいいです。一本鰻があったので頼む。いつもの通り JAF の会員証を見せて100円引き。更に100円引き券を貰った。もう一度行かないと。

で職場に1時半くらいに着いて、生協で数セミを購入。今月号は何やら整数論が特集されてるので、後でじっくり読むことにする。個研室で時間潰しをして、2時50分くらいに講義室へ向けて出発。

木曜日は「数理科学セミナー」。「数学セミナー」というタイトルにしなかったのは数理科学科だからか？それとも本家の「数学セミナー」に遠慮したのか？それを決める時に会議でどんな話が出たか全く覚えてない。まあどちらも略せば「数セミ」だが。今日は素因数分解の一意性の証明を完了させた後合同式の章に突入。ac≡bc (mod m) でも a≡b (mod m) は成り立たないが、(c,m)＝1 なら大丈夫、の説明がおかしい。「m｜xy ⇒ m｜x または m｜y」はついやってしまいがちになる。今年に成ってこの間違いをした学生を今回以前に既に見てるし、前も書いたがちゃんとした journal に載った論文でこれを平気でやってた。著者は勘違いか何かしたか、出来た出来たと興奮して気付かなかったか知らんが、レフリーがちゃんとしてなかったのは問題ありだ。で「m｜xy, (x,m)＝1 ⇒ m｜y」（飯高茂先生言うところの「合コンの定理」）は本に出ているだろうと思ったら出てない。が、「p が素数の時、p｜xy ⇒ p｜x または p｜y」は出ていて、そこの証明を修正すれば「合コンの定理」の証明はすぐ出来るよ、と言ったが、案外手間取っていた。いや、その前に a≡b (mod m), c≡d (mod m) ⇒ ac≡bd (mod m) の証明が出来なかったな。剰余環の積の定義が well-defined であることの証明と同じだ、と言ったが、ピンときてないようだ。合同式と剰余環が結び付いてないかな。明日の「代数学I」でやる、と言っておいたが、彼は来てるのでしょうか？先々週は出席者が17人しかいなかった。いや、「数理科学セミナー」に来てるんだから「代数学I」も来るでしょ、というのが通用しないのが今時の学生で、「代数学II」に二人しか出席者がいないのに卒研に二桁募集があったことがある。加川の講義に出席しないで加川のゼミを選ぶ、中々の面の皮の厚さ、と思った覚えがある。来年度はどうなるでしょうか。

その後少々休憩を挟んでみっちりゼミ。今日はディリクレ指標の群を使って不分岐アーベル拡大を作る話。藤崎先生の代数的整数論の本でヒルベルトの理論をみっちりやってあるので、あまり苦戦している様子は無い。いいですね。で沢山不分岐アーベル拡大を作ったが、まだ無限素点の分岐についてはやってないのと、ヒルベルト類体も知らないので、不分岐アーベル拡大がある面白味は分からないだろうな。などと思いつつ最後に genus field のことをちょっと言っておいたけど。K が二次体の時、K/Q で分岐する素数の個数が多いと K の類数はでかくなる、ということがやがて分かる。でみっちり8時過ぎまでやった。

その後部屋でゼミ中に出た例をちょっと検証。Q(√(－21)) のヒルベルト類体が求まって、その後 Q(ζ₂₀) の部分体を全部求める作業をしたが、PARI/GP の出力が何かおかしい。Q(√5) が出てこないんだが。もう遅かったので程々にして切り上げてきたが、√((3＋√5)/2) が二重根号無しで済む、とすぐ分かったのは実二次体の単数を沢山いじった経験がなせる業。美空ひばりの息子の方の加藤和也氏が「オタクでなんぼだよね」と言っていたのを思い出す。

晩飯を食べてから車に乗ってスマホで野球の結果をチェック。0－0で引き分けだった。昨日の1回裏に得点をあげた後20イニング無得点ということだな。それで1勝1分ならまあいいか。明日は点を取って勝ってください。明日からは Giants だ。ただいまゲーム差無し。最低限勝ち越さないと。直接対決は負け越してる。勝たないと。

で帰ってきてメールを見たらビックリ。論文の関わるメールが来ていた。月曜日に送って今日、はいくらなんでも早過ぎはせんか？焦った。何故ならこの論文をとあるジャーナルに土曜日に出したら月曜日にリジェクトの返事が来たことがあり、またか、と思ってしまったのだ。が、今回はそうではなかった。非常に細かい指摘（the を足さないといけない所が一か所あったのと、92--97. とすべきが 99-97 と成っていて、「- を -- に、99 を 92 に、97 の後に . を」というだけのことだった。ホッとした。これでアクセプトと成ればいいが。今年は資格審査の年（同業者は何をするかお分かりでしょう）だが、幸いここ数年で論文を書いたり喋らしてもらったりしたので、今回は大丈夫だろう。今のがむしろ少し先回しに成ってくれた方が、最後の資格審査を合格出来るので嬉しいが。いや、余計なことを考えるのはやめよう。そうするとロクでもないことに成るというのが今までのジンクス。掲載されるのを願い続けよう。