定义:设群$G$的阶数$|G|=p^rm$,其中$p$为素数且$(p,m)=1$,那么$G$的$p^k(k\leq r)$阶子群均叫做$G$的$p$子群,特别的$p^r$阶子群称为Sylow $p-$子群.
Lagrange定理告诉我们子群的阶数一定是群阶数的因子,但是反过来未必成立,也就是说对于群$G$阶数的任意因子$d$,$G$未必有$d$阶子群.例如$60$阶群$A_5$没有$30$阶子群,因为如果有这一定是正规的,与$A_5$的单性相矛盾.但是对于$p$子群的问题,我们有:
Sylow第一定理 设群$G$的阶数$|G|=n=p^lm$,其中$p$为素数且$(p,m)=1$.那么对任意的$p^k\big||G|$,$G$存在$p^k$阶子群,特别的Sylow$p-$子群存在.
证明 命集合$\Omega:=\left\{A\subset G:|A|=p^k\right\}$即为$G$的$p^k$阶子集的全体,显然$|\Omega|=\binom{n}{p^k}$.考虑置换表示$\phi:G\to S(\Omega)$,$\phi(g)A=gA$,从而$\Omega$可被分解成一些轨道的无交并,从而$$\binom{n}{p^k}=|\Omega|=\sum_{i=1}^{t}\left|\mathrm{Orb}(A_i)\right|=\sum_{i=1}^{t}\frac{p^lm}{\left|\mathrm{Stab}(A_i)\right|}$$接下来需要一个引理:$p^{l-k}\big\|\binom{n}{p^lm}$<