近世代数-Chap01-半群和幺半群

近世代数

云课堂课程，哈尔滨工业大学任世军教授讲授。

良序原理、数学归纳法、二元代数运算

1. 第一数学归纳法的证明：

利用反证法证明，令 $Z_1=\{n|n \in N,P(n)不真\}$，设 $m$ 为 $Z_1$ 中的最小数，$m>1$，$P(m)$ 不真，$P(m−1)$ 为真，$m−1 \geqslant 1$，$P(m)$ 为真，矛盾，从而 $Z_1=\phi$，结论成立。

2. 第二数学归纳法的证明：

利用反证法证明，令 $Z_1=\{n|n \in N,P(n)不真\}$，设 $m$ 为 $Z_1$ 中的最小数，$m>1$，$P(m)$ 不真，由假设，$\forall k<m, P(k)$ 为真，矛盾，从而 $Z_1=\phi$，结论成立。

3. 定理 1.1 的证明：

当 $n=3$ 时，$(a_1 \circ a_2) \circ a_3=a_1 \circ (a_2 \circ a_3)$，命题成立。
设有 $k,1 \leqslant k<n$，

$$\begin{align} & (a_1 \circ a_2 \circ \cdots \circ a_k) \circ (a_{k+1} \circ \cdots \circ a_n) \\ = & (a_1 \circ a_2 \circ \cdots \circ a_k)∘((a_{k+1} \circ \cdots \circ a_{n−1}) \circ a_n) \\ = & ((a_1 \circ a_2 \circ \cdots \circ a_k) \circ (a_{k+1} \circ \cdots \circ a_{n−1})) \circ a_n) \\ = & (a_1 \circ a_2 \circ \cdots \circ a_{n−1}) \circ a_n \end{align}$$

4. 定理 1.3 的证明：

当 $n=2$ 时，由定义，定理成立。
当 $n=k$ 时，定理成立，由此，推出 $n=k+1$ 时，定理成立。
详细证明过程略。。。

5. 定理 1.4 的证明：

$a_l \circ a=a, \forall a \in S$
$a \circ a_r=a, \forall a \in S$
特别地，
$a_l \circ a_r=a_l=a_r$，定理得证。

有限半群成为幺半群的条件

1. 定理 11.3.4 的证明

$a_l \circ a = e, a \circ a_r = e$
$(a_l \circ a) \circ a_r = e \circ a_r = a_r$
$a_l \circ (a \circ a_r) = a_l \circ e = a_l$
而由于结合律
$(a_l \circ a) \circ a_r = a_l \circ (a \circ a_r)$
所以
$a_l = a_r$

子半群、子幺半群及例子

1. 定理 11.3.5 的证明

由前面的结论知，$(S, \circ)$ 为幺半群，
$\forall s \in S, sS = S$
$\varphi(x) = s \circ x, \forall s \in S$
对于 $\forall s \in S, \exists n \in N$，使得
$s^n = e, s \circ s^{n-1} = e$
$s^{-1} = s^{n-1}, s^{n-1} \circ s = e$

---

生成子半群、子幺半群、理想、循环半群、循环幺半群

定理 11.4.1 的证明

设 $(P, \circ, e)$ 为一个幺半群，$I$ 为指标集合，$\forall \alpha \in I$，$A_{\alpha}$ 为 $P$ 的一个子幺半群，令 $M = \cap_{\alpha \in I} A_{\alpha}$，$\forall \alpha \in I$，$e \in A_{\alpha}$，从而 $e \in \cap_{\alpha \in I} A_{\alpha} = M$，$M \neq \phi$。
$\forall a, b \in M$，即 $a, b \in \cap_{\alpha \in I} A_{\alpha}$，从而 $\forall \alpha \in I, a, b \in A_{\alpha}$，有 $a \circ b \in A_{\alpha}$，故 $a \circ b \in \cap_{\alpha \in I} A_{\alpha} = M$，即 $(M, \circ)$ 为代数系，从而 $M$ 为 $P$ 的一个子幺半群。
注意：若干个半群的交不一定是半群，有可能为空。

定理 11.4.3 的证明

令 $P$ 是由 $A$ 生成的左理想，$P = \cap A_{\alpha}$，$A_{\alpha}$ 为包含 $A$ 的所有左理想，往证 $P = A \cup SA$。
由 $A \subseteq A_{\alpha} = P$，由 $A \subseteq A_{\alpha}$，有 $SA \subseteq S A_{\alpha} \subseteq A_{\alpha}$，从而，$SA \subseteq P$，有 $A \cup SA \subseteq P$。