群的对应定理

商掉 $N$ 后，同一个 $N$-陪集里的元素再也无法区分。一个原群子群若要在商群中保持完整，就必须连同每个元素的整个 $N$-陪集一起出现；这等价于它已经包含 $N$。这样的子群有时称为关于投影“饱和”的子群。

从商群往回拉更容易看清定理。给定 $\overline{H}\le G/N$，原像 ${\pi }^{-1}(\overline{H})$ 自动含有核 $N$，并且因同态原像保持乘法与逆元而成为子群。再投影回去不会丢失元素，因为 $\pi$ 满射。像与原像的严格互逆建立了这组对应；基数巧合无法给出同样的结构结论。

对应定理保留整个子群格，其中包含的信息远多于子群数量。包含链、交、由若干子群生成的最小上界，以及相对正规性都穿过投影；因此研究 $G/N$ 的内部结构，可以等价地研究 $G$ 中位于区间 $[N,G]$ 的那一段子群格。

对加法群 $G=\mathbb{Z}$、$N=n\mathbb{Z}$，包含 $n\mathbb{Z}$ 的子群恰为 $d\mathbb{Z}$，其中 $d\mid n$。它对应于

该子群的阶为 $n/d$。所以有限循环群的子群格正是 $n$ 的因数格，只是包含方向与整数整除的直观方向需要仔细核对：$d_1\mathbb{Z}\subseteq d_2\mathbb{Z}$ 当且仅当 $d_2\mid d_1$。

对 $S_3$ 与 $N=A_3$，商群 $S_3/A_3\cong C_2$ 只有平凡子群和自身。对应回原群，包含 $A_3$ 的子群也只有 $A_3$ 与 $S_3$。这比重新枚举所有置换更直接，并说明 $A_3$ 是 $S_3$ 的极大正规子群。

不包含 $N$ 的子群不能直接写成 $H/N$。它的投影实际为

不同子群可能有同一个像。例如在 $\mathbb{Z}\to \mathbb{Z}/12\mathbb{Z}$ 中，$5\mathbb{Z}$ 不包含 $12\mathbb{Z}$，但因 $5\mathbb{Z}+12\mathbb{Z}=\mathbb{Z}$，它的像是整个商群。遗漏“包含核”条件，会把双射错误地扩张到所有子群。

正规性也必须写清相对对象。$H/N⊴K/N$ 对应 $H⊴K$，并不自动推出 $H⊴G$。只有取 $K=G$ 时，才得到 $H⊴G⟺H/N⊴G/N$。

当 $N\ne G$ 时，商群 $G/N$ 是简单群，当且仅当每个满足 $N\le K⊴G$ 的子群 $K$ 都等于 $N$ 或 $G$：商群中的正规子群通过对应定理恰好拉回这些中间正规子群。类似地，$H/N$ 是 $G/N$ 的极大子群，当且仅当 $H$ 是包含 $N$ 的极大真子群。

第三同构定理公理库群的第三同构定理Third isomorphism theorem for groups沿嵌套正规子群分两次取商，与直接商掉较大的正规子群自然同构。是正规项上的直接计算：与 $K⊴G$ 对应的 $K/N⊴G/N$ 再被商掉后，得到 $(G/N)/(K/N)\cong G/K$。对应定理告诉我们“有哪些子群”，第三同构定理告诉我们“再商以后是什么”。

第二同构定理公理库群的第二同构定理Second isomorphism theorem for groups · Diamond isomorphism theorem子群投影到商群时，交集是核，子群与正规子群的乘积描述其像。处理没有包含 $N$ 的任意子群 $H$：先把它扩大到饱和子群 $HN$，再得到 $H/(H\cap N)\cong HN/N$。两条定理合起来完整描述子群穿过自然投影时的原像、像与核。

更一般地，任何满同态 $\phi :G\to Q$ 都可先由第一同构定理识别为 $G/\ker \phi \cong Q$，再把这里的对应定理转移到 $\phi$ 上。因此满同态的目标子群与包含核的源子群一一对应；自然投影只是这一事实的标准模型。