19世紀に見つかった早期の相互律は通常、平方剰余記号を一般化する、素数がいつ別の素数を法として乗の剰余になるかを記述する冪剰余記号を用いて表され、との間の関係を与える。