如何使用图表直观地理解正规子群？

正规子群（也称为不变子群）是群 G 的子群 H，使得 H 中每个元素的所有共轭元素仍属于 H。在代数上，这个条件表示为对于 G 中的任意元素 g，都有 $gHg^{-1} = H$。

适用条件：H 是 G 的子群；该条件必须对 H 中的所有元素成立；该条件必须对 G 中的所有元素 g 成立

在群论的背景下，$gH$ 表示关于元素 g 的子群 H 的左陪集，而 $Hg$ 表示关于 g 的 H 的右陪集。对于正规子群，这两个集合是相同的。

适用条件：H 是 G 的子群；g 是群 G 的元素

正规子群满足 $gH = Hg$，因为它的定义属性是在共轭下不变，这意味着 $gHg^{-1} = H$。通过将等式两边同时右乘元素 g，$g^{-1}$ 和 g 相互抵消，从而得出左陪集 $gH$ 和右陪集 $Hg$ 相等。

适用条件：H 是 G 的正规子群；g 是群 G 的元素

不会，将代表元素 g 替换为来自同一陪集的另一个元素 g' 不会产生不同的陪集。如果 g' 属于与 g 相同的陪集（即 $g' \in gH$），那么由 g' 生成的陪集与由 g 生成的陪集相同（$g'H = gH$）。

适用条件：g 和 g' 都是群 G 的元素；g' 和 g 属于同一个陪集

我们可以通过使用子群 H 构造陪集来遍历群 G 的所有元素。通过将 G 中的每个元素 g 与子群 H 相乘（形成左陪集 gH 或右陪集 Hg），所有不同陪集的并集恰好覆盖 G 的每个元素一次。

适用条件：G 是一个群；H 是 G 的子群