R: 可換環
I⊂Rがイデアルとは、

(1) a, b∈I ⇒ a + b∈I
(2) a∈I ⇒ -a∈I
(3) a∈I, r∈I ⇒ ra∈I

が成り立つこと。

Abel群としての剰余群R/Iは可換環になる。
これを剰余環という。