p-群，p-子群，Sylow p-子群，共轭类

单群(Simple Group)

单群定义：
  $G$是一个群，若$G$没有非平凡正规真子群，即$G$的正规子群只有 { 1 } \left\{ 1 \right\} { 1}和$G$，则称$G$为单群。

p-群(p-group)

$p-$群定义：
  设$p$是一个素数，$G$是一个有限群，$e\in {\mathbb{Z}}_{\ge 0}$是使得$p^e|\left|G\right|$成立的最大正整数。若$p^e=\left|G\right|$，则称$G$为一个$p$-群。

$p-$群例子：

1. $A=\left\{\left[\begin{array}{cc}1& \alpha \\ & 1\end{array}\right]|\alpha \in {\mathbb{F}}_p\right\}\subseteq G{L}_2\left({\mathbb{F}}_p\right)$是一个$p$-群 。
   理解：
   首先有$\left|A\right|=p^1$,
   其次$A$同构于${\mathbb{F}}_p$的加法群，即可考虑群$\left(A,+\right)$，其中$+$运算定义如下
   $\left[\begin{array}{cc}1& \alpha \\ & 1\end{array}\right]+\left[\begin{array}{cc}1& \beta \\ & 1\end{array}\right]:=\left[\begin{array}{cc}1& \alpha +\beta \\ & 1\end{array}\right]$.

p-子群(p-subgroup)

$p-$子群定义：
  设$p$是一个素数，$G$是一个有限群，$e\in {\mathbb{Z}}_{\ge 0}$是使得$p^e|\left|G\right|$成立的最大正整数，$H<G$是$G$的一个子群。称$H$为$G$的p-子群，若
$$\left|H\right||p^e.$$

Sylow p-子群(Sylow p-subgroup)

$Sylowp-$子群定义：
  设$p$是一个素数，$G$是一个有限群，$e\in {\mathbb{Z}}_{\ge 0}$是使得$p^e|\left|G\right|$成立的最大正整数，$H<G$是$G$的一个子群。称$H$是$G$的Sylow p-子群，若
$$\left|H\right|=p^e.$$

$Sylowp-$子群例子：

1. $\left|G{L}_2\left({\mathbb{F}}_p\right)\right|=p{\left(p-1\right)}^2\left(p+1\right)\Rightarrow p^1|\left|G{L}_2\left({\mathbb{F}}_p\right)\right|$ ,
   $A:=\left\{\left[\begin{array}{cc}1& \alpha \\ 0& 1\end{array}\right]|\alpha \in {\mathbb{F}}_p\right\}\Rightarrow \left|A\right|=p^1=\left|{\mathbb{F}}_p\right|$
   $\Rightarrow$$A$是一个Sylow p-子群。
   注：关于$\left|G{L}_2\left({\mathbb{F}}_p\right)\right|$的计算问题。
   $\left|G{L}_2\left({\mathbb{F}}_p\right)\right|=\left|A=\left\{\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]|a,b,c,d\in {\mathbb{F}}_p,\det \ne 0\right\}\right|$.
   $\Rightarrow \det \left(A\right)=ad-bc\ne 0$.
   当 a = 0 a=0 a=0</