子群和群同态

子群

定义：设$⟨G,\cdot ⟩$是群，$H$是$G$的非空子集。若$⟨H,\cdot ⟩$也是群，则称$⟨H,\cdot ⟩$为$⟨G,\cdot ⟩$的子群，
记作$H\le G$
若$H$是$G$的真子集，则称$⟨H,\cdot ⟩$为$⟨G,\cdot ⟩$的真子群，记作$H<G$

任意群$⟨G,\cdot ⟩,⟨G,\cdot ⟩$和 < { e } , ⋅ > \left<\left\{e\right\},\cdot\right> ⟨{e},⋅⟩都是$⟨G,\cdot ⟩$的子群，称为平凡子群

定理1：设$⟨G,\cdot ⟩$是群，$H\le G$，则
（1）$H$的单位元就是$G$的单位元；
（2）$\forall a\in H$，$a$在$H$中的逆元就是$a$在$G$中的逆元
证明：(1)设$e_H$和$e_G$分别为$H$和$G$的单位元，则$e_H\cdot e_H=e_H=e_G\cdot e_H$
由消去律，$e_H=e_G$
(2)$\forall a\in H$,设$a$在$H$和$G$中的逆元分别为$a_H^{-1}$和$a_G^{-1}$，
则$a\cdot a_H^{-1}=e_H=e_G=a\cdot a_G^{-1}$，由消去律，$a_H^{-1}=a_G^{-1}$

定理2：设$H$是群$⟨G,\cdot ⟩$的非空子集，则$H\le G$当且仅当
(1)$\forall a,b\in H$，$a\cdot b\in H$
(2)$\forall a\in H$，$a^{-1}\in H$
证明：
必要性：因为$⟨H,\cdot ⟩$是群，所以封闭性（1）成立，由定理1，(2)成立
充分性：只需证明由单位元
因为$H\ne \varnothing$，所以有$a\in H$
由(2)，$a^{-1}\in H$，由(1)$e=a\cdot a^{-1}\in H$，$e$就是$H$的单位元
故$⟨H,\cdot ⟩$是群，$H\le G$

定理3：设$⟨G,\cdot ⟩$是群，$H$是$G$的非空子集，则$H\le G$当且仅当$\forall a,b\in H,a\cdot b^{-1}\in H$
证明：
必要性：因为$⟨H,\cdot ⟩$是群，所以$\forall a,b\in H,b^{-1}\in H$,由封闭性，$a\cdot b^{-1}\in H$
充分性：
因为$H\ne \varnothing$，所以$a\in H$，从而$e=a\cdot a^{-1}\in H$
$\forall a\in H,a^{-1}=e\cdot a^{-1}\in H$
$\forall a,b\in H$，$b^{-1}\in H$，所以$a\cdot b=a\cdot {\left(b^{-1}\right)}^{-1}\in H$
由定理2，$H\le G$

定理4：设$⟨G,\cdot ⟩$是群，$H$是$G$的非空有限子集，若$H$关于$\cdot$封闭，则$H\le G$

证明：设$\left|H\right|=n$
$\forall a\in H$，在$a,a^2,\cdots ,a^{n+1}$中必有两个相同，设为$a^i=a^j$
其中$1\le i<j\le n+1$,则$a^{j-i}=e$
因为$2\left(j-i\right)-1\ge 1$，由$H$关于$\cdot$封闭，$a^{2\left(j-i\right)-1}\in H$，又
$$a^{2\left(j-i\right)-1}\cdot a=a\cdot a^{2\left(j-i\right)-1}=a^{2\left(j-i\right)}=e$$
所以$a^{-1}=a^{2\left(j-i\right)-1}\in H$，由定理2，$H\le G$

群同态

定义：设$⟨G_1,\ast ⟩$和$⟨G_2,\cdot ⟩$是群，函数$h:G_1\to G_2$
若$\forall a,b,\in G_1$有$h\left(a\ast b\right)=h\left(a\right)\cdot h\left(b\right)$，则称$h$为从$⟨G_1,\ast ⟩$到$⟨G_2,\cdot ⟩$的群同态，若$h$是双射，则称$h$为群同构

定理：设$h$为从$⟨G_1,\ast ⟩$到$⟨G_2,\cdot ⟩$的群同态，$e_1$和$e_2$分别为$G_1$和$G_2$的单位元，则
（1）$h\left(e_1\right)=e_2$
（2）$\forall a\in G_1,h\left(a^{-1}\right)=h{\left(a\right)}^{-1}$
（3）若$H\le G_1$，则$h\left(H\right)\le G_2$
（4）若$h$为单一同态，则$\forall a\in G_1,\left|h\left(a\right)\right|=\left|a\right|$

证明：
（1）因为$h\left(e_1\right)=h\left(e_1\ast e_1\right)=h\left(e_1\right)\cdot h\left(e_1\right)$,由消去律$h\left(e_1\right)=e_2$
（2）$\forall a\in G_1,h\left(a\right)\cdot h\left(a^{-1}\right)=h\left(a\ast a^{-1}\right)=h\left(e_1\right)=e_2$
同理$h\left(a^{-1}\right)\cdot h\left(a\right)=e_2$,故$h\left(a^{-1}\right)=h{\left(a\right)}^{-1}$
（3）$\forall h\left(a\right),h\left(b\right)\in h\left(H\right)$，$a,b\in H$，因为$H\le G_1$，
所以$a\ast b^{-1}\in H$
$$h\left(a\right)\cdot h{\left(b\right)}^{-1}=h\left(a\right)\cdot h\left(b^{-1}\right)=h\left(a\ast b^{-1}\right)\in h\left(H\right)$$
故$h\left(H\right)\le G_2$
（4）
若$\left|a\right|$无线，则$\forall n\in {\mathbb{I}}_{+}$，$a^n\ne e_1$
因为$h$单射，所以$h\left(a^n\right)\ne h\left(e_1\right)$
即${\left(h\left(a\right)\right)}^n\ne e_2$,故$\left|h\left(a\right)\right|$也无限

若$\left|a\right|=n\in {\mathbb{I}}_{+}$，则$a^n=e_1$
于是${\left(h\left(a\right)\right)}^n=h\left(a^n\right)=h\left(e_1\right)=e_2$,所以$\left|h\left(a\right)\right|$也有限
设$\left|h\left(a\right)\right|=m\le n$,又$h\left(a^m\right)={\left(h\left(a\right)\right)}^m=e_2=h\left(e_1\right)$
而$h$是单射，所以$a^m=e_1$，从而$n\le m$，故$n=m$

课后习题

1.设$H$和$K$都是群$G$的子群。试证：$H\cap K$也是$G$的子群。$H\cup K$也一定是$G$的子群吗？

证明：
设$G=⟨A,\ast ⟩,H=⟨A_1,\ast ⟩,K=⟨A_2,\ast ⟩,H\le G,K\le G$

$\forall a_1,a_2\in H\cap K$,
$a_1,a_2\in H$
$a_1,a_2\in K$
则
$$\begin{gathered} a_1\ast a_2\in H \\ {a}_1\ast a_2\in K \\ \Rightarrow a_1\ast a_2\in H\cap K \end{gathered}$$
因此$\ast$对$A_1\cap A_2$封闭

$H$的单位元与$G$的单位元一样
$K$的单位元与$G$的单位元一样
因此$H\cap K$的单位元与$G$的单位元一样

$\forall a\in H$
$a\in H$
$a\in K$
$a$在$H$中的逆元就是$a$在$G$中的逆元
$a$在$K$中的逆元就是$a$在$G$中的逆元
因此$a$在$H\cap K$中的逆元就是$a$在$G$中的逆元

因此$H\cap K\le G$

$H\cup K$不一定
$G=⟨\mathbb{I},+⟩$
H = < { 2 k ∣ k ∈ I } , + > , K = < { 3 k ∣ k ∈ I } , + > H=\left<\left\{2k| k \in \mathbb{I}\right\}, +\right>,K=\left<\left\{3k| k \in \mathbb{I}\right\}, +\right> H=⟨{2k∣k∈I},+⟩,K=⟨{3k∣k∈I},+⟩
$+$为普通加法运算
则$H\le G,K\le G,2,3\in H\cup K$，但是$2+3=5\notin H\cup K$

2.设$H$和$K$都是群$G$的子群。令 H K = { a b ∣ a ∈ H , b ∈ K } HK=\left\{ab|a\in H,b\in K\right\} HK={ab∣a∈H,b∈K}
试证：$HK\le G$当且仅当$HK=KH$

证明：
充分性：$HK=KH$
设$x=hk\left(h\in H,k\in K\right)$
因此$x\in HK$
因为$h\in H,k\in K$
所以$h^{-1}\in H,k^{-1}\in K$
则
$$x^{-1}=k^{-1}{h}^{-1}\in KH\Rightarrow x^{-1}\in HK$$
因此$x$在$HK$中可逆

设$x=h_1{k}_1,y=h_2{k}_2\left(h_1,h_2\in H,k_1,k_2\in K\right)$,
$k_1{h}_2=h_2^{\prime }{k}_1^{\prime }\left(h_2^{\prime }\in H,k_1^{\prime }\in K\right)$
$$\begin{array}{rl}xy& =h_1{k}_1{h}_2{k}_2\\ & =\left(h_1{h}_2^{\prime }\right)\left(k_1^{\prime }{k}_2\right)\\ & \in HK\end{array}$$
$HK$封闭可逆，$HK\le G$

必要性：
$H=H^{-1},HK=(HK{)}^{-1}=K^{-1}{H}^{-1}=KH$

3.设$⟨G,\cdot ⟩$是群，$a\in G$。令 H = { x ∈ G ∣ a ⋅ x = x ⋅ a } H=\left\{x\in G|a\cdot x=x\cdot a\right\} H={x∈G∣a⋅x=x⋅a}
试证：$H\le G$

证明：
单位元$e$
显然$e\in H$
$\forall x,y\in H$
$$\begin{array}{rl}a\cdot x\cdot y& =x\cdot a\cdot y=x\cdot y\cdot a\Rightarrow x\cdot y\in H\end{array}$$
因此封闭
$$\begin{array}{rl}a\cdot x& =x\cdot a\\ x^{-1}\cdot a\cdot x\cdot x^{-1}& =x^{-1}\cdot x\cdot a\cdot x^{-1}\\ x^{-1}\cdot a& =a\cdot x^{-1}\end{array}$$
可逆

因此$H\le G$

4.设$⟨G,\cdot ⟩$是群，$H\le G,a\in G$。令$a\cdot H\cdot a^{-1}=\left\{a\cdot h\cdot a^{-1}|h\in H\right\}$
试证：$a\cdot H\cdot a^{-1}\le G$（$a\cdot H\cdot a^{-1}$称为$H$的共轭子群）

证明：
设$x,y\in a\cdot H\cdot a^{-1}$
则
$$a\cdot x\cdot a^{-1}\cdot a\cdot y\cdot a^{-1}=a\cdot \left(x\cdot y\right)\cdot a^{-1}\in H$$
因此封闭

$$a\cdot x\cdot a^{-1}\in H\Rightarrow {\left(a\cdot x\cdot a^{-1}\right)}^{-1}\in H\Rightarrow x^{-1}\in a\cdot H\cdot a^{-1}$$
因此$a\cdot H\cdot a^{-1}\le G$

5.试证：$⟨\mathbb{Q},+⟩$与$⟨Q^{\ast },\cdot ⟩$不同构，其中$\mathbb{Q}$是有理数集， Q ∗ = Q − { 0 } \mathbb{Q}^*=\mathbb{Q}-\left\{0\right\} Q∗=Q−{0},$+$和$\cdot$分别是分数的普通加法和乘法

证明：
若$⟨\mathbb{Q},+⟩$与$⟨Q^{\ast },\cdot ⟩$同构
则存在双射$h:\mathbb{Q}\to {\mathbb{Q}}^{\ast }$使得$h$是同构
存在$a\in \mathbb{Q}$，使得$h\left(a\right)=-1$
$$h{\left(\frac{a}{2}\right)}^2=h\left(a\right)=-1$$
矛盾

6.设$G$是交换群，$k\in \mathbb{I}$，作$f:G\to G,a\mapsto a^k$
证明：$f$是$G$的自同态

证明：
设$x,y\in G$
$$f\left(x\cdot y\right)={\left(x\cdot y\right)}^k=x^k{y}^k=f\left(x\right)\cdot f\left(y\right)$$

7.设$G$是群。作$f:G\to G,a\mapsto a^{-1}$
证明：$f$是$G$的自同构当且仅当$G$是交换群

证明：
必要性：$f$是$G$的自同构
$\forall a,b\in G$
$$f\left(a\cdot b\right)=b^{-1}\cdot a^{-1}=f\left(a\right)\cdot f\left(b\right)=a^{-1}\cdot b^{-1}$$
因此
$$b^{-1}\cdot a^{-1}=a^{-1}\cdot b^{-1}\Rightarrow {\left(b^{-1}\right)}^{-1}\cdot {\left(a^{-1}\right)}^{-1}={\left(a^{-1}\right)}^{-1}\cdot {\left(b^{-1}\right)}^{-1}\Rightarrow a\cdot b=b\cdot a$$

充分性：
显然$f$是双射
$\forall a,b\in G$
$$f\left(a\cdot b\right)=b^{-1}\cdot a^{-1}=f\left(a\right)\cdot f\left(b\right)=a^{-1}\cdot b^{-1}$$

8.设$G$是群,$a\in G$，作$f:G\to G,x\mapsto ax{a}^{-1}$。证明：$f$是$G$的自同构

证明：显然$f$双射
$$\begin{array}{r}f\left(x\right)f\left(y\right)=ax{a}^{-1}ay{a}^{-1}=a\left(xy\right)a^{-1}=f\left(xy\right)\end{array}$$
$f$是$G$的自同构

9.证明：群$G$的所有自同构的集合关于函数的合成运算构成群，称为$G$的自同构群，记作$Aut\left(G\right)$

证明：
显然恒等函数$1_G\in Aut\left(G\right)$

设$f,g\in Aut\left(G\right)$
$$\begin{array}{rl}f\circ g\left(x\cdot y\right)& =f\left(g\left(x\cdot y\right)\right)\\ & =f\left(g\left(x\right)\cdot g\left(y\right)\right)\\ & =f\left(g\left(x\right)\right)\cdot f\left(g\left(y\right)\right)\\ & =f\circ g\left(x\right)\cdot f\circ g\left(y\right)\end{array}$$
因此$f\circ g\in Aut\left(G\right)$

显然$f^{-1}\in Aut\left(G\right)$
因此$Aut\left(G\right)$是群

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