1 商群的定义与直观图像
商群（quotient group）在给定群 \(G\) 与其正规子群 \(N\trianglelefteq G\) 的情形下，通过把“相差一个 \(N\) 内元素”的元素视为等价，进而构造出一个更简化的群对象。直观上，它把 \(N\) 的信息“压缩”为同一层面，从而研究 \(G\) 的结构在正规子群意义下的延续方式。
在记号上，商群通常写作 \(G/N\)。其元素由陪集组成，运算则对应于在 \(G\) 中按代表元相乘后再落回陪集层次。由于 \(N\) 正规性保证了陪集的选取不会影响结果，因此商群的结构是良定且可操作的。
1.1 等价关系与陪集划分
定义 \(G\) 上的等价关系：对 \(g,h\in G\)，令 \[ g\sim h \quad\Longleftrightarrow\quad g^{-1}h\in N. \] 该关系刻画了“\(g\) 与 \(h\) 在 \(N\) 的作用下可互相到达”的概念。等价类恰为陪集：对任意 \(g\in G\)，等价类为 \(gN\)（也可写作 \(Ng\)，当 \(N\) 正规时二者一致为同一集合）。
于是，陪集划分把群 \(G\) 分解为若干不交集合，每个集合对应商群中的一个元素。把“等价类当作元素”就是商群构造的基本思想。
1.2 正规子群在商群中的作用
正规性 \(N\trianglelefteq G\) 的意义在于保证左右陪集一致性，以及保证商群乘法不会因代表元不同而产生歧义。若 \(N\) 仅为子群但不正规，则一般难以定义“陪集的乘积”而不引入选择依赖问题；而在正规情况下，\(gN\) 与 \(Ng\) 可视为同一类对象，乘法在陪集层面自然闭合。
因此，正规子群是商群可形成且具有群结构的关键条件。
1.3 商群元素表示与写法约定
常见写法包括：
- 商群元素用陪集记作 \(gN\) 或 \(Ng\)。当 \(N\) 正规时两种记法表示同一陪集。
- 若商群讨论中特别强调右陪集，可统一使用 \(gN\)；若强调左陪集可用 \(Ng\)。
- 在抽象推导中，往往把陪集当作“代表元被 \(N\) 忽略后的等价类”，因此运算通过代表元相乘给出。
此外，若正规子群为 \(\{e\}\)，则商群与原群同构；若正规子群为 \(G\)，则商群为平凡群，这些边界情形有助于理解记号的含义。
2 商群的群运算与良定性
商群的运算来自于在 \(G\) 中的乘法，并在最后落回陪集层面。由于商群元素由等价类构成，关键问题是：陪集的乘法是否与代表元选择无关，即所谓良定性。
2.1 陪集乘法的定义
对陪集 \(gN,hN\in G/N\)，定义乘法为 \[ (gN)(hN)=(gh)N. \] 这一定义看起来直接，但需要检验：若 \(gN=g'N\) 且 \(hN=h'N\)，则是否必有 \((gh)N=(g'h')N\)。只有当该性质成立，运算才在商群中得到可靠的定义。
2.2 运算良定性证明思路
假设 \(gN=g'N\)，则存在 \(n_1\in N\) 使得 \(g'=gn_1\)。同理，由 \(hN=h'N\) 可得 \(h'=hn_2\)，其中 \(n_2\in N\)。
则 \[ g'h'=(gn_1)(hn_2)=g(n_1h)n_2. \] 若 \(N\) 正规，则 \(n_1h\) 可以通过共轭作用“挪回”到陪集中等效于 \(hn_1'\) 的形式，使得整体仍落入同一陪集： \[ (g'h')N=(gh)N. \] 因此，乘积不依赖于具体代表元，从而陪集乘法是良定的。归根结底，这一步依赖于 \(N\) 的正规性，使得共轭下的元素仍在 \(N\) 中。
2.3 单位元与逆元在商群中的刻画
商群的单位元来自于 \(G\) 的单位元 \(e\)：因为 \[ (eN)(gN)=(eg)N=gN,\quad (gN)(eN)=(ge)N=gN, \] 所以单位元为 \(N\)（即 \(eN\)）。
逆元同样由代表元决定。对 \(gN\)，若取逆元为 \(g^{-1}N\)，则 \[ (gN)(g^{-1}N)=(gg^{-1})N=eN=N, \] 同理也有反向乘积成立。因此 \(g^{-1}N\) 就是 \(gN\) 在商群中的逆元。
3 同态、核与商群的联系
商群与群同态的联系是理解其动机的核心来源。通过同态的核可以构造出商群，并获得第一同构定理等重要结论。
3.1 群同态的核（ker）
设 \(\varphi:G\to H\) 为群同态，则核定义为 \[ \ker\varphi=\{g\in G:\varphi(g)=e_H\}. \] 核是 \(G\) 的正规子群，这是因为对任意 \(g\in \ker\varphi\) 和任意 \(x\in G\)，有 \[ \varphi(xgx^{-1})=\varphi(x)\varphi(g)\varphi(x)^{-1}=\varphi(x)e_H\varphi(x)^{-1}=e_H, \] 故 \(xgx^{-1}\in \ker\varphi\)。因此 \(\ker\varphi\trianglelefteq G\)，可以用于构造商群 \(G/\ker\varphi\)。
3.2 第一同构定理的基本表述
第一同构定理（基本表述）指出：对同态 \(\varphi:G\to H\)，商群 \(G/\ker\varphi\) 与 \(\operatorname{im}\varphi\)（像）同构。其意义在于：核把“被同态识别为同一点的元素”压缩掉；被压缩后的结构恰好等价于像中的结构。
通常可以通过映射 \[ g\ker\varphi \mapsto \varphi(g) \] 来建立同构，并检验其良定性与双射性。核在这里恰是“等价关系”的来源：当 \(\varphi(g)=\varphi(h)\) 时，必有 \(g^{-1}h\in \ker\varphi\)。
3.3 从同态构造商群的常见流程
一个常见的构造流程是：
- 先给定或指定同态 \(\varphi:G\to H\)。
- 计算核 \(N=\ker\varphi\)，确认其正规性。
- 构造商群 \(G/N\)。
- 通过陪集到像元素的对应，得到与 \(\operatorname{im}\varphi\) 的同构关系。
在实际问题中，经常不需要显式写出同态的全部结构；通过已知的核或给定的识别规则直接构造商，也属于常见路径。
4 商群的基本性质
商群作为“压缩结构”的工具，具有一系列与正规子群和群运算紧密相关的性质。理解这些性质有助于在计算与分类中快速处理商层面的信息。
4.1 商群的基本结构对称性
商群的构造保持群运算的兼容性，使得在 \(N\) 被视为“等价忽略因素”后，结构仍满足群公理。更具体地说：
- 乘法定义良定；
- 单位元与逆元在陪集层面存在；
- 结合律从原群的结合律继承而来，因为陪集乘法本质是代表元相乘。
这保证了商群可以像普通群一样使用同态与子群理论。
4.2 交换性与正规子群性质的影响
若 \(G\) 是交换群，则任意子群都是正规子群，因此任何商群 \(G/N\) 都是交换群。反过来，当 \(N\) 合适且 \(G\) 不交换时，商群可能“变得更接近交换”；直观上，某些非交换性可能在把元素按 \(N\) 压缩之后被削弱。
更一般地，交换性、可解性等性质在商结构中的传递规律常通过“性质在同态像中保留”的原则来分析。即便不深入证明细节，这一方向也常被用于简化分类任务。
4.3 商群阶与拉格朗日类关系
| 若 \(G\) 为有限群，则陪集划分给出一个直接的计数关系：\(G\) 被 \(N\) 的陪集分成 \([G:N]\) 个部分，而每个陪集大小为 \( | N | \)。因此 |
|---|
\[
| G | = | N | \cdot | G/N | , |
|---|
\] 等价地， \[
| G/N | =[G:N]. |
|---|
\] 这对应于拉格朗日定理所提供的“子群与陪集个数之间”的普遍思想：商群的阶就是正规子群在指数意义下留下的“规模”。
5 正规子群格与商群对应
正规子群格的理论把“压缩操作”与“结构包含关系”联系起来。通过对正规子群的选择和比较，可以反映到商群与其子结构之间的对应。
5.1 商对应于格的“压缩”概念
将正规子群按包含关系组织成格（通常称正规子群格），每个正规子群决定一种压缩程度：子群越大，压缩越强，商群越“粗”。这一对应关系并不是纯计数，而是结构层面上可追踪的映射。
换句话说，正规子群格的元素可以视作“从 \(G\) 到商结构的选择”，而格运算（如交、并在适当条件下）也对应于商构造中的组合方式。
5.2 对正规子群的像与原像关系
在同态 \(\varphi:G\to H\) 下，正规子群会通过像与原像形成新的正规结构：
- 若 \(K\trianglelefteq G\)，则在适当条件下 \(\varphi(K)\) 与 \(\varphi^{-1}(L)\) 也具有正规性（例如利用核来控制“良定”的对应）。
- 在商群层面，这些操作与“先压缩再映射”或“先映射再压缩”的一致性相联系。
这种“像—原像”关系使得商群不只是一个孤立构造，而是嵌入更大范围的结构对应中。
5.3 标准等价与规范化处理
当需要在多重压缩之间建立比较时，常用的做法是将等价关系标准化到核或到某个固定的正规子群上，避免在不同表达间来回转换。
例如，通过确定某个同态的核作为识别规则，就可以把问题转化为商群同构或商之间的自然映射。此类规范化处理的核心目的，是让不同表述下的等价类具有统一的代表性。
6 例子与常见计算
例子是掌握商群直观的重要途径。下面通过若干典型情形展示陪集如何参与计算，以及商群如何呈现为更熟悉的代数对象。
6.1 通过陪集理解 \( \mathbb Z/n\mathbb Z \)
令 \(G=\mathbb Z\)，取正规子群 \(N=n\mathbb Z=\{nk:k\in\mathbb Z\}\)。由于 \(\mathbb Z\) 是交换群，任意子群正规成立，因此可以形成商群 \(\mathbb Z/n\mathbb Z\)。
陪集 \(a+n\mathbb Z\) 表示所有与 \(a\) 在整数意义下同余模 \(n\) 的整数集合。商群运算满足 \[ (a+n\mathbb Z)+(b+n\mathbb Z)=(a+b)+n\mathbb Z, \] 这正是同余运算的加法规则。于是，\(\mathbb Z/n\mathbb Z\) 的结构就自然对应“模 \(n\) 的剩余类群”。
6.2 非平凡例：对称群的商
设 \(G=S_n\) 为对称群。讨论商群时常需选择正规子群。以 \(n\ge 3\) 为例，交错群 \(A_n\) 是 \(S_n\) 的正规子群（其指数为 2）。因此可以构造商群 \(S_n/A_n\)。
由于 \(A_n\) 的指数为 2，陪集只有两个：\(A_n\) 本身，以及任意不在 \(A_n\) 中的置换所生成的陪集。商群因此同构于二阶循环群，常写作 \[ S_n/A_n \cong C_2. \] 直观上，这表示“置换的奇偶性”在压缩后成为唯一决定因素。
6.3 小群示例中的手算陪集法
在手算中，常用策略是：
- 先选取正规子群 \(N\) 并确认其包含单位元。
- 从一个不在 \(N\) 中的元素开始，计算其陪集 \(gN\)。
- 再选取尚未覆盖到的元素继续求陪集，直到所有元素被包含。
例如在有限群中，如果可以快速列出所有陪集，就能直接读出商群的元素集合，从而对乘法或加法进行验证。手算的重点不在记忆公式，而在于反复检查陪集划分是否完整、不交，并在必要时借助正规性保证结果一致。
7 商群的应用与扩展方向
商群的价值体现在它把复杂结构“分层压缩”，从而把群的研究转化为更易处理的对象。它既是理论工具，也是连接其他代数分支的方法。
7.1 结构分解：用商群理解群的“商层”
商群常用于描述从 \(G\) 到更简结构的“层次关系”。当把 \(N\) 视为“被忽略的细节”时，商群提供的是剩余的骨架信息。许多结构分解都可以看作在不同正规子群下重复进行压缩，形成由细到粗的分析链条。
这类思想在理解可解性、构造分解序列以及分类证明中非常常见。
7.2 与模的类比（简要）
在更一般的代数语言里，群商与模商在形式上有相似结构：都通过“把子对象当作零”来定义等价类与运算。模的商 \(M/N\)（其中 \(N\) 是子模）与群商 \(G/N\) 在思想上同构：用子结构消去冗余信息，并得到新的代数对象。
这种类比使得在不同代数体系之间迁移直觉成为可能，尤其在同态、像与核的语言统一时更明显。
7.3 由商群到更一般的代数构造（概览）
商的思想并不局限于群。类似的“同余关系→商对象”的构造可推广到环、模、格、范畴中的许多结构。它们共同体现了一个原则：当某种等价关系由子对象或同态核自然给出时，可以通过商把原结构转化为更简洁的“等价版本”。
因此，商群不仅是群论中的基本构造，也是一种贯穿现代代数的通用方法论。