近世代数--有限交换群--存在元素的阶是群阶的素因子

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

• 先从特殊的有限交换群–循环群开始：循环群$G=<a>,|G|=n，$对于$\forall m\mid n,\exists H\le G,$使得$|H|=m$

证明：$m\mid n\to n=mt$，由此构造子群
$$\begin{gathered} b=a^t,\forall a\in G, \\ {b}^m=(a^t{)}^m=a^{tm}=a^n=e \end{gathered}$$
则$H=<b>,|H|=m$

设$G$为有限交换群，$|G|=n=pm,p$为素数，$\exists a\in G,$使得$|a|=p$

证明：数学归纳法
（1） 当$m=1$时，$|G|=n=p$，由素数阶群是循环群得$G$是循环群，那么就可以用$G=<a>$表示。
$$\begin{gathered} |G|=|<a>|=p \\ \to a^p=e,|a|=p \end{gathered}$$

（2） 假设在小于$m$时结论成立；

（3） 证明$m$时结论成立：
构造子群$H=<a>,\forall a\in G\&a\ne e;\to |H|\mid |G|=pm\to |H|\mid p，or|H|\mid m，or(|H|\mid m,|H|\mid p)$

我本来想分类成$|H|\mid p$和$|H|\nmid p$，但是在$s=|H|\nmid p$时无法推出$(|H|,p)=1,$因为有可能 ∣ H ∣ = k p > p |H|=kp>p