剰余環

数学の一分野、環論における商環（しょうかん、英: quotient ring）、剰余環（じょうよかん、英: factor ring）あるいは剰余類環（じょうよるいかん、英: residue class ring）とは、群論における剰余群や線型代数学における商線型空間に類似した環の構成法およびその構成物である。すなわち、はじめに環 R とその両側イデアル I が与えられたとき、剰余環 R/I と呼ばれる新しい環が、I の全ての元が零元に潰れる（I による違いを「無視」するともいえる）ことで得られる。