1210
あいかわらずとても具合が悪いです。とはいえ仕事はまあまあ順調と言える。明日まで体調が持ちこたえればなんとかなる気がするな。がんばらなゃ。
昨夜は、整数aがmod pで平方元だったならばaはQ_pの平方元でもあることを示しました。よくわかんないって言ったらaの知人の整数論専攻の人がそんなに難しくないよと教えてくれたのでやってみたのでした。結局aがすべてのnについてmod p^nで平方元であることを示せばよく、nについての帰納法で、平方根を順番に構成することができることを示しました。175^2≡7 (mod 3^5)を3^4の結果から導くことができたので、たぶん正しいと思います。やったね。
早く眠るよ。