陪集与拉格朗日定理

陪集与拉格朗日定理

陪集

定义：设$H$是群$G$的子群，$a\in G$

（1）集合 a ⋅ H = { a ⋅ h ∣ h ∈ H } a\cdot H = \left\{a\cdot h | h \in H\right\} a⋅H={a⋅h∣h∈H}称为$a$所在的$H$的左陪集

（2）集合 H ⋅ a = { h ⋅ a ∣ h ∈ H } H\cdot a = \left\{h\cdot a | h \in H\right\} H⋅a={h⋅a∣h∈H}称为$a$所在的$H$的右陪集

定理1 ：设$H$是群$G$的子群

（1）$R\subseteq G^2$定义为$\forall a,b\in G$，$aRb$当且仅当$b^{-1}\cdot a\in H$，则$R$是等价关系

且$\forall a\in G$，${\left[a\right]}_R=a\cdot H$，$R$称为$G$关于$H$的左陪集关系

（2）$R^{\prime }\subseteq G^2$定义为$\forall a,b\in G$，$a{R}^{\prime }b$当且仅当$a\cdot b^{-1}\in H$，则$R^{\prime }$是等价关系

且$\forall a\in G$，${\left[a\right]}_{R^{\prime }}=a\cdot H$，$R^{\prime }$称为$G$关于$H$的右陪集关系

证明：

（1）

1. $R$是等价关系，$\forall a\in G$，因为$a^{-1}\cdot a=e\in H$，所以$aRa$

$\forall a,b\in G$，若$aRb$，即$b^{-1}\cdot a\in H$，则$a^{-1}\cdot b={\left(b^{-1}\cdot a\right)}^{-1}\in H$,所以$bRa$

$\forall a,b,c\in G$，若$aRb$且$bRc$，即$b^{-1}\cdot a\in H$且$c^{-1}\cdot b\in H$，则$c^{-1}\cdot a=\left(c^{-1}\cdot b\right)\cdot \left(b^{-1}\cdot a\right)\in H$,所以$aRc$

2. $\forall a\in G,{\left[a\right]}_R=a\cdot H$.首先，$\forall x\in {\left[a\right]}_R,xRa$,即$a^{-1}\cdot x\in H$，所以$x=a\cdot \left(a^{-1}\cdot x\right)\in a\cdot H$,故${\left[a\right]}_R\subseteq a\cdot H$

   其次，$\forall x\in a\cdot H$，$\exists h\in H$，使得$x=a\cdot h$，所以$a^{-1}\cdot x=h\in H$，所以$xRa$。$x\in {\left[a\right]}_R$，故$a\cdot H\subseteq {\left[a\right]}_R$,

因此${\left[a\right]}_R=a\cdot H$

(2)类似

定理2：设$H$是群$G$的子群，则$\forall a\in G$，$\left|a\cdot H\right|=\left|H\cdot a\right|=\left|H\right|$

证明：作$f:H\to a\cdot H,h\mapsto a\cdot h$,以及$g:H\to H\cdot a,h\mapsto h\cdot a$

易证$f,g$双射，故$\left|a\cdot H\right|=\left|H\cdot a\right|=\left|H\right|$

定理3： 设$H$是群$G$的子群，则$H$的左、右陪集数相同

证明：令 S l = { a ⋅ H ∣ a ∈ G } , S r = { H ⋅ a ∣ a ∈ G } S_l=\left\{a\cdot H | a\in G\right\}, S_r = \left\{H\cdot a | a \in G\right\} Sl​={a⋅H∣a∈G},Sr​={H⋅a∣a∈G},作
$$\varphi :S_l\to S_r,a\cdot H\mapsto H\cdot a^{-1}$$
（1）$\varphi$是良定的。若$a\cdot H=b\cdot H$，则$aRb$,其中$R$为$G$关于$H$的左陪集关系，即$b^{-1}\cdot a\in H$

从而$a^{-1}\cdot {\left(b^{-1}\right)}^{-1}={\left(b^{-1}\cdot a\right)}^{-1}\in H$,即$a^{-1}{R}^{\prime }{b}^{-1}$，其中$R^{\prime }$为$G$关于$H$的右陪集关系，故$H\cdot a^{-1}=H\cdot b^{-1}$

（2）$\varphi$是单射。若$H\cdot a^{-1}=H\cdot b^{-1}$，则$a^{-1}{R}^{\prime }{b}^{-1}$，即$a^{-1}\cdot {\left(b^{-1}\right)}^{-1}\in H$，所以$b^{-1}\cdot a={\left(a^{-1}\cdot b\right)}^{-1}\in H$，即$aRb$,故$a\cdot H=b\cdot H$

（3）$\varphi$是满射。$\forall H\cdot a\in S_r$，有$a^{-1}\cdot H\in S_l$，且$\varphi \left(a^{-1}\cdot H\right)=H\cdot a$

因此$\varphi$双射，$\left|S_l\right|=\left|S_r\right|$

定义：设$H$是群$G$的子群，则称$H$的左（右）陪集数为$H$在$G$中的指数，记为$\left[G:H\right]$

拉格朗日定理

拉格朗日定理：设$H$是有限群 $G$的子群，则$\left|H\right|$整除$\left|G\right|$，且$\left|G\right|=\left|H\right|\left[G:H\right]$

证明：设$\left[G:H\right]=r$,且 S l = { a 1 ⋅ H , a 2 ⋅ H , ⋯   , a r ⋅ H } S_l=\left\{a_1\cdot H, a_2\cdot H, \cdots, a_r\cdot H\right\} Sl​={a1​⋅H,a2​⋅H,⋯,ar​⋅H}

因为$a_i\cdot H\cap a_j\cdot H=\varnothing ,i\ne j$,所以
$$\left|G\right|=\sum _{i=1}^r\left|a_i\cdot H\right|=r\left|H\right|=\left|H\right|\left[G:H\right]$$
推论：（1）有限群$G$的每个元素的阶均能整除$G$的阶

（2）质数阶的群必为循环群

证明：（1）$\forall a\in G,\left(a\right)\le G$，所以$\left|\left(a\right)\right|$整除$\left|G\right|$,即$\left|a\right|$整除$\left|G\right|$

（2）设$G$为$p$阶群，其中$p$是质数，其中$p$是质数，由(1)，$\forall a\in G$，$\left|a\right|$整除$p$

若$a\ne e$，则$\left|a\right|\ne 1$，所以$\left|a\right|=p$，故$G=\left(a\right)$

课后习题

1.求$C_{12}=\left\{e,a,\cdots ,a^{11}\right\}$中$H=\left\{e,a^4,a^8\right\}$的所有右陪集
2.考虑$n$次对称群$S_n$，$H$时所有保持$1$不变的$n$阶置换群构成的置换群
求$H$在$S_n$中的所有左陪集
3.设$H$时群$G$的子群。证明：$H$在$G$中的所有左和右陪集中有且只有一个子群
4.设$H$和$K$时群$G$的有限子群，且$\left|H\right|$和$\left|K\right|$互质。
试证： H ∩ K = { e } H\cap K=\left\{e\right\} H∩K={e}
5.设$p$为质数，$n\in {\mathbb{I}}_{+}$。试证：$p^n$阶群必有$p$阶子群
6.证明：$6$阶群恰有一个$3$阶子群
7.证明：$10$阶可交换群必为循环群

参考：
离散数学（刘玉珍）