2025年12月8日月曜日

ガロア理論の問題点はどうにか成りそう

起きたら11時半過ぎ。もう10時半のアラームは鳴らさないようにしようか、と思ってるんだが、結局そのままに成ってる。シャワーを浴びて急いで行けば十分昼飯を食べる時間はあるからな。まあもうちょっとそのままにしておくか。

で残り少ない弁当を買って店の人に感謝された後、講義へ。月曜日は「数学IV(線形代数)」。今日は表現行列の話の続き。線形写像で写す前のベクトルの座標と写した後のベクトルの座標がどう関係しているかとか、線形写像が単射(resp. 全射)なのと、表現行列から定まる数ベクトル空間の線形写像が単射(resp. 全射)なのが同値とか。で最後に基底を変えると表現行列がどう変わるかを示したくらいで計算通り時間に成った。来週一回で対角化をやり切る、という無謀なことを考えてるが、どうだろうか。戦略の細部は後程練る。

例によってすぐゼミ。今日は幾つか Mordell 方程式を解いて、その後整数環が Z[√-d] でない場合。証明はガッツリ略されてるが、ちゃんと付けてきてた。頑張っとるな。d=3, 7, 11 の時に整数環がユークリッド整域であることを示した辺りで終了。素数の分解がルジャンドル記号で分かるというのの前に終わり、来週はそこから。類数1でない場合がどれくらい出来るでしょうか。素因数分解の一意性の成り立たない世界がある、というのを知って卒業出来ると嬉しいでしょう。5時半前に終了。

その後部屋で代数学IIのことを。最初に見た本は「1の冪根が充分に含まれてると仮定して証明する」と成っていて、「一般の場合は省略する」と成っていてガッカリ。次に開いた本は、やはり1の冪根を充分に含んでると仮定していて、「そうでない場合は~を見よ」と成ってて、またしてもガッカリ。次に開いた本は「係数を数値でなく文字と見て “一般多項式” を考えるので、1の冪根が充分含まれている場合に考えればよい」と成ってて、またまたガッカリ。Q 上に代数的に解けない5次式があるのを見せたいのだが。で一冊ちゃんと書いてる本を見付けたが、ちょっと用語の定義が違っていて、修正するのに難渋してギブアップ。でやっと見付けた。大筋は分かった。が、もう9時半だったので、帰ることにした。10時を過ぎると飯屋が夜間料金を徴収する時間に成ってしまうし、道路工事も始まってしまう。ですき家でカレーを食べた。注文したのが10時前なので夜間料金は取られなかったが、もう道路工事が始まってる時間で、石山で一箇所、山科で一箇所工事をしていた。

帰ってきてしばしボーっとしていた。で「過ぎるTV」が始まって暫くしたらニュース速報。東北で震度6強の大きな地震があったとの情報。津波注意報が出たということで「過ぎるTV」は途中で終わりで、今アナウンサーが絶叫している状況。その後津波注意報が発令されて、11時半に3mの津波が、と言う情報だが今11時半くらい。大丈夫でしょうか?今日は「コント・デ・ンガナ」もプロレスも休止だろうか?大きな被害が出ないといいですけど。