1 剰余環の定義
1.1 イデアルと合同関係
環 \(R\) とそのイデアル \(I\subseteq R\) を考える。イデアルは加法に関して部分群であり、さらに任意の \(r\in R\) に対して \(rI\subseteq I\) かつ \(Ir\subseteq I\) を満たす（可換でない場合でも両側イデアルを用いるのが基本である）。剰余環を作るには、\(R\) の要素を「\(I\) によって違いが埋まるもの」として同一視する。
この同一視を表す関係が合同関係である。要素 \(a,b\in R\) について \[ a\equiv b \pmod I \quad\Longleftrightarrow\quad a-b\in I \] と定めると、これは反射律・対称律・推移律を満たす同値関係になる。したがって、\(R\) はこの合同関係によって合同類（同値類）に分解される。
1.2 商環としての構成
剰余環は、上で得られる合同類の集合に、\(R\) の演算を「代表元に依らない形」で持ち込んで定義した構造である。通常の記法では商環を \(R/I\) と書く。
1.2.1 剰余類の表し方
合同類は \(a\in R\) に対して \[ a+I=\{a+i\mid i\in I\} \] として表される。\(a\) を代表元とする剰余類であり、同値な代表元を選んでも同じ集合になる。したがって、要素としては剰余類そのものを扱う。
1.2.2 剰余類上の加法・乗法
加法は \[ (a+I)+(b+I)=(a+b)+I \] と定義する。乗法は（両側イデアルを前提に） \[ (a+I)(b+I)=(ab)+I \] とする。ここで要点は、代表元の取り換えに対して定義が変わらないこと、すなわち well-defined であることにある。たとえば \(a'\equiv a\pmod I\) ならば \(a'=a+i\)（ある \(i\in I\)）と書け、加法・乗法いずれの場合も結果の差は \(I\) に入るため、剰余類として一致する。
1.3 基本性質（環構造が保たれる理由）
剰余環が環になるのは、イデアルの性質が演算の整合性を保証するからである。具体的には、\(a\equiv a'\pmod I\) と \(b\equiv b'\pmod I\) を仮定すると、差はそれぞれ \(I\) の要素に対応する。すると \[ (a+b)-(a'+b')=(a-a')+(b-b')\in I \] により加法は保たれ、また \[ ab-a'b' = (a-a')b + a'(b-b') \] のように差が \(I\) の中に落ちる（両側イデアル性を用いる）ことから乗法も整合する。これにより、\(R\) の環公理（結合律や分配律、零元の存在など）が剰余類の演算でも維持される。
2 構成要素と具体例
2.1 代表的な剰余環
剰余環は抽象的には同値類の集合だが、よく知られた計算対象として具体例が多い。特に、整数環や体、さらに多項式環に対する商は数学の複数分野で反復的に現れる。
2.1.1 整数の剰余環
整数環 \(\mathbb Z\) とイデアル \(n\mathbb Z\)（\(n\ge 1\)）に対し、商 \[ \mathbb Z/n\mathbb Z \] は一般に「整数を \(n\) で割った余り」として理解される。剰余類 \(a+n\mathbb Z\) は、代表元の取り換えで差が \(n\) の倍数だけ異なる集合であり、数論的には合同算術の基礎を形成する。
2.1.1.1 有限体に至る例（素数の場合の整合）
\(n=p\) が素数のとき、\(\mathbb Z/p\mathbb Z\) は体になる。言い換えると、この商環では零でない任意の元が乗法逆元を持つ。これは \(p\) が素数であるため、\(p\mathbb Z\) が極大イデアルになり、商が体に一致するという一般理論の具体化として説明できる。
2.2 多項式の剰余環
多項式環に対する剰余は、代数方程式の解の取り扱いと計算手続きに直結する。とくに \(\,k[x]\) を係数体 \(k\) 上の多項式環とし、ある多項式 \(f(x)\) による商 \[ k[x]/(f(x)) \] は、\(f(x)=0\) という関係を係数側に「組み込んだ」環として解釈できる。
2.2.1 商による多項式の簡約
剰余類 \(g(x)+(f(x))\) は、多項式 \(g(x)\) を \(f(x)\) で割ったときの余りに対応する。多項式除法定理により、\(g(x)=q(x)f(x)+r(x)\)（\(\deg r<\deg f\)）と一意に分解できるので、剰余類は余り \(r(x)\) のみで表現できる。
2.2.2 剰余類の計算手順
剰余環での加法・乗法は、代表多項式同士の計算を行った後に \(f(x)\) で簡約（剰余を取る）する流れになる。たとえば \[ (g+(f))+(h+(f))=(g+h)+(f) \] であり、その後 \(g+h\) を \(f\) で割って余りに置き換える。乗法も同様に、積を計算してから同じ簡約手順を適用する。これにより、方程式の根の値を「形式的に」扱う計算が可能になる。
2.3 行列環やその他の環に対する剰余
行列環 \(M_n(R)\) も環であるため、適切なイデアルに対して剰余環を作れる。代表例として、行列環に対する剰余は係数の剰余と対応する場合が多い。たとえば、可換環 \(R\) とイデアル \(I\) に対し、要素を成分ごとに合同視して得る \[ M_n(R)/M_n(I) \] は「各成分を \(I\) で潰した」構造として理解される（\(M_n(I)\) は成分が \(I\) に入る行列全体）。
より一般に、任意の環であっても商は抽象的には同値類として定義できるため、解析・幾何・作用素論などの文脈で現れる演算構造に対しても利用可能である。
3 剰余環と写像の関係
3.1 自然射影と核
剰余環は、写像の観点から最も自然に現れる。環準同型 \(\pi:R\to R/I\) を「元をその剰余類へ送る」写像として定めると、剰余環の要素はこの像として理解できる。
3.1.1 自然射影の性質
自然射影 \(\pi(a)=a+I\) は環準同型である。加法・乗法は剰余類の定義により保存されるため、\(\pi(a+b)=\pi(a)+\pi(b)\) かつ \(\pi(ab)=\pi(a)\pi(b)\) が成り立つ。さらに \(\pi\) は全射である。なぜなら任意の剰余類 \(a+I\) は \(\pi(a)\) そのものだからである。
3.1.2 核がイデアルと一致する条件
核 \(\ker(\pi)\) は、\(\pi(a)=0+I\) となる \(a\) の集合である。零元は \(0+I=I\) に対応するため、 \[ \pi(a)=0+I \quad\Longleftrightarrow\quad a\in I \] が成り立つ。したがって \(\ker(\pi)=I\) となる。つまり剰余環は、核が指定された全射準同型を普遍的に記述する対象とみなせる。
3.2 準同型定理（第1・第2の視点）
剰余環は準同型定理と密接に結びつく。ここでは、核や像、さらに部分イデアルを介した対応が剰余構造を決める点に焦点を当てる。
3.2.1 準同型定理と剰余環の同型
環準同型 \(\varphi:R\to S\) を考えると、\(\ker(\varphi)\) を用いて商 \(R/\ker(\varphi)\) を作れる。準同型定理は、この商が \(\varphi\) の像 \(\operatorname{Im}(\varphi)\) と同型になることを述べる。したがって「準同型によって潰れる部分（核）」が商の形を決め、「残る部分（像）」が得られる剰余構造の実体になる。
3.2.2 合成と商の対応
準同型の合成を考えると、核の関係が商環の取り方に影響する。たとえば \(\psi\circ\varphi\) の核は \(\varphi\) の核と \(\varphi\) の像における追加の潰れを通じて特徴づけられる。結果として、商の間に自然な対応（同型や準同型の誘導）が生じ、階層化された潰し込み（イデアルで段階的に縮める操作）が解析しやすくなる。
3.3 逆像とイデアルの挙動
準同型 \(\varphi:R\to S\) と、\(S\) のイデアル \(J\subseteq S\) を取ると、逆像 \[ \varphi^{-1}(J)=\{a\in R\mid \varphi(a)\in J\} \] は \(R\) のイデアルになる。これは準同型が加法と乗法を保つため、逆像が閉性を維持するからである。この性質は、商を作る前の段階でイデアルの形を引き戻す操作の正当性を与える。
さらに、像側のイデアルを適切に選べば、商環の構造と逆像の関係を通じて同型が導かれる。実際の計算では、逆像の具体的記述が鍵になることが多い。
4 剰余環の性質・分類
4.1 可換性と単位元
剰余環の基本的な性質は、元の環とイデアルに関する情報から比較的直接に決まる。
4.1.1 剰余環での可換性
\(R\) が可換環であれば、商 \(R/I\) も可換になる。可換性は乗法の順序交換に関する性質なので、剰余類同士の積が代表元の積で定義されている以上、元の可換性はそのまま剰余に継承される。逆に非可換の場合も、一般には剰余が可換になるとは限らない。
4.1.2 単位元の扱い
\(R\) が単位的環（乗法単位を持つ）であり、さらに \(I\) が適切に取り扱えるとき、商にも単位元が存在する。通常は \(1+I\) が商環の単位元になる。もっとも、\(I\) が全環に一致するような場合には零環が得られ単位元の概念が空虚になるため、標準的には \(I\neq R\) を仮定して議論する。
4.2 可逆元（単元）と割り算可能性
商環では、どの要素が乗法で逆元を持つかがイデアルの位置と深く関わる。これにより、剰余算術での割り算の可否が理論化される。
4.2.1 単元の判定
一般論として、\(R/I\) の元 \(a+I\) が単元であることと、ある同伴元 \(b\) が存在して \((a+I)(b+I)=1+I\) になることは同値である。これは \(ab-1\in I\) の形に言い換えられるため、「\(a\) が商環で逆元を持つ」ことは「\(a\) と整数 \(1\)（あるいは環の単位）をイデアルで隔てた関係」が成立することに対応する。
4.2.2 零因子との関係
単元が存在しないことは零因子の存在と結びつくことが多い。特に体や整域のような状況では、零因子のないことが強い制約になるが、一般の商環では単元でない元が零因子になり得る。これらの分類は、イデアルがどの程度「縮約」しているか、すなわちどれだけ多くの要素関係が潰れているかに依存する。
4.3 イデアル性質の移り方
剰余環の性格は、イデアルがどの種別に属するかで決まる。極大性や素性は商の代数的構造を強く制限する。
4.3.1 極大イデアルと体
\(I\) が極大イデアルであると、商 \(R/I\) は体になる。直観的には、これ以上大きいイデアルが存在しないため、商環において単元でない元が増殖する余地がない。その結果、零でない要素はすべて割り算可能になる。
4.3.2 素イデアルと整域
\(I\) が素イデアルであると、商 \(R/I\) は整域（零因子を持たない可除環）になる。素性は「積がイデアルに入るなら因子の少なくとも一つが入る」という条件で特徴づけられ、これが商において零因子を排除する働きをする。こうして、イデアルの性質が商環の可除性と密接に対応づけられる。
4.4 具体的な同型判定の考え方
商環の同型は、しばしば「どの関係を潰したかが同じか」という観点に還元される。計算可能な形に落とすには、イデアルの生成や包含関係、特定の条件のもとでの対応を使う。
4.4.1 等長の方針（同型条件の見取り）
一般的な方針として、同型を示すには次のような手順が用いられる。第一に、自然射影や構成された準同型を通じて、商が同じ像を持つことを確かめる。第二に、核が一致するか、あるいは一致に至るように準同型を調整する。第三に、元の構造が有限次元などの条件を満たす場合は、同型の必要条件と十分条件が数え上げや次元比較で補強される。これにより、形式的な同型主張を、具体的な計算に接続できる。