火曜日は教授会がある日は教授会のみの予定で、今日はある日だが、まあいいか、と不摂生。ただ不摂生するだけではよくないので、ちょっと数学をしよう、ということでやり始める。色々学生に例を見せるためにも、新しい例を考えないと、ということで、いつも5分体とか7分体ばっかりなので、20分体を考えることにした。4分体（ガウスの数体ね）と5分体の合併体なので、大したことはなかろうと。(5) の素イデアル分解をやろう、と始める。どんな形に分解するかはすぐ分かる。で SageMath で検算。合ってる。が、ここからがちょっと変なことの応酬。5の上の素イデアルは二つあるが、それらが単項イデアルでないような表示。で類数を計算したら1と帰ってきた。え？SageMath にはイデアルが単項イデアルかどうか判定する命令があるので実行してみると、単項イデアルだ、という答。え？イデアルを見るとやっぱり単項イデアルでないような表示。うむ、生成元が見付かればいいが、どうやる？これは PARI/GP でするか、と始めるも、PARI/GP はあまりよく知らないので、マニュアルを見ながらやる。やはり類数は1。単項イデアルかどうか判定する命令もあるので、やってみたら生成元が返ってきた。やはり単項イデアルなのか。問題はそこから。[[]~, [0,0,0,0,－1,2,－1,1]~] と帰ってきて、二つ目の成分が生成元のようなので、これは整基底の係数が書いてあるんだな、と思い元を Mod を使って与えてノルムを計算したら 121。え？いやいや、5を割ってる素元なんだから、5か 25 と返ってこないと。SageMath にやらしてもやはりノルムが 121。え？昇冪の順と降冪の順を間違えてるのか？と逆にして同じ。うぉー、馬鹿にするな、ということで呑みたくなった。いつもの違法販売機で購入して、帰ってくる途中に思った。一度整基底を表示させよう。戻ってきて K.zk とやると、[1,x^2,x^4,x^6,x,x^3,x^5,x^7] との表示。がっかり。そりゃ計算合わないよ。nfbasistoalg という命令があるのを見付けたのはその後。実行したらMod(x^7－x^5＋2*x^3－x, x^8－x^6＋x^4－x^2＋1) と帰ってきた。がっかり。まあいいや、とメモっておいた。無駄な時間を使った。
などとやってるうちにもう「おはよう朝日です」が始まっていた。頭に来たので、もう少しゴソゴソとやって、それから寝た。阿呆や。で起きたら教授会の始まっている時間に成ってた。いかん、と急いで Zoom に接続するも、反応が無い。おかしいな。議題表を見てみると、極めて議題が少なく、もう終わってしまったということか。何なんだか。前はそれだけのために職場に行く必要があったが、オンラインで行われるののいいことは行かなくていいこと。もう教授会はずっと Zoom でやって欲しい。
今日の野球は5時45分から。横浜スタジアムで Tigers と3連戦。バウアーがやってくれる、と信じるも、2回に早くも失点。佐藤の当たりを度会が捕球し損ねて無死3塁のピンチを作ってしまったのが原因。記録は3塁打だが、あれは捕れたでしょう。4回は佐藤の2塁打で失点、5回は近本のタイムリーヒット、7回は近本のホームランと、小刻みに失点。バウアーは7回4失点。3試合で10失点、防御率5.00とよくない。一昨年も最初は悪かったが、あの時は日本の野球に慣れてなかったからということで、その後良くなって10勝して防御率2.76の好成績で終わったが、今年はどうなるのだろうか？あまり期待出来ないな。今日の負けでセ・リーグ10敗1番乗りで単独最下位。並んでいた Swallows が雨のため試合が無かったので。まあ仕方ない。まだ借金は4。巻き返せる。春先に良かったチームが落ちてくるのは見飽きるほど見てるし、またその話かという感じだが、去年の Carp のように9月に20敗することもある。Baystars も7月末に9連敗したし。143試合もあるからね。まだまだめげずに頑張って欲しい。
Lions の高橋光成はまた勝てなかったようだ。負け投手にも成らなかったが。防御率は2.74と悪くないので、頑張ってやってください。勝ち投手というのは不思議なルールで、ひっくり返された直後に味方がひっくり返すと、そのひっくり返された投手が勝ち投手に成るわけだし。佐々木朗希もこの前いいピッチングを見せて勝ち投手の権利を握って降板したが、サヨナラ負けを食らって勝ち投手に成れなかった。だからあまり勝ち星の多い少ないを気にしない投手もいるようだ。防御率とか奪三振とかの方を重要視したい気持ちは確かに分かるね。まあだけど勝ちは付いた方が嬉しいだろうけど。高橋光成は希望を捨てずに投げ続けてください。
