抽象代数精解【12】

群同构

基础

• $设G与G^{\prime }是两个群，\varphi 是G到G^{\prime }的一一对应，使得$
  $\varphi (a\cdot b)=\varphi (a)\cdot \varphi (b),\forall a,b\in G$
  $\varphi 就是群G到群G^{\prime }一个同构映射，称G与G^{\prime }同构，记作：\varphi :G\cong G^{\prime }$
  $群G到它自身的同构映射称为群G的自同构。$
• 群同构（Group Isomorphism）是抽象代数中的一个重要概念，表示两个群结构相同。具体来说，如果两个群 $G$ 和 $H$ 之间存在一个双射（即一一对应的映射） $\varphi :G\to H$，使得对于所有的 $g_1,g_2\in G$，都有 $\varphi (g_1\cdot g_2)=\varphi (g_1)\cdot \varphi (g_2)$，那么这两个群就被称为同构的，记作 $G\cong H$。
• $整数加群Z与偶数加群2Z同构$
  $$\begin{gathered} \varphi :Z->2Z \\ a->2a,\forall a\in Z \\ 1.\varphi :一一映射 \\ 2.\varphi (a\cdot 2a)=\varphi (a+2a)=6a=\varphi (a)+\varphi (2a)=2a=4a=6a \\ 3.\varphi :Z\cong 2Z \end{gathered}$$
• 任意二阶群与乘法群 { − 1 , 1 } 同构 任意二阶群与乘法群\{-1,1\}同构 任意二阶群与乘法群{−1,1}同构
  1. 设二阶群 G = { e , a } ，其中， a 2 = e ϕ : G → { − 1 , 1 } e → 1 a → − 1 2. ϕ ( e a ) = ϕ ( a ) = − 1 = ϕ ( e ) ⋅ ϕ ( a ) = 1 ⋅ ( − 1 ) = − 1 ϕ ( a e ) = ϕ ( a ) = − 1 = ϕ ( a ) ⋅ ϕ ( e ) = ( − 1 ) ⋅ 1 = − 1 ϕ ( a a ) = ϕ ( e ) = 1 = ϕ ( a ) ⋅ ϕ ( a ) = ( − 1 ) ⋅ ( − 1 ) = 1 ϕ ( e e ) = ϕ ( e ) = 1 = ϕ ( e ) ⋅ ϕ ( e ) = 1 ⋅ 1 = 1 1.设二阶群G=\{e,a\}，其中，a^2=e \\\phi:G \rightarrow\{-1,1\} \\e\rightarrow 1 \\a\rightarrow -1 \\2.\phi(ea)=\phi(a)=-1=\phi(e)\cdot\phi(a)=1\cdot(-1)=-1 \\\phi(ae)=\phi(a)=-1=\phi(a)\cdot\phi(e)=(-1)\cdot 1=-1 \\\phi(aa)=\phi(e)=1=\phi(a)\cdot\phi(a)=(-1)\cdot (-1)=1 \\\phi(ee)=\phi(e)=1=\phi(e)\cdot\phi(e)=1\cdot 1=1 1.设二阶群G={e,a}，其中，a2=eϕ:G→{−1,1}e→1a→−12.ϕ(ea)=ϕ(a)=−1=ϕ(e)⋅ϕ(a)=1⋅(−1)=−1ϕ(ae)=ϕ(a)=−1=ϕ(a)⋅ϕ(e)=(−1)⋅1=−1ϕ(aa)=ϕ(e)=1=ϕ(a)⋅ϕ(a)=(−1)⋅(−1)=1ϕ(ee)=ϕ(e)=1=ϕ(e)⋅ϕ(e)=1⋅1=1

例子

• 例子1

1. 循环群的同构: -${\mathbb{Z}}_n$是整数模$n$的加法群，定义为 { 0 , 1 , … , n − 1 } \{0, 1, \dots, n-1\} {0,1,…,n−1}，其中的运算是加法模$n$。

   • 对于$n$和$m$是互质的，群${\mathbb{Z}}_n\times {\mathbb{Z}}_m$和${\mathbb{Z}}_{nm}$是同构的。

2. 对称群和置换群的同构:

   • 对于任意有限集$S$，群$S_n$是$n$阶置换群，表示的是在$n$个元素上的所有置换。
   • 如果$n=3$，那么$S_3$和$D_3$（三角形的对称群）是同构的。

3. 矩阵群与对称群的同构: -$GL(2,\mathbb{R})$是 2×2 实矩阵在矩阵乘法下形成的群，定义在非零行列式上。

   • 这个群同构于${\mathbb{R}}^2$中的旋转和缩放变换群。

• 例题1

例题：设 $G_1=\mathbb{Z}$（整数加法群），$G_2={\mathbb{R}}^{\ast }$（非零实数乘法群），判断映射 $f:G_1\to G_2$，其中 $f(n)=2^n$（当 $n\ge 0$）且 $f(n)=\frac{1}{2^{-n}}$（当 $n<0$）是否为群同构。

解答：

1. 验证映射是双射：

   • 由于 $f(n)=2^n$（$n\ge 0$）和 $f(n)=\frac{1}{2^{-n}}$（$n<0$）都是单调递增的，因此 $f$ 是单射。
   • 又因为对于任意 $y\in {\mathbb{R}}^{\ast }$，若 $y>1$，则存在 $n\in \mathbb{N}$ 使得 $y=2^n$；若 $0<y<1$，则存在 $n\in \mathbb{N}$ 使得 $y=\frac{1}{2^n}=2^{-n}$，即 $y=f(-n)$。因此 $f$ 是满射。

2. 验证保持运算：

   • 对于任意 $m,n\in \mathbb{Z}$，当 $m,n\ge 0$ 时，$f(m+n)=2^{m+n}=2^m\cdot 2^n=f(m)\cdot f(n)$。
   • 当 $m,n<0$ 时，$f(m+n)=\frac{1}{2^{-(m+n)}}=\frac{1}{2^{-m}\cdot 2^{-n}}=\frac{1}{2^{-m}}\cdot \frac{1}{2^{-n}}=f(m)\cdot f(n)$。
   • 混合情况（一个非负一个非正）可以类似验证。

因此，映射 $f$ 是群同构。

注意：以上例题和解答是基于群同构的定义和性质构建的，旨在展示如何验证一个映射是否为群同构。在实际应用中，群同构的验证可能涉及更复杂的数学结构和技巧。
例题 1: 证明群${\mathbb{Z}}_6$与${\mathbb{Z}}_2\times {\mathbb{Z}}_3$是同构的。

解答:
1. Z 6 = { 0 , 1 , 2 , 3 , 4 , 5 } \mathbb{Z}_6 = \{0, 1, 2, 3, 4, 5\} Z6​={0,1,2,3,4,5}，其中的运算是模 6 的加法。
2. Z 2 = { 0 , 1 } \mathbb{Z}_2 = \{0, 1\} Z2​={0,1}和 Z 3 = { 0 , 1 , 2 } \mathbb{Z}_3 = \{0, 1, 2\} Z3​={0,1,2}，其中的运算分别是模 2 和模 3 的加法。
3. 定义映射$\varphi :{\mathbb{Z}}_6\to {\mathbb{Z}}_2\times {\mathbb{Z}}_3$，使得$\varphi (k)=(k\mathrm{mod}2,k\mathrm{mod}3)$。
4. 可以验证$\varphi$是双射，并且保持运算结构，因此$\varphi$是一个同构映射。故${\mathbb{Z}}_6\cong {\mathbb{Z}}_2\times {\mathbb{Z}}_3$。

例题 2: 证明$S_3$和$D_3$是同构的。

解答:
1.$S_3$是三阶对称群，包括6个元素，对应于3个元素的所有置换。
2.$D_3$是正三角形的对称群，包含3个旋转和3个反射，同样有6个元素。
3. 构造一个映射$\varphi :S_3\to D_3$，将$S_3$中的置换映射到$D_3$中的相应对称操作。
4. 证明$\varphi$是一个双射并且保持运算结构，因此$S_3$和$D_3$是同构的。

这些例子和例题展示了不同群之间的同构关系，以及如何构造和验证同构映射。

• 例子2

1. 整数加法群与偶数整数加法群的同构：

   • 群 $\mathbb{Z}$ 是所有整数在加法下组成的群。
   • 群 $2\mathbb{Z}$ 是所有偶数在加法下组成的群。
   • 定义映射 $\varphi :\mathbb{Z}\to 2\mathbb{Z}$，令 $\varphi (n)=2n$。
   • 这个映射是双射，而且满足 $\varphi (a+b)=2(a+b)=2a+2b=\varphi (a)+\varphi (b)$，所以 $\mathbb{Z}\cong 2\mathbb{Z}$。

2. 对称群 $S_3$ 与其自身的自同构：

   • 群 $S_3$ 是三个元素的对称群，包括所有可能的排列。
   • 如果定义一个映射 $\varphi :S_3\to S_3$，它是一个双射并且保持排列的复合顺序，则它是自同构的。
   • 例如，映射 $\varphi (\sigma )=\sigma$ 是一个显然的自同构。

3. 循环群 $\mathbb{Z}/4\mathbb{Z}$ 与 $V_4$ 的同构：

   • 群 $\mathbb{Z}/4\mathbb{Z}$ 是模 4 的整数在加法下的群，群元素为 { 0 , 1 , 2 , 3 } \{0, 1, 2, 3\} {0,1,2,3}。
   • 群 $V_4$ 是 Klein 四元群，群元素为 { e , a , b , a b } \{e, a, b, ab\} {e,a,b,ab}，其中 $a^2=b^2=(ab{)}^2=e$。
   • 这两个群是同构的，因为它们都有相同的阶数结构和运算规则。

• 例题2

1. 验证两个群同构：

   • 设 G = { e , a , a 2 } G = \{e, a, a^2\} G={e,a,a2} 和 H = { e , b , b 2 } H = \{e, b, b^2\} H={e,b,b2}，其中 $G$ 和 $H$ 都是阶为 3 的群，且 $a^3=e$， $b^3=e$。
   • 构造一个映射 $\varphi :G\to H$，令 $\varphi (e)=e$，$\varphi (a)=b$，$\varphi (a^2)=b^2$，并验证它是否是群同构。

2. 给定群及映射，判断是否是同构：

   • 给定群 $G={\mathbb{Z}}_6$ 和 $H={\mathbb{Z}}_2\times {\mathbb{Z}}_3$，定义映射 $\varphi :{\mathbb{Z}}_6\to H$ 通过 $\varphi (1)=(1,1)$，验证映射 $\varphi$ 是否是群同构。

3. 构造一个具体的群同构：

   • 给定 ${\mathbb{Z}}_4$ 和 ${\mathbb{Z}}_2\times {\mathbb{Z}}_2$，构造一个同构映射 $\varphi :{\mathbb{Z}}_4\to {\mathbb{Z}}_2\times {\mathbb{Z}}_2$
     并验证其性质。

通过这些例子和例题，你可以加深对群同构概念的理解并练习如何在不同的群之间构造同构映射。

参考文献

1.文心一言，chatgpt
2.《近世代数》