m^2≡a mod p となる整数 m が存在するとき，a は p を法とする平方剰余であるといいます。これを簡易的に表現したのがルジャンドル記号です。a が p の平方剰余であるとき，そうでないとき、というものである。 ここでの主題は平方剰余の相互法則などやそれ…