問題

問題、と言っても大して大事な問題というわけではありませんが、 次のものを挙げておきます。

問題 2.2   $p$ と互いに素な $a$ に対して、 $a^{(p-1)/2}\in \{\pm 1\}$ が常に成り立つならば、 $p$ は素数だろうか?

つちもとはこの問題に対する答を知りません。10桁ぐらいまでの範囲なら正しいようです。