离散数学21_第6章代数系统的一般概念_验证代数系统是否为群__半群

要验证代数系统是否为群， 只需要逐一验证以下4个条件：

1. 封闭性
2. 结合律
3. 有幺元
4. 每个元素都有逆元

一. 半群

如果只满足前两条， 则可判断是半群。

我们容易得出结论：  代数系统<Z₊ , —>和 <R,  />都不是半群，因为它们都不是封闭的，

这里, — 和 / 分别是普通的减法和除法。

 

二.  独异点

含有幺元的半群称为独异点。

三.  群

通过前面介绍，可以得出结论：  代数系统<Z,  +>,  <Q,  +>,  <R,  +> 都是群， 0是各自幺元， 对每个元素x,  -x就是它的逆元。

但是， <N,  +> 不是群。 因为对于任何正整数， 在N中都不存在它的逆元。

    3.1  有限群,  平凡群   

 3.2  交换群

设<G,  *>是一个群，  若运算 * 在G上满足交换律，  则称 G 为交换群或  阿贝尔群。