幂零群

贡献者： JierPeter; addis

　　 定理 1 说明，给定群 $G$，则求换位子群的运算在 $G$ 的正规子群集合上封闭，因此我们可以认为 “求换位子群” 运算是定义在全体正规子群集合上的。

　　 从运算的角度，我们可以定义 $G^1=G$，而对任意正整数 $k$，$G^{k+1}=[G,G^k]$，像是用求换位子群运算对 $G$ 反复乘方，求其幂次。当然，这只是一个类比，求换位子群运算和乘法差别很大。

　　 一个显而易见的性质是：

　　 证明：

　　 设 $G$ 是幂零群，$H$ 是其任意子群，$N$ 是其任意正规子群。

　　 由于 $H\subseteq G$，故 $[H,H^k]\subseteq [G,H^k]$；又因为 $H^1\subseteq G^1$，故可归纳得 $H^k\subseteq G^k$ 对任意正整数 $k$ 成立。由此易证 $H$ 幂零。

　　 由于 $G$ 幂零，故存在正整数 $n$ 使得 $G^n\subseteq N$。这意味着，任取 $g_1,g_2,\cdots ,g_n\in G$，则

　　 因此

　　 证毕。

　　 证明：

　　 设 ${\left(G/N\right)}^n=N$。

　　 则任取 $g_1,g_2,\cdots ,g_n\in G$，有

　　 由于 $N\subseteq \mathrm{C}(G)$，故对任意 $g_0\in G$ 和 $c\in \mathrm{C}(G)$ 有 $[g_0,c]=e$。因此

　　 证毕。

　　 幂零群的性质引理 2 和可解群的性质引理 2 非常相似，不同的是可解群的此性质只要求 $N⊲G$，幂零群则进一步要求 $N\subseteq \mathrm{C}(G)$。注意，$N\subseteq \mathrm{C}(G)$ 可推出 $N⊲G$。

　　 这意味着幂零群的结构与其中心有密不可分的关系。

　　 由引理 1 ，$G/\mathrm{C}(G)$ 也是幂零群，我们可以再计算这个商群的中心 $\mathrm{C}(G/\mathrm{C}(G))$，然后和 $\mathrm{C}(G)$ 比较。不过，商群 $G/\mathrm{C}(G)$ 和原群 $G$ 的元素不一样，无法直接比较，所以我们需要再把商群的元素用自然同态的逆映射对应回原群来讨论，即我们实际上想要比较的是 ${\pi }^{-1}\left(\mathrm{C}(G/\mathrm{C}(G))\right)$ 和 $\mathrm{C}(G)$，这两个群可不一定一样大。