拟合子群

拟合子群是由群 的所有 正规 幂零 子群 生成的子群，记为 。

在有限群的情况下，生成的子群本身将是一个正规幂零子群，因此是唯一的最大正规幂零子群。

广义拟合子群定义为 ，其中 是 的所有分量的交换积， 是 的拟合子群。