平方剰余の相互法則

平方剰余（へいほうじょうよ、英: quadratic residue）とは、ある自然数を法としたときの平方数のことであり、平方剰余の相互法則（へいほうじょうよのそうごほうそく、英: law of quadratic reciprocity）は、ある整数 a が別の整数 p の平方剰余であるか否かを判定する法則である。 == 定義 == 整数 a と p とが互いに素であるとする。