有限单群的特征覆盖数

我们证明，如果$w_1, \ldots , w_6$是不是任何（非交换）有限单群恒等式的词汇，则对所有（非交换）有限单群$G$有$w_1(G)w_2(G) \cdots w_6(G) = G$。特别地，对每个词汇$w$，要么对所有有限单群有$w(G)^6 = G$，要么对某些有限单群有$w(G)=1$。这些定理源于我们关于有限群的特征集合及其覆盖数所获得的更一般结果，这些结果本身具有独立意义并有其他应用。