抽象代数 群论(第1章)2 子群,配集分解,循环群

一.子群与配集分解
1.子群
(1)概念:


(2)判定:

2.配集与配集分解
(1)将群分拆成等价类:

引理1:设$G$是群,$A\le G$;定义在$G$上的关系为:对应$g,h\in G,g\sim h\iff g{h}^{-1}\in A$,则$\sim$是$G$上的等价关系,且元素$g$对此等价关系的等价类是$Ag$

(2)配集分解:

(3)拉格朗日定理(Lagrange Theorem):

定理1:设$G$为有限群,$A\le G$,则$$|G|=|A|\cdot [G:A]$$特别地,$G$的每个子群的阶都是$G$的阶的因子

拉格朗日定理是群论中第1个重要的数量结果

3.元素与群的阶

(1)元素的阶:

定理2:设$G$是有限群,则$G$中每个元素$g$的阶均是$|G|$的因子

性质1:设$g\in G,g$的阶为$n$,若对某个$m\in Z$,有$g^m=1$,则由整数集上的欧几里得带余除法知$n|m$

(2)非阿贝尔群的最小阶数:

引理2:若群$G$中每个元素$g(\ne e)$的阶均为2,则$G$是阿贝尔群

引理3:设$p$为素数,则$p$阶群$G$均是阿贝尔群,且均同构于整数模$p$加法群$Z_p$

该引理表明:对于每个素数$p,p$阶群本质上只有1个,即$Z_p$

引理4:非阿贝尔群的最小阶数是6

(3)阶的性质:

定理3:设$g,h$是群$G$中的元素
①若$g$是$n$阶元素,则对每个$m\in N_{+},g^m$的阶是$\frac{n}{(m,n)}$
②若$gh=hg$,元素$g,h$的阶分别为$m,n$,且$(m,n)=1$,则$gh$的阶为$nm$

定理4:设$G$为有限群,$A,B\le G$,则
①$|AB|=|A|\cdot |B|/|A\cap B|$
②若$A\le B\le G$,则$[G:A]=[G:B][B:A]$
③$[G:A\cap B]\le [G:A][G:B]$,进而,若$[G:A]$与$[G:B]$互素,则$[G:A\cap B]=[G:A][G:B]$且$AB=G$(注意:若$A,B$是$G$的子群,易知$A\cap B$也是$G$的子群)

4.共轭
(1)共轭的定义:


(2)正规化子与中心化子:

(3)性质:

定理5:设$M$是群$G$的子集,则与$M$共轭的子集的个数等于$[G:N_G(M)]$

系 \quad 设$a\in G$,则与$a$共轭的元素个数等于$[G:C_G(a)]$
由该系及定理5可推出下面的定理

定理6:设$p$为素数,$n\ge 1$,$G$为$p^n$阶群,则$|C(G)|>1$,即$G$有非平凡(即不为1)的中心元素

(4)非阿贝尔群的1个充分条件:

定理7:对每个素数$p,p^2$阶群$G$均是阿贝尔群

二.循环群