在环论中，商环（或称剩余类环）是环对一个理想的商结构。
定义.设formula_1为一"环"，formula_2为一"双边理想"。定义下述等价关系令formula_4为其等价类的集合，其中的元素记作formula_5，其中formula_6是该元素在formula_1上任一代表元。我们可以在formula_4上定义环结构：以上运算是明确定义的（在第二式中须用到formula_11是双边理想）。集合formula_4配合上述运算称作formula_1对formula_11的商