抽象代数笔记1——半群

本来想在知乎上写，后来想想，算了，拉低平均水平。。。

在知乎上找到一个不错的抽代笔记：
https://zhuanlan.zhihu.com/c_119426147?topic=%E6%8A%BD%E8%B1%A1%E4%BB%A3%E6%95%B0
可以参考。

我参考的是哈工大的近世代数课程和代数学引论。
开始没啥写的，就罗列一些概念吧：
(S, o) 代数系统， 其中o是二元代数运算: S x S -> S
如果满足结合律，就构成一个半群。

(S, o, e) 幺半群，存在左右幺元，（若存在，左右必相等）
（若存在2个左幺元，则不存在右幺元）

定理： 对于有限半群(S, o)，如果 $\exists s，t\in S，sS=S，St=S.$
那么它是 幺半群。
proof: s看为一个置换，那么显然有 $s^k=e$，故存在左幺元，
结论平凡。

如果一个幺半群 任意元素都有逆，那么就是群。

定理： 有限半群(S, o)是一个群，当且仅当
对于 $\forall s\in S, sS=S$ 并且 $\exists t\in S, St=S.$
proof: (S, o)是幺半群，于是 $\exists n\in N^+, \forall s\in S, s^n=e.$
$n=1$时显然，否则$n\geq 2$，$s$的逆为$s^{n-1}$，
于是所有元素可逆，(S, o)为群。

定理： (幺)半群(S, o)的 任意多个子(幺)半群 的交 仍是子(幺)半群
proof: 证明封闭性即可。

定义：(S, o)是一个(幺)半群，A是S的一个非空子集，
则S的一切包含A的子(幺)半群的交集(由上述定理知 是子(幺)半群)
称为由A生成的子(幺)半群，记为(A)
由(a)生成的子半群 $\{a, a^2,...,a^n,...\}$是可交换的。

定义： 半群(S, o)的一个非空子集A称为S的一个左(右)理想，
如果$SA\subseteq A (AS\subseteq A)$。
如果A既是左理想，也是右理想，那么称A是S的理想。

易见： 左(右)理想的交仍是左(右)理想。
定义： (S, o)，A是S的一个非空子集。
S的 所有包含A的理想的交 称为 由A生成的理想。

定理： A是半群(S, o)的一个非空子集，
则：
1.由A生成的左理想是 $A \bigcup SA$
2.由A生成的右理想是 $A \bigcup AS$
3.由A生成的理想是 $A\bigcup SA\bigcup AS\bigcup SAS$

定理： A是幺半群(M, o, e)的一个非空子集，则：
1. 由A生成的左理想是 MA
2. 由A生成的右理想是 AM
3. 又A生成的理想是 MAM

定义：
一个(幺)半群称为循环(幺)半群，如果这个(幺)半群是由其中的某个元素生成的(幺)半群。
由元素a生成的循环(幺)半群记为(a)
(即：证明 包含a的子(幺)半群是S，则S是循环(幺)半群)
$(a) = \{a, a^2,...,a^n,...\} = S$
即：(a)生成的子半群是 由a的方幂构成的集合=S

定理：
循环(幺)半群 是 可交换(幺)半群。
proof: 循环半群是a的生成半群，可交换。

定义： 同构
设$(S, o)$ 和 $(T, *)$ 是两个半群，如果存在从 $S$ 到 $T$ 的一个双射$\varphi$，
使得对 $\forall a,b\in S$
有 $\varphi (a\ o\ b)=\varphi (a)*\varphi (b)$
则称半群 $(S, o)$ 和 $(T, *)$ 同构。记为$(S, o)\cong (T, *)$ 或 $S\cong T$.
$\varphi$ 称为从S到T的一个同构(映射)。
(有幺元时 $\varphi (e)=e^{'}$)

$\ $
幺半群的Cayley定理：
任何幺半群$(M, o, e)\ $ 同构于 变换幺半群$(L(M), o, l_M)$
proof:
构造 $L(M)=\{\rho_a |\rho_a : M\to M, a\in M, \rho_a(x)=a\ o\ x,\forall x\in M \}$
即 $L(M)$ 为这样一个集合，其元素是由 $a$ 所确定的$M$上的一个左变换。
在 $L(M)$ 上定义乘法 $"o"$ 如下：(映射的合成)
$\rho_a\ o\ \rho_b=\rho_{a\ o\ b}, \forall \rho_a, \rho_b\in L(M)$，
则$(L(M), o,\rho_e)$是幺半群。
现在取$\varphi(a)=\rho_a$，易见同构。

定义： 同态
设$(S, o)$ 和 $(T, *)$ 是两个半群，如果存在从 $S$ 到 $T$ 的一个映射$\varphi$，
使得对 $\forall a,b\in S$
有 $\varphi (a\ o\ b)=\varphi (a)*\varphi (b)$
则称半群 $(S, o)$ 和 $(T, *)$ 同态。$\varphi$ 称为从$S$到$T$的一个同态(映射)。

设 $(M, o, e)$ 和 $(M', *, e')$ 是两个幺半群，如果存在从 $M$ 到 $M'$ 的一个映射$\varphi$，
使得对 $\forall a, b\in M$ ，有
$\varphi(e)=e',\ \varphi(a\ o\ b)=\varphi(a)*\varphi(b)$
则称幺半群 $(M, o, e)$ 和 $(M', *, e')$ 同态。$\varphi$ 称为从$M$到$M'$的一个同态(映射)。
(注：$\varphi(e)=e'$ 无法推出，在满同态下才行)

$\ $
定理：
设$(S, o)$ 是半群，$(T, *)$ 是代数系。
若存在 满射 $\varphi: S\to T$ 使得 $\forall x,y\in S$ 有
$\varphi(x\ o\ y)=\varphi(x) * \varphi(y)$
则 $T$ 是半群。

定理：
设$(S, o, e)$ 是幺半群，$(T, *)$ 是半群。
若 $\varphi$ 是 $S$ 到 $T$ 的满半群同态，
则 $\varphi(e)$ 是 $T$ 的幺元，从而 $(T, *, \varphi(e))$ 是幺半群。

定理：
设 $(M, o, e)$ 和 $(M', *, e')$ 是两个幺半群。
若 $M$ 到 $M'$ 有一个同态，
则 $M$ 的可逆元素 $a$ 的像 $\varphi(a)$ 也可逆，
并且 $(\varphi(a))^{-1}=\varphi(a^{-1})$

$\ $
同余关系定义：
设 $\cong$ 是代数系 $(X, o)$ 上的等价关系。
$\forall a,a',b,b'\in X$，如果$a\cong a', b\cong b'$，有$a\ o\ a'\cong b\ o\ b'$
那么就称 $\cong$ 是代数系 $(X, o)$ 上的同余关系。

定理：
设 $\cong$ 是代数系 $(X, o)$ 上的一个关系。
$\forall [a],[b]\in X/\cong$，定义“$\cdot$”：
$[a]\cdot [b]=[a\ o\ b]$
则“$\cdot$”是 $X/\cong$ 上的二元代数运算，当且仅当 $\cong$ 是同余关系。
(同余关系意味着从 $X$ 当中的乘法“$o$”建立 $X/\cong$ 当中的乘法“$\cdot$”)

定义：
设$(S, o)$ 和 $(T, *)$ 是两个半群。$\varphi$ 是 $S$ 到 $T$ 的同态。
半群$(S/E_\varphi, \cdot)$ 称为 商半群。令 $\gamma: S\to S/E_\varphi,\forall a\in S,\gamma(a)=[a]$，则称 $\gamma$ 为 $S$ 到商半群 $S/E_\varphi$ 的自然同态。

$\ $

幺半群的同态基本定理：
设 $\varphi$ 是幺半群 $(M, o, e)$ 到 $(M', *, e')$ 的同态，则：
1.同态像 $\varphi(M)$ 是 $M'$ 的一个子幺半群。
2.由 $\varphi$ 确定的等价关系是同余关系。即如果$aE_\varphi a',bE_\varphi b'$，那么$(a\ o\ b)E_\varphi (a'o\ b')$。
于是$\forall [a],[b]\in M/E_\varphi, [a]\cdot [b]=[a\ o\ b]$ 是 $M/E_\varphi$ 上的二元代数运算，$(M/E_\varphi, \cdot, [e])$ 是幺半群。
3.存在唯一的 $M/E_\varphi$ 到 $M'$ 的单同态 $\overline{\varphi}$ 使得：
$\qquad \varphi=\overline{\varphi}\ o\ \gamma$，其中 $\gamma$ 是 $M$ 到 $M/E_\varphi$ 的自然同态。
4.如果 $\varphi$ 是满同态，则 $M/E_\varphi$ 与 $M'$ 同构。