某些子群正规或唯一的有限p群.docxVIP

某些子群正规或唯一的有限p群 本文讨论有限$p$群的一个重要性质：某些子群正规或唯一。在此之前，我们先回顾一下有限群的一些基本概念和定理。 有限群的基本概念 设$G$是一个群，$H$是$G$的一个子集，如果$H$也满足群公理，则$H$是$G$的子群。如果$H$是$G$的子群，并且对于任意的$x\\in G$，都有$xHx^{-1}=H$，则称$H$是$G$的一个正规子群。 群的阶是指群元素的个数，群的元素可以表示为$a^i$的形式，其中$a$是一个群元素，$i$是一个整数。一个任意的有限群$G$的阶可以写成$p_1^{k_1}p_2^{k_2}\\cdots p_t^{k_t}$的形式，其中$p_1,p_2,\\cdots,p_t$是正素数，$k_1,k_2,\\cdots,k_t$是正整数。 有限$p$群是指它的阶是$p^k$的有限群，其中$p$是一个素数，$k$是一个正整数。 群的定理 有限群的阶定理：设$G$是一个有限群，其阶为$n$，则$n$可以唯一地表示为$n=p_1^{k_1}p_2^{k_2}\\cdots p_t^{k_t}$的形式。 Cauchy定理：如果一个素数$p$整除一个有限群$G$的阶，则$G$中含有一个阶为$p$的元素。 Lagrange定理：设$G$是一个群，$H$是$G$的一个子群，则$H$的阶整除$G$的阶，即$|H|$整除$|G|$。 某些子群正规或唯一的有限$p$群 现在让我们来看看某些子群正规或唯一的有限$p$群的情况： 1. $p=2$时，任意$2$阶群都是阿贝尔群，所以它的所有子群都是正规子群。 2. 设$G$是一个有限3群，如果$G$中没有非平凡的正规子群，则$G$同构于一个特殊的3群，即$G$同构于$C_3$或$C_3\\times C_3$。 3. 设$G$是一个有限5群，如果$G$中没有非平凡的正规子群，则$G$同构于一个特殊的5群，即$G$同构于$C_5$或$C_5\\times C_5$或$C_{25}$。 4. 设$G$是一个有限7群，如果$G$中没有非平凡的正规子群，则$G$同构于一个特殊的7群，即$G$同构于$C_7$或$C_7\\times C_7$或$C_7\\times C_7\\times C_7$或$C_{49}$。 5. 设$G$是一个有限11群，如果$G$中没有非平凡的正规子群，则$G$同构于一个特殊的11群，即$G$同构于$C_{11}$或$C_{11}\\times C_{11}$或$C_{11}\\times C_{11}\\times C_{11}$或$C_{11}\\times C_{11}\\times C_{11}\\times C_{11}$或$C_{121}$。 注：在上面的结论中，$C_n$表示阶为$n$的循环群。 结论 综上所述，我们讨论了有限$p$群中某些子群正规或唯一这个性质。这些结论如果运用到具体计算中，可以帮助我们更快地了解一个群的结构。因此，这些结论是有限$p$群理论中非常重要的一部分。