【抽象代数】同态同构、循环群

同态与同构

同态定义

两个代数系统$(A,o),(\overline{A},\overline{o})$，如果存在映射$\phi :A\to \overline{A}$，若对于任意的$a,b\in A$，都有$\phi (aob)=\phi (a)\overline{o}\phi (b)$，则称$\phi$是从$A$到$\overline{A}$的同态映射。满同态映射也称为同态满射。若$A$到$\overline{A}$存在满同态，则称两个代数系统是同态的，记为$A$ ~$\overline{A}$

性质

1）两个代数系统同态$A$ ~$\overline{A}$，若A上的运算满足交换律，则$\overline{A}$上的运算也满足交换律；结合律也同样适用。

2）同态映射的复合映射必定是同态映射：满同态的复合一定是满同态，单同态的复合一定是单同态。

同构与自同构定义

在同态定义的基础上，如果$\phi$既是双射又是同态映射，则称$\phi$是从$A$到$\overline{A}$的同构映射。若$A$到$\overline{A}$存在同构映射，则称两个代数系统是同构的，记为$A\simeq \overline{A}$

特别的，当$\overline{A}=A,\overline{o}=o$，则$\phi :A\to A$为自同构。

性质

1）$A\simeq A$

2）若$A\simeq \overline{A}$,则$\overline{A}\simeq A$

3）同构的复合映射必定是同构

4）两个代数系统同构$A\simeq \overline{A}$ ，$A$ 和$\overline{A}$具有完全相同的运算律（交换律、结合律、左右消去律）

• 如果两个代数系统对运算律P的适应不同，则两个代数系统不同构。

群同态、同构定义

设{G;⋅}\{G;·\}{G;⋅}和{G′;∗}\{G^{'};*\}{G′;∗}是两个群，如果映射$f(a\cdot b)=f(a)\ast f(b),\forall a,b\in G$满足,则称f是G到G’的群同态，如果f单射，则称f为单同态；如果f是双射，则称为f是G到G’的群同构，群G和群G’同构，记为$G\simeq G^{\prime }$

例：

设$H⊲G,\pi :G\to G/H$为自然映射，$\pi$ 为群的同态，称为自然同态。

性质

1）设$f:G\to G’$为群的同态，则$f(e_1)=e_2,f(a^{-1})=f(a{)}^{-1}$

2）设$f:G\to G’$为群的同态，则$f(G)<G^{\prime }$

3）若$f、g$为同构，则$gf$为同构，$f^{-1}:G^{\prime }\to G$为同构。

核和像

设$f:G\to G^{\prime }$ 是群同态，分别称集合

Kerf={a∈G∣f(a)=e′},Im(f)=f(G)={f(a)∣a∈G}Ker f = \{a \in G | f(a) = e'\}, Im(f) = f(G) = \{f(a)|a \in G \}Kerf={a∈G∣f(a)=e′},Im(f)=f(G)={f(a)∣a∈G}

为同态f的核和像。

性质

1）群同态的核一定是正规子群，记作 $kerf⊲G$

群G的子群H是正规子群当且仅当H是G到某个群的一个同态的核。

2）设$H⊲G,\pi :G\to G/H$为自然同态，则$ker\pi =H$

群同态的基本定理

1）设$f:G\to G^{\prime }$的满同态，则$G/kerf\simeq G^{\prime }$

2）$f:G\to G^{\prime }$的单同态 $\iff$ kerf={e}kerf = \{e\}kerf={e}

3）$f：G\to G^{\prime }$的群同态，则$G/kerf\simeq f(G)$

4）设$f：G\to G^{\prime }$的满同态，$N=kerf$

• $f$建立$G$包含N的子群与$G^{\prime }$的子群之间的一一对应
• 上述对应将正规子群对应到$G^{\prime }$的正规子群
• 若$H⊲G_1,N\subseteq H$，则$G/H\simeq G^{\prime }/f(H)$

5）设$N⊲G，\pi :G\to G/N$为自然同态，$H⊲G$

• HN为G中包含N的子群，且$\pi (HN)=\pi (H)=HN/N$
• $(H\cap N)⊲H，ker(\pi |a\in H)=H\cap N$
• $HN/N\simeq H{/}_{H\cap N}$

循环群

定义

设G为群，若存在$a\in G$，使得G={an∣n∈Z}G = \{a^n | n \in Z\}G={an∣n∈Z}，则称G为循环群，记作$G=<a>$ ,a为生成元。

写成加法群，符号<a>={ma∣m∈Z}<a> = \{ma|m \in Z\}<a>={ma∣m∈Z}

例：

{Z;+}\{Z ;+\}{Z;+}为循环群，1和-1都是生成元。

Um={c∈C∗∣cm=1}U_m = \{c \in \mathcal{C}^{*} | c^m = 1\}Um​={c∈C∗∣cm=1}对乘法成群，为循环群，本原根为生成元。U2={1,−1},−1U_2 = \{1,-1\},-1U2​={1,−1},−1为生成元，U3={1,w,w2},w=−1+−32,wU_3 = \{1,w,w^2\},w = \frac{-1+\sqrt{-3}}{2},wU3​={1,w,w2},w=2−1+−3​​,w为生成元。

凡是循环群必是阿贝尔群

循环群的子群也是循环群

{Z;+}\{Z;+\}{Z;+}的任何子群形如$mZ,m\ge 0$

性质

1）设$G$为循环群，若$|G|=\infty$，则G≃{Z;+}G \simeq \{Z;+\}G≃{Z;+}；若$|G|=m>0$，则$G\simeq Z{/}_{mZ}=Z_m\simeq U_m$

2）两个循环群同构$\iff$ 两个循环群的阶相同

3）$G=<a>,|G|=m,$若n为m的正整数因子，则G中存在唯一的n阶子群。

4）设G为有限群，$|G|=m$，则G为循环群$\iff$ 对m的任何正整数的因子n，存在唯一的n阶子群。

5）设$|G|=m,a\in G$，则a的阶$d|m$