(离散数学)代数系统48.pptVIP

离散数学 离散数学 一、半群的概念（独异点） 含幺半群（独异点）：如果半群V = S， ? 的二元 运算?含有幺元，则称V为含幺半群(独异点)。 即?e?S，使得对?x?S都有e ? x=x ? e=x。 独异点亦可记为S， ? ，e。 如：N，+，0，Z，+，0都是独异点， 但Z+, +不是独异点。 离散数学 一、半群的概念（独异点） 独异点的性质：A,?是独异点, 则?的运算表中任意 两行或两列都不相同。 证明：任取a,b(a?b)所在行,由于A中含有幺元e比较a行,b行中e列的元素： a ? e = a b ? e = b 因为：a ? b,所以a ? e ? b ? e,从而a行与b行不同, 同理可证，任意两列不同。 离散数学 一、半群的概念（子代数） 子半群：半群的子代数。 即设V = S, ? 是半群，B ? S且B ? ?， 若B对? 运算封闭，则B, ? 是V的子半群。 子独异点：含幺元的子半群。即设V = S, ? , e是独异 点，B ? S且B ? ?，若B对?运算封闭，且e?B， 则B, ? , e是V的子独异点。 如：N, +是Z, +的子独异点，但Z+, +却不是。 如：Z+, +和N, +是Z, +的子半群。 离散数学 一、半群的概念（幂） 半群中的幂：设半群V = S, ? ，则对? x?S， x1 = x，xn+1 = xn ? x，(n为正整数) 独异点中的幂：设独异点V = S, ? , e，则对? x?S， x0 = e，xn+1 = xn ? x，(n为自然数) 幂运算的性质： xm ? xn = xm + n ， (xm)n = xmn (m, n为正整数) 离散数学 二、群的概念 群：设V=G, ?是代数系统， ? 是G上定义的二元运算。如果满足以下条件： ①运算?在集合G上满足封闭性; ②运算?在集合G上是可结合的; ③集合G关于运算?存在幺元e; ④集合G中每个元素都存在逆元; 则称V = G, ? 为群。 如：Z, +, R–{0}, ?是群，但N, +不是。 代数系统 独异点 群 ② ③ ④ 半群 ① 离散数学 二、群的概念 有限群：G为有限集的群G, ? 称为有限群，否则称为 无限群。 |G|为有限群的阶。 交换群：若群G, ? 中的二元运算? 是可交换的，则称 群G, ?为交换群，也称阿贝尔群。 如：Z, +, R–{0}, ?为无限群，Zn, ?为有限群。 如：Z, +, R–{0}, ?, Zn, ?n都是阿贝尔群。 离散数学 二、群的概念 设G = {e, a, b, c}， ?为G上的二元运算，运算表如下： ? e a b c a a e c b b b c e a e e a b c c c b a e 称群G, ? 为Klein四元群。在含四个元素的群中, 任意元素与自己运算的结果都为幺元；除幺元外，任意两个运算的结果都等于另一个元素。 离散数学 二、群的概念 群中的幂：设群G, ? ，则对? x?G， x0 = e ，xn+1 = xn ? x，(n为非负整数) x -n= (x -1)n= (xn)-1，(n为正整数) (1) ? x?G，(x -1)-1 = x， 幂运算的性质： (2) ? x, y?G，(x ? y)-1 = y -1 ? x –1， (3) ? x?G，xm ? xn = xm + n ，m, n为整数 (4) ? x?G，(xm)n = xmn ， m, n为整数 离散数学 二、群的概念 设G, ? 为群，对? a, b?G，方程a ? x = b 和y ? a = b在G中有解，且解是唯一的。 定理1 显然，两个方程的解分别是x = a-1 ? b，y = b ? a–1。 群G, ? 中不存在零元? 。 定理2 设G, ? 为有限群，则G的运算表中的每一行 (每一列)都是G中元素的一个置换，且不同行(或列)的置换都不相同。