互いに素であることである。詳細な結果が平方剰余の研究によって得られており、平方剰余の相互法則として知られている。構成は環のイデアルによる商構成である。代数的性質に関しては合同類環の項へ譲る。乗法が定まるから、反復乗法としての冪を考察するのはまた自然である。種類以外に取り得ず、何度も同じ値を取らねばならない。関して同じ値となるようなものが存在する。再帰的に定められるから、剰余の値が既知のものとなれば直ちに、それ以降の値は循環的に同じ値をとるものと分かり、それ以上調べる必要は無くなる。合同となることが分かる。互いに素であることに関係してくる。と合同であることに注目せよ。フェルマーの小定理の拡張。