第二章 2.群中的等价关系 -- 陪集，共轭，正规子群与商群

  群作为代数结构首先是一个集合，那么元素间可能有各种等价关系，这些等价关系给出了群的划分，也使群自身结构的特异性突出。

 

一、 陪集

 

　　定义　　设$H$是$G$的一个子群，$a\in G$，作集合$aH=\{ax|x\in H\}$，称$aH$是关于子群$H$的一个左陪集。类似地，可定义右陪集$Ha=\{xa|x\in H\}$.

　　　　　　

　　对于陪集，我们有如下性质:

　　(i) $aH$中元素个数与$H$一样。（重新排列定理）

　　(ii) $H$本身也是$H$的一个陪集($eH$, $He$).

　　(iii) $a$在陪集$aH$中，称$a$为陪集$aH$的一个代表。

　　(iV) 设$b\in aH$，则有$aH=bH$. 即$aH$中任一元素，均可作$aH$的一个代表。

　　(V) 由此可以定义等价关系 $a,b\in G$，若$a^{-1}b\in H$, 则$a\sim b$. 此等价关系给出$G$的一个划分

　　　　$$G=a_1H\cup a_2H\cup...\cup a_l H$$.

　　下面重点证明(iV)和(V)。

　　证明:　(iV)　有$b=ah,\, h\in H$。则对$\forall h_i\in H$，