ロビィでのお話。
思い出せなかったことのメモ:ガウスの和。[tex:n:正整数 \rho_n = \cos \frac{2\pi}{n}+i \sin \frac{2\pi}{n}:1のn乗根\sum_{s=0}^{n-1} \rho^{s^2} = \begin{Bmatrix} ←インチキ。 (1 +\sqrt{-1})\sqrt{n} &,{n\equiv 0}\\ \sqrt{n} &,{n\equiv 1}\\ 0 &,{n \equiv 2}\\ \sqrt{-1} \sqrt{n} &,{n \equiv 3} \end{Bmatrix}(mod4)]「はてな」のブログはTeXが出せていいなぁなんて思う(どーせ使わないか)。p進の性質の同値と思っていたのは、Hillbelt symbolの6つの性質でした。命題はa=p^n・u \in Q_p が平方元であるための必要十分条件として、満たすべき2つの条件と、やはりHillbelt symbolに関する命題でした。a x^2 + b y^2 =1 をみたす x,y \in Q_p が存在する、とかそういうやつでした。後半かなり適当。最近数学のことはあまり書いてなかったな。