数学后花园

摘要： 定义：设群$G$的阶数$|G|=p^rm$,其中$p$为素数且$(p,m)=1$,那么$G$的$p^k(k\leq r)$阶子群均叫做$G$的$p$子群,特别的$p^r$阶子群称为Sylow $p-$子群. Lagrange定理告诉我们子群的阶数一定是群阶数的因子,但是反过来未必成立,也就是说对于群 阅读全文