第七章 群论基础12163.pptVIP

7.1 半群的定义与性质 定义7.1.1 设( S,?)为一个代数结构，若二元运算?满足结合律，则称 S为半群，或关于?的半群。 含有单位元的半群，称 S为含幺半群(或拟群、独异点)，记为( S,?, e )，其中e为单位元。 例. (Z, +) 和 (Z, x)都是半群，它们分别有单位元0和1，即它们都是含幺半群，也可分别记为： (Z, +,0) 和 (Z, x,1)；而(Z, -) 则不是半群。 例7.1.1 （1）(E, +) 和 (E, x)都是半群，其中E为偶数集合。 (E, +)有单位元0，即它是含幺半群，可记为：(E, +,0)；而 (E, x)没有单位元。 （2） (O, x)都是半群，其中O为奇数集合，并且有单位元1；但(O, +) 不是半群，因为奇数对加法不封闭。 （3） (P(S), ?)和(P(S), ?)都是半群，并且都是含幺半群(P(S), ?, ?)和(P(S), ?, S)。 （4） (Mn(R),+,╳)关于+和╳都是含幺半群。 若半群( S,?)的二元运算满足交换律，则称( S,?)为交换半群，反之，则称其为非交换半群。 若S为有限集合，则称半群( S,?)为有限半群； 若S为无限集合，则称半群( S,?)为无限半群。 定理7.1.1 有限半群一定含有幂等元。 定义7.1.2 设( S,?)为半群，H?S, 若S的元素均可