证明小于60阶的无非阿贝尔单群用到的定理

证明小于60阶的无非阿贝尔单群用到的定理
1.素数阶群
2.|G|=2k(k为奇数)，则G不是非Abel单群，（G有一个指数为2的子群，并且指数为2的群一定是正规子群，An是Sn中指数为2的子群）
注：实际上任何奇数阶群都不是非Abel单群
3.G为p群，P^1,P2,P^1,P3,……
则G一定有中心，中心就是正规子群，则G不是非Abel单群
4.设q为G的因子中最小的素因子，若H<G,[G:H]=q,指数为q,则H是G的正规子群
考虑G在G/H上的左平移作用
$$\sigma :G->S_{G/H}\simeq S_q$$
推论$$|G|=p^l\ast q,p,q为素数，p>q,则G的sylow-p-子群的指数为q,为正规子群$$
$$当然，也可用sylow相关的定理计算sylow-p-子群的个数$$
$$n_p|q,则n_p=1orq$$
$$n_p=1modp$$
$$\begin{gathered} |G|=p^l\ast m, \\ m<p,G的sylow-p-子群 \\ p<m<2p,则看G的阶数 \\ 2p<m<3p,则\dots \dots \end{gathered}$$