1 商群の基本概念
1.1 剰余類と同一視の考え方
商群は、群 \(G\) の要素を「ある条件のもとで同じものとして扱う」ことで、より粗い情報だけを保存した新しい群を作る方法である。基礎となるのは、部分群 \(N\) によって誘導される同値関係である。同値類は剰余類として現れ、各同値類を1つの元として集めることで集合 \(G/N\) が得られる。 ただし、群構造を載せるには、剰余類同士の積が代表元の取り方に依存しないことが要請される。この点を満たす設定が「正規部分群」である。
1.2 正規部分群の必要性
1.2.1 剰余類の積が定義できる条件
剰余類の積は、代表元で表す形で定義を試みるのが自然である。たとえば \(gN\) と \(hN\) の積を \((gh)N\) と書くことを考えると、代表元 \(g\) や \(h\) を別のものに取り替えたときにも同じ剰余類が得られる必要がある。 具体的には、\(g' \in gN\) と \(h' \in hN\) に対して、\((g'h')N\) が \((gh)N\) と一致しなければならない。この一貫性は、部分群 \(N\) が「左右のずれ」を同じ状況として扱えるときに成立する。
1.2.2 well-defined性の意味
この条件を、数学的には well-defined（定義の選び方によらない）として表現する。つまり、剰余類の演算を「代表元をどれに選んでも同じ結果になる」ように定められるかが核心である。 正規性はそのための十分条件であり、\(N\triangleleft G\) のとき、左右からの共役の作用によって \(N\) が保たれるため、剰余類の積の整合性が保証される。結果として、剰余類全体に対して演算を一貫して定義でき、群公理も満たす。
1.3 商群 \(G/N\) の群構造
\(N\) が正規部分群であるとき、商集合 \(G/N=\{gN\mid g\in G\}\) に次の演算を定められる： \[ (gN)(hN)=(gh)N. \] この演算は well-defined であり、結合律は元の群 \(G\) の結合律から継承される。単位元は \(N= eN\) に対応し、逆元は \((gN)^{-1}=g^{-1}N\) として与えられる。 従って \(G/N\) は群となり、商群は「部分群 \(N\) によって見えなくなる部分」を圧縮して得られる新しい構造として理解できる。
2 商群の代表的な性質
2.1 自然な射影準同型
2.1.1 係数写像としての射影
商群に自然に結び付く写像が射影準同型である。写像 \[ \pi: G\to G/N,\quad \pi(g)=gN \] は、各元をそれが属する剰余類に送る。準同型であることは、積の定義と一致して \[ \pi(gh)=(gh)N=(gN)(hN)=\pi(g)\pi(h) \] が成り立つことで確かめられる。 この写像は「\(N\) 方向の情報を落として、剰余類の情報だけを見る」役割を担う。
2.1.1.1 核と像の対応
準同型 \(\pi\) について核と像は標準的に記述できる。核は \[ \ker(\pi)=\{g\in G\mid \pi(g)=N\} \] であり、これは \(gN=N\) と同値であるから \(g\in N\) に一致する。従って \[ \ker(\pi)=N. \] 像は射影の定義から全体 \(G/N\) になり、\(\pi\) は全射である。 この核と像の整理は、以後の準同型定理との接続を準備する。
2.2 正規部分群と商群の対応
2.2.1 正規部分群のラティス
正規部分群全体は、部分集合としての包含関係によりラティス（順序集合の枠組み）を成す。商群は、そのラティス上の位置によって性質が変化する。たとえば \(N_1\subseteq N_2\) なら、より小さい情報を潰しているのか、より多くを潰しているのかが射影の段階として現れる。 この見方により、正規部分群の間の関係が商群の間の関係（対応や同型）として翻訳される。
2.2.2 商群で失われる情報
商群は「\(N\) によって同一視される差」を失う。具体的には、\(G\) の元 \(g\) と \(g n\)（\(n\in N\)）は同じ剰余類に属するため、\(\pi(g)\) では区別されない。 その結果、商群は \(N\) の内部構造に関わる細部を保持しない一方で、\(N\) を法として見たときの外側の構造を抽出する。失われ方が体系的であるため、商群は分類や構成の道具として機能する。
2.3 商群の例
2.3.1 具体例：整数の商（合同）
整数の加法群 \((\mathbb{Z},+)\) を考え、\(m\mathbb{Z}\) を部分群とする。これは \(G\) の中で正規であり、商集合は剰余類 \[ \mathbb{Z}/m\mathbb{Z}=\{a+m\mathbb{Z}\mid a\in\mathbb{Z}\} \] である。演算は加法として \[ (a+m\mathbb{Z})+(b+m\mathbb{Z})=(a+b)+m\mathbb{Z} \] となる。 この商群は合同算術の枠組みに一致し、整数の「差が \(m\) の倍数かどうか」という情報のみを保持する群として働く。
2.3.2 具体例：対称群とその商
集合 \(X=\{1,2,\dots,n\}\) の全単射全体が対称群 \(S_n\) である。これは符号付き置換として整理でき、偶置換全体 \(A_n\) が判別可能な正規部分群になる。実際、\(A_n\triangleleft S_n\) が成り立ち、商群 \(S_n/A_n\) は偶奇の情報だけを取り出す。 このとき、剰余類は偶置換の集合とその「奇置換の側」を反映する2つに分かれ、商群は位数2の群に同型になる（典型的には \(\mathbb{Z}/2\mathbb{Z}\) に相当）。したがって商群は置換の細かな構造ではなく、偶奇の判定だけを抽象化したものとして理解できる。
3 準同型定理と商群
3.1 第一準同型定理（核と商）
3.1.1 核の定義と商群への関係
第一準同型定理は、準同型 \(\varphi:G\to H\) に対して、核 \(\ker(\varphi)\) と像 \(\operatorname{Im}(\varphi)\) の関係を商群で表す。核は \[ \ker(\varphi)=\{g\in G\mid \varphi(g)=e_H\} \] であり、これは自然に正規部分群になる。 定理は、商群 \(G/\ker(\varphi)\) が像 \(\operatorname{Im}(\varphi)\) に同型であることを主張する。直感的には、写像 \(\varphi\) が区別しない元の違いは核に含まれ、その違いを潰した結果が像として現れる、という対応である。
3.2 第二・第三準同型定理
3.2.1 正規性の入り方の整理
第二・第三準同型定理は、正規部分群の間の包含関係や合成の仕方が、商群の同型や対応として現れることを扱う。いずれも「剰余類の積がwell-definedになる」という論理の連鎖を背景としており、適切な仮定（たとえばある部分群が正規であること、ある組が整合的にふるまうこと）が必要になる。 これらの定理により、複数段階で商を取る操作が、単一段階の商に整理できる場合が明確になる。結果として、商群の構成が整理され、見通しが良くなる。
3.3 商群の役割：分類と解法
商群は「準同型の芯」を扱うために最も頻繁に登場する。未知の群構造に対し、ある正規部分群を潰すことで得られる商が計算しやすい場合、その商が全体像の手掛かりになる。 また、群の同型判定や構造分類では、核と商を調べることで候補を絞り込める。これは「元の複雑さを、扱いやすい段階へ分解する」方針に対応するため、多数の群論の議論において基本線として利用される。
4 商群の応用と計算
4.1 商群での元の見方（剰余類として）
商群の元は、元そのものではなく剰余類として扱う。したがって、元の具体的な形を問うのではなく、どの同値類に属するかを問題にする姿勢が基本になる。 この見方は、商の定義に基づく区別の仕方に一致する。たとえば演算結果の同一性は、「剰余類が同じかどうか」として表現され、細部の選択は意味を持たなくなる。
4.2 元の計算：演算の実行手順
4.2.1 剰余類の代表元の選び方
計算では代表元を選んで計算し、最後に剰余類として整理するのが実用的である。典型的な手順は次の通りである。 第一に、対象の剰余類を \(gN\) の形で書き、必要に応じて代表元を簡略なものに置き換える。第二に、商群の演算規則に従い、代表元の積（あるいは加法なら和）を作る。第三に、その結果を再び剰余類の形に戻して同値関係を反映させる。 正規性により代表元の変更が結果の剰余類を変えないことが保証されるため、計算上の自由度が確保される。
4.3 商群に関する同型判定の考え方
4.3.1 既約性・簡約の発想（概念整理）
同型判定では、しばしば「潰すべき部分」をどこまで取るかが鍵になる。考え方としては、ある正規部分群で商を取ったとき、その商がさらに単純化されない状態（ある種の最小性を持つ状況）なら、構造がよく現れる。 この方向性は既約・簡約といった概念の直観と結び付く。商群がより小さな部品へ分解できない（あるいは分解が制限される）場合、元の群もまた特定の形に制約されるため、同型判定の候補を体系的に狭められる。具体的には、核や正規部分群の位置関係を通じて「同じ潰れ方をするか」を比較し、その一致が同型へ結び付くかを検討する。