抽象代数 01.04 群的同态与同构

http://www.icourses.cn 南开大学《抽象代数》

$\text{§1.4 群的同态与同构}$

同态与同构是抽象代数研究代数体系的重要工具。一旦证明了一个代数体系与已知的某代数体系同构，我们就可以在抽象的意义下把它看成是已知的那个代数体系。抽象代数最基本最重要的课题，就是搞清楚各种代数体系在同构意义下的分类。群的同态与同构，则是研究群与群之间关系的重要工具和手段。

定 义 1.4.1 设 { G 1 ; ⋅ } 与 { G 2 ; ∗ } 是 两 个 群 ， f 是 G 1 到 G 2 的 一 个 映 射 ， 如 果 {\color{blue}定义1.4.1\quad}设 \lbrace G_1; \cdot \rbrace 与 \lbrace G_2; * \rbrace 是两个群，f是G_1到G_2的一个映射，如果 定义1.4.1设{G1​;⋅}与{G2​;∗}是两个群，f是G1​到G2​的一个映射，如果
$f(a\cdot b)=f(a)\ast f(b),\forall a,b\in G_1.$
$则称f是G_1到G_2的一个同态映射,简称同态.$
$若G_1与G_2是同一个群，则称f是自同态.若同态f还是单射，则称f是单同态;$
$若同态f还是满射,则称f是满同态.当f是满同态时,称G_1与G_2是同态的,记为$
$G_1\sim G_2.若同态f还是双射(双射即可逆映射,也即是单射又是满射),则称f是$
$G_1到G_2的一个同构映射,简称同构,此时称群G_1与G_2是同构的,记为G_1\simeq G_2.$
$例1设V是数域\mathbb{P}上的n维线性空间,f是V的一般线性群GL(V)到\mathbb{P}中非零元的$
乘 法 群 { P ∗ ; ⋅ } 的 映 射 , 乘法群 \lbrace \mathbb{P}^{*}; \cdot \rbrace的映射, 乘法群{P∗;⋅}的映射,
$f(\mathcal{A})=\det (\mathcal{A}),\forall \mathcal{A}\in GL(V).$
$则f是满同态.这是因为两个线性变换乘积的行列式等于线性变换行列式的乘积。$
$例2设V是n维实线性空间,则GL(V)\simeq G{L}_n(\mathbb{R})$
证 : 在 V 中 取 一 组 基 { α 1 , ⋯   , α n } , ∀ A ∈ G L ( V ) , 记 A 在 这 组 基 下 的 方 阵 为 f ( A ) , 则 根 据 线 性 代 数 中 的 结 论 知 {\color{blue}证:}在V中取一组基\lbrace \alpha_1, \cdots,\alpha_n \rbrace, \forall \mathcal{A} \in GL(V),记 \mathcal{A} 在这组基下的方阵为f(\mathcal{A}),则根据线性代数中的结论知 证:在V中取一组基{α1​,⋯,αn​},∀A∈GL(V),记A在这组基下的方阵为f(A),则根据线性代数中的结论知
$f:GL(V)\to G{L}_n(\mathbb{R})$
$是双射，且$
$f(\mathcal{A}\cdot \mathcal{B})=f(\mathcal{A})\cdot f(\mathcal{B}),\forall \mathcal{A},\mathcal{B}\in GL(V).$
$根据定义1.4.1,f是群GL(V)到G{L}_n(\mathbb{R})的一个同构映射,故GL(V)\simeq G{L}_n(\mathbb{R}).$
$例3设G是一个群,H⊲G,记\pi 是G到G/H的映射,$
$\pi (g)=gH,\forall g\in G.$
$则\pi 是满同态,称\pi 为群G到商群G/H的自然同态.$
$命题1.4.1若f是群G_1到群G_2的同态,g是群G_2到群G_3的同态,$
$则gf是G_1到G_3的同态.若f,g都是满(单)同态,则gf也是满(单)同态.$
$若f,g都是同构,则gf也是同构,若f是同构,则f^{-1}也是同构.$
$命题1.4.2设f是群G_1到群G_2的同态,e_1,e_2分别为G_1,G_2的幺元,$
$则有f(e_1)=e_2即\forall a\in G_1,f(a^{-1})={f(a)}^{-1}.$
$证由f(e_1)=f(e_1{e}_1)=f(e_1)f(e_1),两边左乘{f(e_1)}^{-1},得f(e_1)=e_2.$
$\forall a\in G_1,f(a^{-1})f(a)=f(a^{-1}a)=f(e_1)=e_2,故f(a^{-1})={f(a)}^{-1}.$
$命题1.4.3设f是群G_1到G_2的同态,H<G_1,则H的像集合f(H)也是G_2的子群,$
$特别,f(G_1)<G_2.$
$证:e_2=f(e_1)\in f(H),知f(H)非空.\forall a_2,b_2\in f(H),有a_1,b_1\in H使f(a_1)=a_2,f(b_1)=b_2,于是a_2{b}_2^{-1}=f(a_1){f(b_1)}^{-1}=f(a_1)f(b_1^{-1})=f(a_1{b}_1^{-1})\in f(H).据定理1.3.1,f(H)<G_2.$
定 义 1.4.2 设 f 是 群 G 1 到 群 G 2 的 同 态 , 则 G 2 的 幺 元 e 2 的 完 全 原 像 { a ∈ G 1 ∣ f ( a ) = e 2 } 称 为 同 态 映 射 f 的 核 , 记 为 ker ⁡ f . {\color{blue}定义1.4.2\quad}设f是群G_1到群G_2的同态,则G_2的幺元e_2的完全原像\lbrace a \in G_1 | f(a) = e_2 \rbrace称为{\color{blue}同态映射f的核},记为\ker f. 定义1.4.2设f是群G1​到群G2​的同态,则G2​的幺元e2​的完全原像{a∈G1​∣f(a)=e2​}称为同态映射f的核,记为kerf.
$例4设G是群,H⊲G,\pi 是G到G/H的自然同态,则\ker \pi =H.$
$命题1.4.4设f是群G_1到群G_2的同态,则\ker f⊲G_1.$
$证：记e_1,e_2分别为G_1,G_2的幺元,因e_1\in \ker f,故\ker f非空.\forall a,b\in \ker f,有$
$f(a{b}^{-1})=f(a)f(b^{-1})=f(a){f(b)}^{-1}=e_2{e}_2^{-1}=e_2.$
$故a{b}^{-1}\in \ker f.据定理1.3.1,\ker f<G_1.又\forall g\in G_1,a\in \ker f,有$
$f(ga{g}^{-1})=f(g)f(a)f(g^{-1})=f(g)e_2{f(g)}^{-1}=e_2.$
$故ga{g}^{-1}\in \ker f.据定义1.3.4,\ker f⊲G_1.$
命 题 1.4.5 设 f 是 群 G 1 到 群 G 2 的 同 态 , 则 f 是 单 同 态 &ThickSpace; ⟺ &ThickSpace; ker ⁡ f = { e 1 } , {\color{blue}命题1.4.5\quad}{\color{green}设f是群G_1到群G_2的同态,则f是单同态 \iff \ker f = \lbrace e_1 \rbrace,} 命题1.4.5设f是群G1​到群G2​的同态,则f是单同态⟺kerf={e1​},
$这里e_1是G_1的幺元.$
证 : “ ⇒ ” ： 据 命 题 1.4.2 知 , f ( e 1 ) = e 2 , 故 { e 1 } ⊆ ker ⁡ f , 又 ∀ a ∈ ker ⁡ f , f ( a ) = e 2 = f ( e 1 ) , 因 f 是 单 射 , a = e 1 , 故 ker ⁡ f ⊆ { e 1 } . {\color{blue}证:}“\Rightarrow”：据命题1.4.2知,f(e_1)=e_2,故\lbrace e_1 \rbrace \subseteq \ker f,又\forall a \in \ker f,f(a) = e_2 = f(e_1),因f是单射,a=e_1,故\ker f \subseteq \lbrace e_1 \rbrace. 证:“⇒”：据命题1.4.2知,f(e1​)=e2​,故{e1​}⊆kerf,又∀a∈kerf,f(a)=e2​=f(e1​),因f是单射,a=e1​,故kerf⊆{e1​}.
“ ⇐ ” ： 若 f ( a ) = f ( b ) , a , b ∈ G 1 , 则 f ( a b − 1 ) = f ( a ) ⋅ f ( b ) − 1 = e 2 , 故 a b − 1 ∈ ker ⁡ f , 现 ker ⁡ f = { e 1 } , 故 a b − 1 = e 1 , 即 a = b , 故 f 是 单 同 态 . “\Leftarrow”：若f(a)=f(b),a,b \in G_1,则f(ab^{-1})=f(a)\cdot {f(b)}^{-1} = e_2,故ab^{-1} \in \ker f,现\ker f = \lbrace e_1 \rbrace,故ab^{-1}=e_1,即a=b,故f是单同态. “⇐”：若f(a)=f(b),a,b∈G1​,则f(ab−1)=f(a)⋅f(b)−1=e2​,故ab−1∈kerf,现kerf={e1​},故ab−1=e1​,即a=b,故f是单同态.
$定理1.4.6(群的同态基本定理)设f是群G_1到群G_2的满同态映射,则G_1/\ker f\simeq G_2.$
$证:记N=\ker f,据命题1.4.4知,N⊲G_1.令$
$\varphi :G_1/N\to G_2$
$gN\mapsto f(g)$
$则\varphi 是G_1/N到G_2的映射,因若g_{1}N=g_{2}N,g_1,g_2\in G_1,据推论1.3.5知g_1^{-1}{g}_2\in N,故f(g_1^{-1}{g}_2)=e_2,即{f(g_1)}^{-1}f(g_2)=e_2,故f(g_1)=f(g_2).这表明G_1/N中任一元素在\varphi 下有唯一的像,所以\varphi 是映射.$
$其次,上边一段可以逆推回去:f(g_1)=f(g_2)\Rightarrow g_{1}N=g_{2}N,\forall g_1,g_2\in G_1,因此\varphi 是单射.$
$再由f是满射,知\varphi 也是满射,从而\varphi 是双射.$
$\forall aN,bN\in G/N,由f是同态,有$
$\varphi (aN\cdot bN)=\varphi (abN)=f(ab)$
$=f(a)f(b)=\varphi (aN)\cdot \varphi (bN),$
$所以\varphi 还是同态映射,于是\varphi 是同构映射,故G_1/N\simeq G_2.$
这个定理的结论，是两个群同构，而在抽象的意义下，两个同构的群，是相同的群。所以，这一定理是很重要的，称为群的同态基本定理。
$推论1.4.7设G为一群,f是G到另一群的同态映射,则G的同态象f(G)必同构于$
$G的商群G/\ker f;反之,G的任一商群都可看作G的同态象.$
$证:是f是G到G^{\prime }的同态,则f也可看作G到f(G)的满同态,故据定理1.4.6,有G/\ker f\simeq f(G).$
$反之,设G/N是G的任一商群,即有N⊲G,则G到G/N的自然同态\pi 是满同态,故G/N可看作G的同态象\pi (G).$
两个群间的任一满同态映射,都可看作一个群到某一个商群上的自然同态;要找出一个群G的所有同态象,就相当于找出G的所有的商群,也就相当于找出G的所有正规子群.
$定理1.4.8设f是群G_1到群G_2的满同态,N=\ker f,则$
$①f建立了G_1中包含N的子群与G_2中子群间的双射;$
$②上述双射把正规子群对应到正规子群;$
$③若H⊲G_1,N\subseteq H,则G_1/H\simeq G_2/f(H).$
$推论1.4.9设G是群,N⊲G,\pi 是G到G/N的自然同态,则\pi 建立了G中包含N$
$的子群与G/N的子群间的双射,而且把正规子群对应到正规子群.又若H⊲G,$
$N\subseteq H,则G/H\simeq (G/N)/(H/N).$
从推论1.4.7知，一个群的同态象总与该群的某一商群同构，故在讨论满同态时，我们可以只考虑群到它的商群上的自然同态，而不失一般性。
下面定理中谈到的群G的子群H，不再有“包含同态核N”的限制。
$定理1.4.10设G是群,N⊲G,\pi 是G到G/N的自然同态,H<G,则$
$①HN是G中包含N的子群,且HN={\pi }^{-1}(\pi (H)).$
$即HN是H在\pi 映射下的象集合\pi (H)的完全原象{\pi }^{-1}(\pi (H)).$
$②(H\cap N)⊲H,且\ker (\pi {|}_H)=H\cap N.$
$③HN/N\simeq H/(H\cap N).$
$证:①:\forall h_1,h_2\in H,\forall n_1,n_2\in N,即\forall h_1{n}_1,h_2{n}_2\in HN,$
$h_1{n}_1(h_2{n}_2{)}^{-1}=h_1{n}_1{n}_2^{-1}{h}_2^{-1}=h_1{h}_2^{-1}{h}_2{n}_1{n}_2^{-1}{h}_2^{-1}.$
$因N⊲G,h_2{n}_1{n}_2^{-1}{h}_2^{-1}\in N,因H<G,h_1{h}_2^{-1}\in H,$
$于是h_1{n}_1(h_2{n}_2{)}^{-1}\in HN,据定理1.3.1知HN<G,且N\subseteq HN,又$
π ( H N ) = { h n N ∣ h ∈ H , n ∈ N } \quad \pi(HN) = \lbrace hnN | h \in H, n \in N \rbrace π(HN)={hnN∣h∈H,n∈N}
= { h N ∣ h ∈ H } = π ( H ) . \qquad \qquad = \lbrace hN | h \in H \rbrace = \pi(H). ={hN∣h∈H}=π(H).
$即G中包含同态核N的子群HN在\pi 映射下的象集是G/N中的子群\pi (H).$
$据定理1.4.8①,\pi 建立的双射就把HN对应到\pi (H),从而HN={\pi }^{-1}(\pi (H)).$
$②:因两个子群的交仍是子群,知(H\cap N)<G,又(H\cap N)\subseteq H,故(H\cap N)<H.再由N⊲G,用定义1.3.4可验证(H\cap N)⊲H.再注意到\forall h\in H,\pi {|}_H(h)=\pi (h),便可证明\ker (\pi {|}_H)=H\cap N.$
$③:由①知\pi (H)=\pi (HN)=HN/N,所以\pi 是H到HN/N的满同态映射,故据同态基本定理有$
$H/(\ker (\pi {|}_H)\simeq HN/N.$
$而由②\ker (\pi {|}_H)=H\cap N,故上式就是我们要证的结果.$