剰余類環
数学において、自然数 を法とする合同類環（ごうどうるいかん）あるいは剰余（類）環（じょうよ[るい]かん、, ）は、整数を で割った「剰余」を抽象的な類別として捉えたものである。
本項は剰余類環 の代数的な定義と性質について述べる。合同類別に関するより平易な導入については整数の合同を参照のこと。