今朝は起きたら11時過ぎだった。午後の開始が10分遅く成ったので、シャワーを浴びても昼飯を食べる時間がタップリある。嬉しい。で職場には12時15分くらいに着いたが、まだ講義の終わる前なので、学生は学内に溢れておらず、弁当も余裕で買える。が、揚げ立ての唐揚げを売ってるキッチンカーがあって、一人待ってるだけだからそっちにした。ちょっと待って温かいものにありつけるのは嬉しい。食べてからちょっとゴソゴソとやって、1時10分からゼミ開始。
今日はフロベニウス置換の話の続き。剰余群の部分群がどういう形してるかって、小生はちゃんと理解したのは随分経ってからだったが、学生は理解しているのか澱みなく説明している。素晴らしいな。その後分解体、惰性体と素イデアルの分岐の関係を少々。「数論序説」にも「ヒルベルトの理論」というタイトルの節があったが、藤崎先生の方が遥かにちゃんとしている。ちゃんと惰性体の下では分岐しないとか書いてあるし。同期生（Shimshim）がそのことをちゃんと知らなかったのを M 林さんが驚いていたが、まあ彼は代数体のことはあまり勉強してなかったようなので。M 林さんは数論幾何的な話も代数体の話もきちんと理解されておられて、流石だと思ったのを覚えている。最近は学生と超越数のことで論文も書いたようで、多岐に渡る業績を残しておられる。凄い。えーと、ゼミの話。その後何やら両側剰余類分割の話が出てくるが、小生は殆どアーベル拡大の場合しかいじらないので、ここは飛ばした記憶がある。で話してももらうと、何やら申し訳程度に書いてあるだけで、だから何？という感じだった。まあいいけど。で4時半に終了。
その後部屋で紙に書いたものを TeX 化。K＝Q(21/3) のことでちょっと調べたことがあったのだが、少しグレードアップした。p≡1 (mod 3) なる素数 p は K で完全分解するか惰性するかのどちらか、というのは前に示せていたが、この二つを峻別する条件を書けた。例を SageMath に計算させたが合ってる。嬉しい。山崎さんの本を何年もゼミで使ってて、それで染み付いた事実があって、そのお陰。いや、その事実自体は勿論知ってはいたが、2次に矮小化した、と言ってはいけないな、オイラーの規準、ということで講義では証明してしまうのを、山崎さんの本にはちゃんと一般の次数で書いてあるので、3次の場合に使えた、ということなのだが。帰りに気付いたが、その条件はもう一段書き換えが出来るのだった。それは学生に Ireland－Rosen を読んでもらった時に知った事実。数学が専門の学科にいて、学生にそこそこ以上のレベルの学生が時々でもいるのはいいことだ。時々じゃなくしょっちゅういて欲しいけど。昔、阿P先生というあだ名の先生が「箸棒系の学生」という言葉を使っていたのを思い出した。
特にやることも無いので、7時過ぎに職場を後にした。ちょっと用事もあったので。で9時ちょい前にフリーに成って、晩飯がまだなので、この前 Uber Eats で取り寄せた「鰻の成瀬」の店舗に行ってみようかと思い向かう。が、見付からない。おかしいなこの変の筈だが。まあいいや、ということで結局いつもの通りなか卯で親子丼にした。帰ってきて google 先生に「鰻の成瀬」を検索してもらうと、全国展開している店であることが分かった。レシートに「有限会社 楽坐」と書いてあったので、山科では有名な田中社長のやっている店か、じゃあいたってローカルな店なのだろうと思っていたが。上大岡にもある。実家の目の前の京急百貨店にあった鰻屋が食中毒を出し、暫くしたら閉店したというニュースがあったので、帰省した時に鰻を食べるならすき家か松屋かと思っていたが、ちょっと楽しみが出来た。が、店が見付からない理由が分かった。夜の営業は5時から8時まで。何だそうか。随分殿様商売だな。昼は11時から2時だし。明日の昼にでも行こうか？木曜日は4時40分からのゼミだけが用事という変なスケジュールに成ってしまったので、木曜日に行ってもいいな。あ、水曜日は学生と10時から面談だな。1時10分から講義だし、そこで行ってもいいな。まあいいや、近い内に行こう。はま寿司も何やらフェアをやってるようだし、大学の外で昼飯を食える日は適宜やろう。
で帰ってきてテレビを付けると「Qさま」がやってた。昭和の歌がどうしたとか、またかい、という感じ。が、昭和歌謡はやっぱりいいな。イントロが格好いい。「魅せられて」なんて一瞬流れただけで分かるし、「木綿のハンカチーフ」のあの軽快なイントロなんか最高だな。「木綿のハンカチーフ」はイントロの軽快さ、曲の軽やかさ、太田裕美の爽やかな歌声で騙されるが、身勝手な男の歌なので嫌いなんだがな。まあ面白かったわ。最初から見たかったな。弘中ちゃん、優勝おめでとう。
明日は資源ゴミの日だな。もう2週間経ったか。2週間前も教授会だった。まあ教授会は基本隔週だからな。資源ゴミは第2、第4火曜なので、ずれるだろうが、来週の火曜日はうち恒例の祝日講義日で、事務の契約職員の人が休むから、教授会は無いだろし、その次の火曜日は5月6日で、ここは流石にうちも休みに成るので教授会は無し。ということは次回は多分5月13日で、この日もまた資源ゴミの日だ。忘れないので助かる。教授会はよく忘れる。まあ学科長じゃないので。いや、そんな訳あるかい。忘れず出席しないと。
