不变子群、商群与群同态基本定理

不变子群、商群与群同态基本定理

不变子群

定义：设$H\le G$，若$\forall a\in G,a\cdot H=H\cdot a$,则称$H$是$G$的不变子群，也称正规子群，记作$H◃G$

定理1：设$H\le G$，则下列条件等价：

（1）$H◃G$

（2）$\forall a\in G,a\cdot H\cdot a^{-1}=H$

（3）$\forall a\in G,a\cdot H\cdot a^{-1}\subseteq H$
（4）$\forall a\in G,\forall h\in H,a\cdot h\cdot a^{-1}\in H$

证明:

$(1)\Rightarrow (2)$ 设$H◃G$,则$\forall a\in G$,有$a\cdot H=H\cdot a$,所以
$$a\cdot H\cdot a^{-1}=\left(H\cdot a\right)\cdot a^{-1}=H\cdot \left(a\cdot a^{-1}\right)=H\cdot e=H$$
$(2)\Rightarrow (3)$，和$(3)\Rightarrow (4)$显然

$(4)\Rightarrow (1)$ 设$\forall a\in G,\forall h\in H,a\cdot h\cdot a^{-1}\in H$

因为$a^{-1}\in G$，所以$a^{-1}\cdot h\cdot a\in H$，于是$\exists h_1,h_2\in H$，使$a\cdot h\cdot a^{-1}=h_1,a^{-1}\cdot h\cdot a=h_2$,所以
$$a\cdot h=h_1\cdot a\in H\cdot a,h\cdot a=a\cdot h_2\in a\cdot H$$
所以$a\cdot H\subseteq H\cdot a,H\cdot a\subseteq a\cdot H$

故$a\cdot H=H\cdot a$，因此$H◃G$

定理2：设$H◃G$，则$G$关于$H$的陪集关系$R$是$G$上的同余关系

证明：$R$是等价关系

$\forall a,b,c,d\in G$，若$aRb,cRd$，则$a\cdot H=H\cdot b,c\cdot H=H\cdot d$,所以

$$\begin{array}{rl}\left(a\cdot c\right)\cdot H& =a\cdot \left(c\cdot H\right)\\ & =a\cdot \left(H\cdot d\right)\\ & =\left(a\cdot H\right)\cdot d\\ & =\left(H\cdot b\right)\cdot d\\ & =H\cdot \left(b\cdot d\right)\end{array}$$

故$\left(a\cdot c\right)R\left(b\cdot d\right)$

定理3：设$R$是群$G$上的同余关系，则${\left[e\right]}_R◃G$，且$R$是$G$关于${\left[e\right]}_R$的陪集关系

证明：

（1）${\left[e\right]}_R\le G$。$\forall a,b\in {\left[e\right]}_R$，知$aRe,eRb$。又因为$b^{-1}R{b}^{-1}$，所以$\left(a\cdot e\cdot b^{-1}\right)R\left(e\cdot b\cdot b^{-1}\right)$，即$\left(a\cdot b^{-1}\right)Re$，故$a\cdot b^{-1}\in {\left[e\right]}_R$
（2）${\left[e\right]}_R◃G$。$\forall a\in G,\forall h\in {\left[e\right]}_R$,则$aRa,hRe,a^{-1}R{a}^{-1}$。所以$\left(a\cdot h\cdot a^{-1}\right)R\left(a\cdot e\cdot a^{-1}\right)$，即$\left(a\cdot h\cdot a-1\right)\in {\left[e\right]}_R$

（3）

1.${\left[a\right]}_R\subseteq a\cdot {\left[e\right]}_R$。$\forall x\in {\left[a\right]}_R$则$xRa$。又因为$a^{-1}R{a}^{-1}$,所以$\left(a^{-1}\cdot x\right)Re$,所以$a^{-1}\cdot x\in {\left[e\right]}_R$，故$x\in a\cdot {\left[e\right]}_R$

2.$a\cdot {\left[e\right]}_R\subseteq {\left[a\right]}_R$。$\forall x\in a\cdot {\left[e\right]}_R$，则$\exists h\in {\left[e\right]}_R$，使$x=a\cdot h$。

因为$aRa,hRe$，所以$\left(a\cdot h\right)R\left(a\cdot e\right)$，则$xRa$，故$x\in {\left[a\right]}_R$

商群

定理1：设$H◃G$，则$G$关于$H$的陪集关系的商代数$⟨G/H,\odot ⟩$使群，称为$G$关于$H$的商群

其中 G / H = { a ⋅ H ∣ a ∈ G } G/H=\left\{a\cdot H|a\in G\right\} G/H={a⋅H∣a∈G},并且$\forall a\cdot H,b\cdot H\in G/H,\left(a\cdot H\right)\odot \left(b\cdot H\right)=\left(a\cdot b\right)\cdot H$

证明：

由于$H◃G$,则$\odot$是$G/H$上的二元运算，因为若$a\cdot H=a^{\prime }\cdot H,b\cdot H=b^{\prime }\cdot H$，
则$a=a^{\prime }\cdot h_1,b=b^{\prime }\cdot h_2\left(h_1,h_2\in H\right)$，所以
$$a\cdot b=a^{\prime }\cdot \left(h_1\cdot b^{\prime }\right)\cdot h_2=a^{\prime }\cdot b^{\prime }\cdot \left(h_3\cdot h_2\right)\left(h_3\in H\right)$$
即${\left(a^{\prime }\cdot b^{\prime }\right)}^{-1}\cdot \left(a\cdot b\right)\in H$,故$\left(a\cdot b\right)\cdot H=\left(a^{\prime }\cdot b^{\prime }\right)\cdot H$,从而
$$\left(a\cdot H\right)\odot \left(b\cdot H\right)=\left(a^{\prime }\cdot H\right)\odot \left(b^{\prime }\cdot H\right)$$
由$\cdot$的结合性，易证$\odot$也是可结合的，而$H$是$⟨G/H,\odot ⟩$的单位元
$a\cdot H$的关于$\odot$的逆元为$a^{-1}\cdot H$，故$⟨G/H,\odot ⟩$是群
设$H$是有限群$G$的不变子群，则由拉格朗日定理由，$\left|G/H\right|=\left|G\right|/\left|H\right|$

群同态基本定理

定义：设$f$是$⟨G,\cdot ⟩$到$⟨G^{\prime },\ast ⟩$的群同态，$e^{\prime }$是$G^{\prime }$的单位元，则集合 { a ∈ G ∣ f ( a ) = e ′ } \left\{a\in G|f\left(a\right)=e^{\prime}\right\} {a∈G∣f(a)=e′}称为$f$的同态核，记为$\ker f$

群同态基本定理：设$f$是$⟨G,\cdot ⟩$到$⟨G^{\prime },\ast ⟩$的群同态，则$\ker f◃G$，
并且$⟨G/\ker f,\odot ⟩\cong ⟨f\left(G\right),\ast ⟩$

证明：先证明$\ker f◃G$。因为$\forall k_1,k_2\in \ker f$，由$f\left(k_1\right)=f\left(k_2\right)=e^{\prime }$,所以
$$f\left(k_1\cdot k_2^{-1}\right)=f\left(k_1\right)\ast f{\left(k_2\right)}^{-1}=e^{\prime }\ast e^{\prime }=e^{\prime }$$
故$k_1\cdot k_2^{-1}\in \ker f$.又因为$\forall g\in G,k\in \ker f$
$$f\left(g\cdot k\cdot g^{-1}\right)=f\left(g\right)\ast f\left(k\right)\ast f\left(g^{-1}\right)=f\left(g\right)\ast e^{\prime }\ast f{\left(g\right)}^{-1}=e^{\prime }$$
故$g\cdot k\cdot g^{-1}\in \ker f$,从而$\ker f◃G$

再证$⟨G/\ker f,\odot ⟩\cong ⟨f\left(G\right),\ast ⟩$,作
$$\varphi :G/\ker f\to f\left(G\right),\varphi \left(g\cdot \ker f\right)=f\left(g\right)$$
则
1.$\varphi$是映射且是单射，因为$\forall g_1\cdot \ker f,g_2\cdot \ker f\in G/\ker f$
$$\begin{array}{rl}& \varphi \left(g_1\cdot \ker f\right)=\varphi \left(g_2\cdot \ker f\right)\\ & \iff f\left(g_1\right)=f\left(g_2\right)\\ & \iff f{\left(g_2\right)}^{-1}\ast f\left(g_1\right)=e^{\prime }\\ & \iff f\left(g_2^{-1}\cdot g_1\right)=e^{\prime }\\ & \iff g_2^{-1}\cdot g_1\in \ker f\\ & \iff g_1\cdot \ker f=g_2\cdot \ker f\end{array}$$
2.$\varphi$是满射。$\forall f\left(g\right)\in f\left(G\right)$,由$g\in G$，所以有$g\cdot \ker f\in G/\ker f$,使$\varphi \left(g\cdot \ker f\right)=f\left(g\right)$
3.$\varphi$是同态映射。$\forall g_1\cdot \ker f,g_2\cdot \ker f\in G/\ker f$
$$\begin{array}{rl}\varphi \left(g_1\cdot \ker f\odot g_2\cdot \ker f\right)& =\varphi \left(\left(g_1\cdot g_2\right)\cdot \ker f\right)\\ & =f\left(g_1\cdot g_2\right)\\ & =f\left(g_1\right)\cdot f\left(g_2\right)\\ & =\varphi \left(g_1\cdot \ker f\right)\ast \varphi \left(g_2\cdot \ker f\right)\end{array}$$
故$⟨G/\ker f,\odot ⟩\cong ⟨f\left(G\right),\ast ⟩$

推论：设$f$是群$G$到$G^{\prime }$的满同态，则$G/\ker f\cong G^{\prime }$

课后习题

1.求出4次交代群$A_4$中 H = { ( 1 ) , ( 1 , 2 ) ( 3 , 4 ) , ( 1 , 3 ) ( 2 , 4 ) , ( 1 , 4 ) ( 2 , 3 ) } H=\left\{\left(1\right), \left(1,2\right)\left(3,4\right),\left(1,3\right)\left(2,4\right),\left(1,4\right)\left(2,3\right)\right\} H={(1),(1,2)(3,4),(1,3)(2,4),(1,4)(2,3)}的左、右陪集，并验证$H$是$A_4$的不变子集

2.令$G=\left\{\left(\begin{array}{cc}r& s\\ 0& 1\end{array}\right)|r,s\in \mathbb{Q},r\ne 0\right\}$,则$G$关于矩阵乘法构成群。令$H=\left\{\left(\begin{array}{cc}1& t\\ 0& 1\end{array}\right)|t\in \mathbb{Q}\right\}$,试证：$H$是$G$的不变子群

3.群$G$的中心$C\left(G\right)$定义为 C ( G ) = { a ∈ G ∣ ∀ x ∈ G , a x = x a } C\left(G\right)=\left\{a\in G|\forall x \in G,ax=xa\right\} C(G)={a∈G∣∀x∈G,ax=xa}.证明：$C\left(G\right)$是$G$的不变子群

4.设$H$是群$⟨G,\cdot ⟩$的子群，$H$的正规化子$N\left(H\right)$定义为$N\left(H\right)=\left\{a\in G|a\cdot H\cdot a^{-1}=H\right\}$.证明：$H$是$N\left(H\right)$的不变子群

5.证明：指数为$2$的子群必为不变子群。
6.设$H$和$K$都是群$G$的不变子群。证明：$H\cap K$和$HK$也是$G$的不变子群
7.设$K◃H,H◃G$.问是否一定有$K◃G$?证明或举出反例
8.设$H$是循环群$G$的子群.证明：$G/H$也是循环群。
9.设$H,K$是$G$的不变子群，且$G/H,G/K$是可交换的。证明：$G/H\cap K$也是可交换的
10.设$f$是从群$G_1$到$G_2$的满同态，$H_2◃G_2$。证明：$G_1/f^{-1}\left(H_2\right)\cong G_2/H_2$
11.设$K◃G,H\le G$.证明：$H/\left(H\cap K\right)\cong HK/K$
参考：
离散数学（刘玉珍）