离散数学-代数系统-半群与独异点，群-18

离散数学

代数系统

半群与独异点
定义：

(1)设V=<S, ∘ >是代数系统，∘为二元运算，如果∘运算是可结合的（满足结合律），则称V为半群(semi-group)
(2)设V=<S, ∘ >是半群，若e∈S是关于∘运算的单位元，则称V是含幺半群，也叫做独异点(monoid)，有时也将独异点V记作V=<S，∘ ，e>

半群和独异点的性质：

• 半群<S, ∘ >中的幂，由于半群中的运算是可结合的，可以定义该运算的幂。对任意x∈S，规定：x¹=x，xⁿ⁺¹=xⁿ ∘ x, n∈Z+
• 独异点<S, ∘,e>中的幂对于任意的x∈S，可以定义x的零次幂，即x⁰=e，xⁿ⁺¹=xⁿ ∘ x ，n∈N独异点的幂运算也遵从半群的幂运算规则，其中m和n是自然数.
• 设<S, ∘ >是半群，如果S是有限集合，则必存在a∈S, 使得 a ∘ a=a
• 设<M，∘ ，e>为独异点，则关于∘ 的运算表中任两列或任两行均不相同
• 给定独异点<M， ∘ ，e>，对任意a，b∈M且a，b均有逆元，则
  (1) (a-1)-1=a
  (2) a ∘ b有逆元，且(a ∘ b)-1=b-1 ∘ a-1

子半群与子独异点：
定义： 半群的子代数叫做子半群，独异点的子代数叫做子独异点。

• 子半群的判别方法：
  V=<S,∘ >是半群，T⊆S，T非空，如果T对V中的运算∘封闭，则<T,∘ >是V的子半群.
• 子独异点的判别方法：V=<S,∘, e>是独异点，T⊆