1216
具合の悪さここに極まれり。本当に厳しい。
お昼から仕事。いささか思慮を欠いたコードの拡張。歴史的事情はいろいろあるのだろうけど……。
そういえば昨日ちまちま示した${\mathbb{F}_p}^\times\cong\Z/2\Z$ですけど、というか${\mathbb{F}_p}^\times$の平方元でない元同士の積が平方元になることですけど、$p$が素数なら${\mathbb{F}_p}^\times$には原始根があって、平方元なら原始根の偶数乗、そうでなければ奇数乗だから、奇数乗同士の積が必ず偶数乗になることから簡単に言える、と教えてもらいました。確かにね。
今夜も髪が乾くまで数学します。p進数体の構造のことはわかったので(本当か?)、いよいよ二次曲線の有理点の有無を示す。
mathjaxの使えるblogが必要な気がしてきた。いや、べつにそんなに書かないけど(すくなくとも人に見せるようなものは)。手許のノートに全部書いてあるし。ただ、ノートは検索性が悲惨なのよね。誰か代わりに電子化してくれないかな。
はあ、具合が悪い。明日明後日でまた一山あるらしいんだけど、間に合う間に合わないの前に身体が持つか……