ABC 定理の証明は完全に理解出来た。「対称性より」という所もちゃんと確認した。TeX 化するとまた訳の分からない時間に成ってしまうので、やめておいたが。それでも寝たのは相当遅い。
で起きたらもう1時を大きく回っていた。シャワーを浴びて出発。生協でいつもの唐揚げ弁当を買って食してからウェストウィングへ向かう。
今日は先週引っ掛かった ABC 定理の証明だが、すんなり終わった。学生も小生も何かいらざる勘違いをしていただけ。この前書いた通り「三人寄れば文殊の知恵」だが、月曜のゼミはマンツーマンでやってる。二人だと二人が隘路にはまると誰も手を貸してくれない。一人冷静な人がいるだけで大分違うがな。木曜のゼミは学生は二人いるが、一人が何らかの事情で休むと混乱することが多い。最低で三人はいないとやはり駄目だな。で「刺身のつま」である abc 予想の節が始まったが、時間をあまり掛けたくないのが本音。こちらの気持ちが伝わったか、結構あっさり済ましていた。abc 予想の同値な言い換えも紹介しただけ。それでいいです。拘る学生がいたら拘るけど、拘らないならそれでいいです。で既約多項式（モニックな既約多項式を「素式」と言っている）の分類の節に突入。R や C だと簡単だが、それは代数学の基本定理を仮定すれば。テキストに主張は書いてあるが、証明は載ってない。学生が「証明読んでくるのを忘れましたので、来週やります」と言ったが、やらなくていいと言っておいた。関数論の講義でリュービルの定理を使って示されてると思うし、藤村先生（懐かしい）が幾何の講義をしていたころはホモトピーの知識を用いて証明していたようだから、今も幾何の講義でやってるかもしれない。「代数学II」でも以前はやっていたが、ここ数年やる時間が無くて出来ていない。何故だろう？で Q 上の素式の分類は難しい、と書いてあって、ガウスの補題とかアイゼンシュタインの既約性判定法など。これは「代数学I」の講義でやってあるが、テキストに証明が書いてるからやってもらう。講義と全く同じ証明が出ている。ということであまり集中して聞かなかった。まあ大丈夫でしょう。5時くらいに終了。
6時からオンラインで会議があるので、それまでちょっと時間潰しに ABC 定理の証明の TeX 化。5時50分過ぎに保険会社の人から電話。この前電話があった時はゼミ中だったので無視したが、今日は出てあげるか、ということで。ちょっと健康診断で引っ掛かった所があったのを話してあって、その件で電話をくれたりメッセージをくれたりしていたが、忙しかったり面倒臭かったりで何もしないでおいたが、大分心配してくれていたようで申し訳なかった。で6時からの会議は白熱した。そもそも OIC に行くことに無理があったのだ。OIC 唯一の理系学部のために BKC の教員は大分無理をしている。更に無理を言ってきているので、皆さん大分ご立腹だ。時間割を作る我々も大分無理しないといけない。前に教務委員をやった時は1年目が時間割だ何だと大変だったが、今はそれらの仕事は2年目の人がやるようだ。今年叩き台を作っておいていただけるので、来年度はそんなに大変ではない、と信じたいが。7時ちょいに終了。
その後 TeX 化の続き。大体出来た。微分で一箇所片付いてない所があるが。「AB'＝BA' ⇒ A＝cB となる c∈K× が存在」は微分を有理式に拡張しておけば示せるが、多項式の微分だけで出来るんかいな？と前から気に成ってる。また考えておこう。でなんだかんだと9時半近くまで職場にいた。
ガストでから好しの唐揚げにしようか、と思ったが、昼飯は唐揚げだったな。冷めてたのを食べたから、揚げ立ての熱々のやつを、と思ったが、ここ数日で結構金を使ってしまったので、すき家でカレーにした。50円引き券もあるし。美味しかった。夜10時を過ぎると道路はすいてるが、アタオカな運転手がいて怖いこともある。今日も少し前の信号が黄色に成ったので停止線で停まったら、後ろの車が対向車線にはみ出して右折していきよった。関西の人は気が短いな。曲がった方の道路に気の短い運転手がいたら、それこそ大事故やぞ。安全運転を心掛けましょう。
台風が近寄ってるらしいが、まだ雨は降ってないし風は吹いてない。明日は職場に行く用事が無いので、住処でおとなしくしているつもり。夕刻の教授会も Zoom で開催されるから、職場に行かなくていいのは助かる。学部執行部の面々や事務の人は出勤だろうか？ご苦労様です。住処にいて Uber Eats で食事、というパターンが明日は出来ないかもな。天気によるが、配達パートナーが外出したくないような天気だったらね。帰りにドラッグストアでちょっと食事を買い込んできたが、もう少し買い出ししておきたいので、これからセブンイレブンやらローソンやらに買い出しに行く。インスタントの食べ物や飲み物や呑み物。一軒で沢山買うと恥ずかしいから店舗を分けるという作戦。賢明な読者はお気付きだと思うが、いつもはセブンイレブンかファミリーマート、なのにローソンに成ってるのは何故でしょう？答は単純で、飽きてるから。ローソンの方がカップ麺の種類が豊富なのでね。セブンイレブンとファミリーマートは歩いていくが、ローソンはちょっと遠い。セブンイレブンもいつもの店舗でなくローソンと住処の間にある店舗に行く。木、金はまあまあの天気のようなので、心置きなく仕事をして外食して帰ってくるので、二日分ね。「過ぎるTV」が終わったら行こう。ナフサ不足が言われているご時世だけに袋は持参でね。と言っても、さっきドラッグストアでは袋を貰った（正確には買った）が、それを持っていくだけのこと。気休めよ。
あ、そうだ、この前若隆元、若元春、若隆景の3兄弟のことを書いたが、若隆元は引退するそうだ。3兄弟同時関取はならなかったな。残念。元就の息子は、隆元は元就の存命中に死んでるし、吉川元春は秀吉の九州攻めに従軍中に死んでて、一番活躍したのは三男の小早川隆景。大波3兄弟（若隆元たちのことね）も三男が一番活躍してる。小早川隆景は天下をとれなかった。若隆景は大関、横綱と駆け上がって、天下を取ろう。もう若くないんだ。今度のチャンスを逃しちゃならねえぞ。今場所は霧島以外の横綱、大関は初日から休場だったり怪我して休場だったり負け越して休場だったりと冴えなかったので、強い大関は大歓迎だ。霧島も優勝を逃したが、来場所の結果次第では横綱だ。どっちも頑張れ。
