抽象代数基本概念（二）：半群与幺半群

半群：

           \,\,\,\,\,\,\,\,\,\, 设(S; ◦) 是一个代数系，如果“◦“满足结合律，那么就称S 对于乘法“◦“构成一个半群（Semigroup），记为(S; ◦)

幺半群：

           \,\,\,\,\,\,\,\,\,\, 有单位元素e 的半群(S; ◦) 称为独异点或者称为幺半群。记为(S; ◦; e)。如果S 是一个有限集合，则称(S; ◦; e) 为有限幺半群，S 的基数称为幺半群(S; ◦; e) 的阶。

一、幺半群性质定理:

• 定理：

  • 幺半群性质定理：
               \,\,\,\,\,\,\,\,\,\, 有限半群(S; ◦) 是一个幺半群当且仅当$\exists s,t\in S$ 使得sS = S; St = S。
    
    

• 证明：

  • 必要性的证明：
               \,\,\,\,\,\,\,\,\,\, 按照条件，是显然的。
  • 充分性的证明：
    证明策略：
               \,\,\,\,\,\,\,\,\,\, 首先将问题分解为：
               \,\,\,\,\,\,\,\,\,\, “（一）$\exists s\in S$ 使得sS = S，证明有限半群(S; ◦)有左幺元”；
               \,\,\,\,\,\,\,\,\,\, “（二）$\exists t\in S$ 使得St = S，证明有限半群(S; ◦)有右幺元。”
               \,\,\,\,\,\,\,\,\,\, 因为根据代数系的幺元的基本性质——“假若左右幺元同时存在，则二者相等且为唯一的幺元”，则只需要分别证明上述二者成立即可。
    
    
    证明（一）：
               \,\,\,\,\,\,\,\,\,\, 因为$\exists s\in S$ 使得sS = S从而将s的左乘视为一种从S到S的映射Φ(x)。因为Φ(x)是一个满射（每一个像都有原像）。而又因为|sS|=|S|，从而Φ(x)是满射的同时又一定是单射。从而Φ(x)是一个双射，根据定义它也是一个S上的置换（Permutation）。
               \,\,\,\,\,\,\,\,\,\, 对于r阶循环置换δ来说，显然有${\delta }^{kr}=I,k=1,2,3...$。而对于$\Phi (x)={\delta }_1{\delta }_2{\delta }_3...{\delta }_n$来说，$\Phi (x{)}^k={\delta }_1^k{\delta }_2^k{\delta }_3^k...{\delta }_n^k$（置循乘法的交换率）。取k为