商環

設R是一個環，I是R的一個理想，R作為加法羣關於I的商羣R/I對乘法(r₁+I)·(r₂+I)=(r₁r₂+I)所作成的環，稱為R關於I的商環，或稱為R模I的同餘類環，記作R/I。

當把環R看作加羣時，R是一個交換羣，因此任意的理想I均是R的正規子羣，從而可以定義商羣R/I，商羣當然也是一個交換羣。我們為了在商羣的基礎上構造一個環，需要引入商羣乘法：(r₁+I)·(r₂+I)=(r₁r₂+I)。

顯然，這個乘法是可定義的，也就是説對於同一個陪集選取不同代表元不會影響乘法結果。

事實上，我們假設r₁+I=r₁'+I，r₂+I=r₂'+I則-r₁'+r₁∈I，-r₂'+r₂∈I，因此-r₁'r₂'+r₁r₂=(-r₁'+r₁)r₂+(-r₂'+r₂)r₁'∈I即乘法是可定義的。

容易驗證上述乘法滿足結合律和左右分配律。因此R/I確實構成一個環，稱為商環。

引入商環的概念後就可以仿照羣同態基本定理推導出環同態基本定理——我們知道抽象代數的主題是圍繞着代數結構和態射的，因此環同態基本定理在關於環的理論中具有非常基本的作用。