2025年10月21日火曜日

p 進数がローラン級数であることをきっちり証明したった

結局月曜の晩は夜更かししてしまう。コロナの時にプロレスを見る習慣がついてしまったが、最近はあまり真剣には見ていない。昨日もそうだったが、何か面白いことに成ってきた。EVIL という極悪レスラーがいるが、そのやり方にキレたのが、まだ練習生のウルフアロン。来年の1月4日デビューだが、何と EVIL に挑戦状を叩き付けた。面白いぞ。正月実家にいるかどうかは親父殿の容態次第だから何とも言えないが、録画予約はしておこう。

でまたしても結構な時間まで寝てしまった。幸い講義には間に合う時間で、弁当を買い込んで食べるくらいの時間はありそう。で着いて、駐車場から歩いているうちに何か腹の具合がおかしくなってきた。幸い今日は前の講義は早目に終わったようで、部屋の電気が消えていたから、荷物を置いて、しばし。結局食事をする時間は無くなった。まあ仕方ない。

今日は大学院向けの講義。p 進体の元がローラン級数で表せることと、逆にローラン級数が p 進数を定めることなどをやって、p 進付値の値はローラン級数が何番目(負の場合があるから何番目というのはちょっと気が引けるが)から始まってるかで分かるとか。で加法と乗法はいたって形式的に計算すればいいことなどを示したら時間に成った。来週はヘンゼルの補題をやって、その応用をやって、でやはり平方剰余がないと理論に深みが出ないよねということでやる予定。平方剰余は p 進数が分からなくても大丈夫、ということは言っておかないと。勿論巡回群がどうしたとかやるので、大半の学生にはチンプンカンプンなんだろうが。

講義終了は4時半で、リンクショップが閉まるのが4時半、というのは流石にまずいと思ったのか、5時まで延長営業と成っていた。が、年内いっぱいやってみて様子を見て、年明けをどうするかは状況を見て決める、と書いてあったが、いやいや、去年までは4時10分講義終了で4時半閉店だったからよかったが、4時半講義終了で4時半閉店は流石にやめていただかないと。パン屋ら弁当屋らを売ってる所は10時半まで無人で営業なので行ったが、ドアが開かない。何だと思ったら、学生証なり教員証なりをかざして鍵を解除する必要があるようだ。で開いたので、カレーパン一個とコーヒーを買って流し込んで、ちょっと個研室で用事。事務に送らないといけないものがあるのだが、よく分からないのでメールを書いて返事を待つが、担当者はもう帰ってしまわれたか返事が無かった。まあいいや、明日また職場に行くから、それからやれば。で講義資料を直して web に上げて、ついでに来週の予習を少ししておいた。平方剰余は原始根の何乗に成っているか見れば分かるが、指数の偶奇が原始根に依らないことは言っておかないと、と思ったが、今考えると平方元かどうかは原始根に依らないから、示さなくていいのでは?という気がしてきた。まあいいや、そっちも明日考える。で8時近くに成っていたので、高速道路はもう混むまいと、帰ることにした。

帰ってきてテレビを付けたが、火曜日って何を放送してるか全然知らない。いつも野球を見るからね。であまりそそられるものがやってないので、先日最終回だった「激レアさんを連れてきた。」のまだ見てないものを見た。面白かった

今日は大阪は20度を切ったそうだが、明日は17度が最高らしい。東京は最高気温13度とか。急に陽気が変わるのは勘弁して欲しい。今日は寝不足で自律神経の具合がおかしかったかあまり寒く感じなかったが、明日は1枚着こんで行くか。明日の用事は12時20分からの卒研ガイダンス。2番目に説明しないといけないので、遅れないようにしないと。今晩はちゃんと寝て、明日は早目に起きよう。で終わったらサクッと帰って床屋、と考えていたが、ちょっと会議があるらしい。有志の会議、というから別に出なくてもいいんだろうが、まあ出ておくか。たまには同僚の顔を見ないと。あ、昼に沢山会うな。今年の学科長は会議があまり好きな人ではないから、学科会議が殆ど無い。何が問題に成ってるか疎くなってしまうし、出ておくかな。会議まで時間がタップリある。溜まっている用事を片付けて、その後少し勉強するか。代数的閉包の存在と一意性の証明?うーん、腰が引けてしまうね。ゼミで少し解析的な話が出てきたからそれのことでもやろうか?解析は腰が引けてしまうね。まあやることは色々あるので、その場の雰囲気でということにするか。