关于有限生成的profinite群，Ⅱ：拟单群中的乘积

摘要

我们证明了两个结果。（1） 存在一个绝对常数$D$，对于任何有限拟单群$S$，给定$S$的$2D$任意自同构，$S$中的每个元素都等于给定自同构定义的$D$“扭交换子”的乘积。

（2） 给定一个自然数$q$，存在$C=C（q）$和$M=M S$使$S=\prod_{1}^{M} [S，（\alpha{j}\beta{j}）^{q{j}]$。

这些结果依赖于有限单群的分类，是完成第一部分主要定理的证明所必需的。