62群的定义(离散数学).pptVIP

§6.2 群的定义 6.2.1 半群 6.2.2 群 6.2.3 群的性质 6.2.1 半群--半群的定义 设G是一个非空集合，若 · 为G上的 二元代数运算，且满足结合律，则 称该代数系统（G， ·）为半群。 6.2.1 半群 -- 半群的例 例. 设S是一个非空集合，ρ（S）是S的幂集，∩和∪是ρ（S）上的交运算和并运算，则（ρ（S），∩），（ρ（S），∪）都为半群。 例. 设Z为整数集，+、-、· 是数的加法、减法和乘法，则（Z， +）、（Z， ·）都是半群；（Z， -）不是半群。 半群的例 例. 设N为自然数集，规定N 上的运算“⊙”如下：a ⊙ b = a + b + a·b， 显然，⊙为N上的二元代数运算。对N中任意三个元素a，b，c，有： （a⊙b）⊙c = （ a + b + a·b） ⊙ c = （a + b + a·b）+c+（a + b + a·b）·c =a + b + c + a·b + b·c + a·c + a·b·c， a⊙（b⊙c）= a⊙（b + c + b·c） =a+（b+c+ b·c）+a·（b+c+ b·c） = a + b + c + a·b + b·c + a·c + a·b·c， 故，（a⊙b）⊙c = a⊙（b⊙c）. 因此，（N， ⊙）为半群