抽象代数（2）

半群和群

介绍：半群理论在20世纪60年代由于它在自动机和形式语言中的应用获得了广泛的重视。而群是抽象代数研究的历史最长和最深入的一类代数系统，群论中的概念和方法是代数研究中的典型方法。

半群的概念

定义1：代数系统$\lt S,\circ\gt$称为半群，如果对任意$a,b,c\in S$，有$(a\circ\ b)\circ c = (a\circ b)\circ c$;$\lt S,\circ\gt$称为交换半群，如果对任意的$a,b\in S$，有$a\circ b = b \circ a$.

定义2：若$\lt S, \circ \gt$是一个半群，并且存在一个元素$e\in S$,有

$$a\circ e = e \circ a = a$$ 则 $\lt S, \circ，e \gt$称为一个独异点， $e$称为单位元.

定理1：一个独异点$\lt S, \circ，e \gt$的单位元是唯一的

例：
$\lt Z,+\gt$($Z$是全体整数集合，$+$是普通加法)是一个半群，并且$\lt Z,+，0\gt$是一个独异点.

定义3：一个独异点$\lt S, \circ，e \gt$被称为循环独异点，如果存在一个元$a\in S$，使$S$中的每一个元$b$可表示为

$$b=a\circ a\circ...\circ a=a^n   (a^0 = e)$$ 也说 $\lt S, \circ\gt$由元素 $a$生成的，而$a$称为该循环独异点的生成元.

例：

$\lt \{[0],[1],[2],[3]\},\oplus,[0]\gt$是一个循环独异点，因为

$$[2]=[1]\oplus[1]$$ $$[3]=[1]\oplus[1]\oplus[1]$$ $$[0]=[1]\oplus[1]\oplus[1]\oplus[1]$$ $[1]$是它的生成元.

显然，循环独异点满足交换律，因为对任意$a,b\in S$都有$n,m$，使

$$a = a_0^n, b = a_0^m$$ 其中 $a_0$是生成元，而 $$a\circ b = a_0^n\circ a_0^m = a_0^m\circ a_0^n = b\circ a$$

子半群和半群同态

定义4：设$\lt S,\circ\gt$是一个半群，$\lt S^{'},\circ\gt$称为$\lt S,\circ\gt$的一个子半群，如果
- $S^{'}\subseteq S$
- $\lt S^{'},\circ\gt$是半群

例：
$\lt N,\times\gt$（其中$N$是自然数集合，$\times$是普通乘法）是一个半群，设$T=\{km|k\in N, m是某个固定的正整数\}$，显然$T\subset N,\lt T,\times\gt$是$\lt N,\times\gt$的子半群.

定义5：设$\lt S,*\gt$和$\lt T,\oplus\gt$是两个半群，若存在一个映射$\phi :S\to T$，对任意$a,b\in S$，都有

$$\phi(a*b)=\phi(a)*\phi(b)$$ 则称 $\phi$为一个半群同态.

如果半群同态是一一对应的满同态，则称它为半群同构.

定理2: 设$\lt S,*\gt$是半群，$\lt T,\oplus\gt$是一个代数系统.若有一同态满射$\phi :S\to T$，则$\lt T,\oplus\gt$也是半群.

定理3：设$\lt S,*\gt$与$\lt T,\oplus\gt$半群满同态，则

- 该半群同态保持运算的可交换性
- 单位元的同态象是T中的单位元

商半群和半群直积分

定义6：设$\lt S，*\gt$是一个半群，$R$是其上的一个一致关系，则商代数$\lt S^{'}/R,\circ/R\gt$
为$\lt S，*\gt$商半群.

定理5：半群与它的商半群同态.

定义7：设$\lt S，*\gt$和$\lt T，\circ\gt$是两个半群，$\lt S，*\gt$和$\lt T，\circ\gt$的直积（或笛卡尔乘积）是代数系统

$$\lt S\times T，\bullet \gt$$ 其中 $\bullet$定义为对任意 $a,b\in S,\hat a, \hat b \in T$有 $$(a,\hat a)\bullet(b,\hat b) = (a*b,\hat a \circ \hat b)$$

定理6：设$\lt S，*\gt$，$\lt T，\circ\gt$是两个交换群.

• 若$\lt S，*\gt$和$\lt T,\circ\gt$都是可交换半群，则$\lt S\times T，\bullet \gt$也是可交换半群.
• 若$\lt S，*\gt$和$\lt T,\circ\gt$都是以$e_S,e_T$为单位元的独异点，则$\lt S\times T，\bullet \gt$也是独异点，并且它的单位元是$( e_S,e_T)$
• 若$Z_S$和$Z_T$分别表示$\lt S，*\gt$和$\lt T,\circ\gt$的零元，则$(Z_S,Z_T)$是$\lt S\times T，\bullet \gt$的零元.
• 若$s\in S,t \in T$都有逆元，则$(s^{-1},t^{-1})$是$(s,t)$的逆元.

群的概念

定义8：设$\lt G，\times\gt$是一个代数系统，$\lt G,\times\gt$称为一个群，如果
- 对任意$x,y,z\in G$,有

$$x\times(y\times z) = (x\times y)\times z$$ （结合律）
- 存在一个元素 $e\in G$，对任意 $x\in G$，有 $$x\times e = e\times x = x$$ （单位元素）
- 对每一个元素 $x\in G$，存在一个元素 $x^{-1}\in G$，使得 $$x^{-1}\times x = x \times x^{-1} = e$$ （逆元素）

定理7：群的单位元唯一.
定理8：对于群$\lt G,\times\gt$的每一个元$a\in G$，只存在唯一的逆元$a^{-1}\in G$，使

$$a^{-1}\times a = a \times a^{-1} = e$$

定义9：一个群称为有限群，如果它的集合是有限集合.

定义10：一个群称为交换群，如果

$$a\times b = b \times a,对任意a,b\in G$$

定理9：群$\lt G,\times\gt$的运算$\times$满足：
如果$a \times x = a \times x^{'},则x=x^{'}$;
如果$x \times a = x^{'} \times a,则x=x^{'}$;

子群和群的同态

定义11：设$\lt G,\times\gt$是一个群，$\lt S,\times\gt$称为$\lt G，\times\gt$的一个子群，如果
- $S\subseteq G$;
- $S,\times$是一个群.

每一个群$\lt G,\times\gt$至少有两个子群:
- $\lt|e|,\times\gt$
- $\lt G,\times \gt$
这两个群称为平凡子群,除平凡子群外其他子群都是真子群.

定理10：群$\lt G,\times\gt$中$G$的一个非空子集$S$构成子群$\lt S,\times\gt$的充分条件是：
- 若$a,b\in S$，则$a\times b \in S$
- 若$a\in S$，则其相应的逆元$a^{-1}\in S$.

定理11：群$\lt G、\times\gt$是一个群，$\lt \hat G、\hat \times\gt$是一个代数系统，若$\lt G、\times\gt$与$\lt \hat G、\hat \times\gt$满同态，则$\lt \hat G、\hat \times\gt$也是一个群.

定义12：设$\phi$是$\lt G,\times\gt$到$\lt \hat G、\hat \times\gt$的一个同态映射，$\{a|a\in G\land \phi(a)=\hat e \}$称为同态核，并记为$ker(\phi)$.

定理13：群$\lt G,\times\gt$到$\lt \hat G、\hat \times\gt$的同态$\phi$的做成的$\lt ker(\phi),\times\gt$是$\lt G，\times\gt$的一个子群.

变换群、置换群循和循环群

定义13：有限集合的一个一一变换称为一个置换，一个有限集合的若干个置换做的群称为置换群.

定理16：每一个有限群都与一个置换群同构.

定义14：若一个群$\lt G,\times\gt$的每一个元$x$都可以由某一个固定元$a\in G$表示为$x=a^n$，其中$n$是整数，则$\lt G,\times \gt$称为循环群，$a$称为$G$的生成元，记为$G=\lt a\gt$.