「 の平方剰余の個数が になること」について気になった。
群論を使うと、以下のように明快に示せる(ていると思う)のですが、もう少し初等的にも計算できそう(やり方は知らない)
主張
を素数とし、 とする。
としたとき、 である。
証明
より、 は群準同型写像。よって、 は の部分群。また、
群論のラグランジュの定理より であるから、 が分かればよい。
群の第1同型定理より であるから、 である。
よって、 より、 である(証明終わり)
追記(2021.01.28)
しかし、ルジャンドル記号の準同型性を示すのに、原始根を使うわけなので、原始根定理が必要。やっぱり簡単ではないですね。
ルジャンドル記号を平方剰余からではなく、 で定義する方法もあります。この場合は準同型性を示すのに原始根定理を回避することはできそうです。
行き先が であることを示すのには、フェルマーの小定理を使えばよいので問題なさそう。
しかし、元々の平方剰余の意味合いはなくなるので、その関係性を示すのにオイラーの定理が必要で、これには原始根定理がやはり必要という話になるかと思います。