昨晩も「エラー」を1話見てしまい、寝たのが結構遅かった。で今朝は11時半過ぎまで寝ていた。急いで出掛ける。職場に着いたのは12時半ちょいで、幸い弁当は売ってた。食して後個研室でしばしボーっとして、1時過ぎに講義室へ向けて出発。
金曜日は「代数学I」。既約元だが素元でないものの例を挙げてから、P.I.D.では x≠0 に対し x が素元 ⇔ x が既約元 ⇔ (x) が素イデアル ⇔ (x) が極大イデアル、などを示して、それから P.I.D. は U.F.D. の「嘘」証明、をやって、Z と K[X](K は体)が U.F.D. であることを示したら大体時間。次回は既約元分解しておけば g.c.d. は容易に求まる(小学校か中学校で習っている)話をして、ユークリッドの互除法とか整域上の多項式は根の個数が次数以下とかやる予定。今日で9週目が終了。残り4回。本当に時間の経つのが早い。
少し休憩してゼミ。今日は分岐指数とか相対次数とかやって、多項式の分解が最小多項式の分解で分かるというあれをやって。前半はイデアルを延長する話とかやってて退屈だった。途中から真面目に聞いた。やっぱり難しいな。ちゃんと読めてるようなのでいいでしょう。来週はちょっと早目に終わらすと言ってた。教員採用試験が土曜日にあるそうで、それのためだと。教員採用試験って受けたことないが、大変なんだろうな。今日は大体フルに6時過ぎまでゼミをしてたが、疲れる。短時間で済むと嬉しい。
一箇所講義中にノートに変な所というか説明が不足してる所を見付けた。毎年やってるのに何故かミスが残っている。いや、既約元と同伴なら既約元、を示すのだが、小生この手のやつを「自明」とか「演習」とせずにきっちり証明している。が、0でないことと単元でないことの証明が抜けていた。いや、自明だからいいんだが。で直して、演習問題を web に上げるかどうか確認する作業だが、今週の内容だけでは問題が薄い。来週上げずに二回に分けて今週も来週も少しずつ、としてもよいが、まあ来週一括にしよう、ということで。で実際に問題を解きながらチェックしたが、色々忘れてる。秘蔵の代数学の問題集を見ると、証明がいかにも小生の書いたものという風に書いてあるのですぐ分かる。こうやるんだったか。で見てる最中に幾つか問題を思い付いたので、また TeX 化したりとかそんなのをずーっとやってた。で結局いつもの通り9時過ぎまでいた。
途中野球をチラチラと見た。リードしてる。1点先制されたが、すぐ裏に3点取り返して、どうやって取ったのかと見たら昨日復帰した牧が3ランホームラン。牧がいるとやはり違う。勢い付くと止められないのが Baystars 打線で、5回に度会2ラン、ヒュンメル2ラン、松尾ソロで一気に5得点。いいですね。帰る前に見たら終わってて、無事連勝。7連勝だかしてた Hawks を止めた。祐大が出てないな、と思ったら、有鈎骨の疲労骨折とか。古巣とやるのを楽しみにしてたろうに。移籍後は .349、2ホームラン、9打点と活躍していたが。セ・リーグのチームをよく知っているということで、登録抹消するがチームには帯同するらしい。が、やはり出てるのとでは重みが違う。祐大が出てたら今日のようにはいかなかったろう。明日、明後日も勝って、3タテで4連勝といきましょう。
野球の情報を見てびっくりしたのが、Dragons が5連敗していたらしい。交流戦は初戦から4連勝したところまでは意識していたが、そうだったか。今日復帰の岡林がいきなり初球の自打球で悶絶していたそうだが、幸いそのまま出て、で、連敗が止まって5勝5敗に成ったようだ。今年はどこも連勝、連敗するな。Giants は一旦7連勝だかしたが、次の日からすぐ5連敗して、監督はイライラが募っていたかあんなことに成って。で Giants は今日勝って4連勝だと言ってた。差が広がってしまうな。明日は負けろよ。
昨日のゼミでちょっと学生に嘘を言ってしまった。うろ覚えは良くない。藤崎先生の代数的整数論の本を見たら S_3 拡大の場合の例が出てた。加藤、斎藤、黒川「数論1」に出ている説明は難しくて分からなかった。藤崎先生の本だと基礎体を Q にしてたが、別に Q である必要は無い筈。ガロア群の情報だけが問題だからね。ヒルベルト理論恐るべし。後でもう一度考えて、明日にでもメールしておこう。今日は「エラー」の続きを見るか、早目に寝るかどちらか。早目に寝る、と言って寝たためしはないが。朝型、というのは朝早く起きるひとのことを言うが、朝早くまで起きてるのは朝型ではないんだろう。夜型、というのと朝まで起きてるのは違うと思うが。深夜に成れば成るほど元気が出てくる。勿論無理の出来る年齢ではないので、次の日は一日ほぼ何もしないので、ちゃんと寝て二日に分けて色々やるのがいいのは分かってるけど、夜更かしは子供の頃から大好きなんでね。ま、この後どれくらい眠くなるかによるわ。ということ答え合わせは明日。