K_4单群的分类定理

称群阶的相异素因子恰为n的有限单群为K_n单群。利用单群的分类定理本文证明了定理1设G为K_4单群,则G同构于下述群之一(Ⅰ)L_2(2~4),L_2(2~r),r≥5,2~r-1是Mersenne素数,是一素数的方幂。