群$G$与$(G/N) \times N$同构的条件是什么？

咱们先明确一个基本事实：假设$G$是一个群，$N$是它的正规子群。因为$G$和$(G/N) \times N$的基数（元素个数）完全相同，所以这两个集合之间必然存在双射。但要注意，集合层面的双射可不等于群结构上的同构——绝大多数情况下，这两个群根本不同构。

举个经典的反例：

• 取$G = \mathbb{Z}/4\mathbb{Z}$（模4的整数加法群），$N = \mathbb{Z}/2\mathbb{Z}$（阿贝尔群的所有子群都是正规的，所以它是$G$的正规子群）。
• 计算商群$G/N$，它同构于$\mathbb{Z}/2\mathbb{Z}$，因此$(G/N) \times N$就是$\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$，也就是克莱因四元群。
• 对比两者的群结构：$\mathbb{Z}/4\mathbb{Z}$中存在4阶元素（比如$\overline{1}$），但克莱因四元群里所有元素的阶都是2，显然它们的结构完全不同，因此不同构。

当然也有例外场景，也就是两者确实同构的情况：

• 比如当$G$本身就是两个子群的直积，其中一个子群就是$N$，另一个子群又和$G/N$同构时。举个简单例子：$G = \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$，取$N$为其中一个直和因子（比如${(0,0),(1,0)}$），此时$G/N$同构于$\mathbb{Z}/2\mathbb{Z}$，那么$(G/N) \times N$就和$G$完全一致，自然同构。
• 再比如有限生成的阿贝尔群，根据阿贝尔群结构定理，这类群可分解为循环群的直积，如果$N$是其中一个直积因子，那么$G$就会与$(G/N) \times N$同构。

内容的提问来源于stack exchange，提问作者goblin GONE