昨日は更新しなかった。痛み止めにロキソニンのジェネリックを貰ってるが、市販品に「眠くなる成分は配合していません」と書いてあるように、加工してないロキソニンは飲むと眠くなるのだろう。ということで一昨日の晩中途半端な寝方をしてしまい、色々思う所あって、超寝不足だがいいことにして職場に向かった次第。でゼミやら何やらして職場に9時過ぎまでいて、帰ってきてダウンしてしまった。
ということで今日は13時間くらい寝て、大分復活したが、逆にこういう寝方をすると眠いもの。今結構眠い。思う所あってまだ暫く起きてるが。
昨日のゼミで一箇所気に成ったことがあった。イデアル I,J が I⊂J, N(I)=N(j) を満たせば I=J と、イデアル I と整数環の元 a が a∈I, N(a)=N(I) を満たせば I=(a) がテキストに書いてないが。いや、N(I)=(OK:I) で定義してあれば前者は自明、後者は (a) のノルムが |N(a)| であることを示してあれば自明、だが、テキストは虚二次体しか扱ってなくて、イデアル I のノルムを (N(I))=II' を満たす自然数 N(I) と定義しているので、示さないで使うとまずいと思うんだが。まあ幾つか書かれていることを組み合わせればすぐ出来るので、いいけど。来年はちゃんと突っ込もう。いや、来年度の卒研があるかどうかはまだ未定だが。
で今日だが、2時55分から院生向けの講義。今日は祝日なので高速道路を ETC で利用すると安く、駐車スペースがすいてるので、講義をする建物とウェストウィングの間に停めた。生協の本屋は祝日休業だが、食べ物を売ってる所は開いてた。で弁当を買って食して、で臨戦態勢。今日は所謂「イデアル論の基本定理」に向かって突き進んだが、{0} でない素イデアルが極大イデアルであることと、整数環がネーター環であることを示して、でネーター環 R の {0} でも R でもイデアルでもないイデアルは有限個の素イデアルの積を含む、ということを証明出来た。それと整とか整閉とか説明して、来週は整数環が整閉であることの証明から。それから素イデアル P に対し P-1 を定義して、で証明が完成しそうだ。それから分数イデアルがどうしたこうしたとかやれば時間に成るだろう。脚が痛かったので、適宜座りながらやらせてもらった。湿布を貼り直していかなかったのは失敗だった。湿布をちゃんと痛い所に貼ればそれなりに痛みが治まることが分かったので、失敗。それと昨日は職場にロキソニンと湿布を持って行っていたが、今日は住処に忘れてしまったのも失策。痛くなければ「寝たあかん」とか詰まんないことを口走ったかもしれないので、まあ多少痛くて良かったのかも。
それから部屋でウダウダとしばし。今日の講義ノートの修正すべき点を修正しして web に上げて、金曜日の講義の演習問題を暫く上げてなかったことに気付いて、で一度解いてみて付け加えたい問題を思い付いたので付け足してから上げて、でちょっと位相のことを勉強しようと始める。が、やはり位相は苦手だ。下らんことに時間を大層使ってしまい、殆ど進まなかった。9時半近くまで職場にいた。
少し前に書いたような気がするが、キムチが食べたいのですき家でキムチ牛丼を食べることにして向かう。南草津のすき家に行くのと、車を停めた場所の関係で東門から出た方が楽なので、そうする。ですき家に着くと凄く混んでた。大学生風の人が沢山いたが、まさかすき家でコンパでないわな。キムチ牛丼はそんなに待たずに出てくると思ったら案の定だった。文庫本は殆ど進まなかった。
明日は事務の人が頑張って卒研の第一希望を仕分けしてリストをくれることに成ってる。それから色々やらないといけないことがある。大事なことだから仕方ない。で見たら明日は談話会があるようだ。新加入のお二方に喋っていただくようだが、脚が痛いし遠慮させてもらうか。位相の勉強でもしよう。