与布尔代数的运算一致-计算机学院离散数学优秀课.ppt

5.4.2 分配格 5.4.3 有补格 有界格 设（L，≤）是一个格。若S是L的任意一个有限非空子集，则S有一个最大下界和一个最小上界。 Def: 格（L，≤）称为有界格，如果它有一个最大元素（记为1）和一个最小元素（记为0）. 对任意a∈L，都有 0≤a≤1 则 0，1称为格（L，≤）的界。 例 在有界格（L，≤ ）中，任意元素a可以有余元素，也可以没有余元素；如果有余元素，则可以有一个或一个以上的余元素。 引理 在有界格（L，≤）中，1是0的唯一一个余元素，反之亦然。 有补格 Def: 设(L,×,·)是有界格,a∈L，若存在b ∈L ，使得a+b=1,a·b=0，则称b是a的补元。 Remarks (1)在(?*, ? , ?)中的?称为代数常数. 代数结构中的代数常数可以不止一个, 当然也可以没有代数常数. (2) (?*, ?)是半群, (?*, ? , ?)是独异点, 它们是两个不同的代数结构. 正因为这样,一个最好的处理方式是将代数常数看作是0元运算,(?*, ?, ?)有1个0元运算(及1个二元运算),布尔代数有2个0元运算. Theorem 设(S, *)是有限半群, 则(S, *)中存在幂等元素. 讨论代数结构,一种常用的方法是根据其子代数所具有的性质去推测原代数的性质. Def 设(A, f1, f2,…, fk)是代数结构, ? ? S ? A,若(S, f1, f2,…, fk)是代数结构,则称其为(A, f1, f2,…, fk)的子代数,或在不强调运算情况下简称S是A的子代数. 一般地,要验证S是否是A的子代数,只要验证S关于A中运算是否封闭即可. 3.子代数 例 (Z, +, .)是(R, +, .)的子代数, 因为整数集合Z关于加法运算和乘法运算是封闭的. 例 (Z8, ?8, 1)是独异点,其中Z8 = {0, 1, 2, 3, 4, 5, 6, 7}, 是?8模8的乘法运算. 取S = {0, 2, 4}, 这时S关于运算是封闭的, 但因为1? S,即S关于Z8中的0元运算不封闭, 所以S不是Z8的子代数. 例 (Zm, +m , ?m)? 给定一个集合G={a,b,c,…}和集合G上的二元运算?，满足如下条件： 1. 封闭性：若a,b?G，则存在c?G使得a?b=c； 4. 存在逆元：对G的任意元素a，恒有一个b?G，使得a?b=b?a=e，则元素b称为元素a的逆元素，记为a-1。 2. 结合律：(a?b)?c=a?(b?c)； 3. 存在单位元：G中存在一个元素e，使得对于G的 任意元素a，恒有 a?e=e?a=a； 则称集合G在运算?之下是一个群，或称G是一个群。 例 G={1,-1}在普通乘法下是群。 例 G={0,1,2,…,n-1}在mod n的加法下是群。 例 二维欧式空间中的刚体旋转变换集合{Ta}构成群，其中 前两例群元素的个数是有限的，称为有限群； 后一例群元素的个数是无限的，称为无限群。 有限群G的元素个数叫做群的阶,记做|G|。 若群G的任意二元素a,b恒满足ab=ba，则称G为 交换群，或Abel群。 设G是群，H是G的子集，若H在G原有的运算之下也是一个群，则称为G的一个子群。 1.群的定义 Def 设G是非空集合, ?是G上的代数运算,若下列3个条件成立,则称为群. (1) ?满足结合律; (2)G关于?有单位元, 通常记为e; (3)G中每一个元素在G中都有逆元. 5.2 群的定义及性质 例 验证: 整数集合Z关于数的加法运算+构成群. Solution 因为Z关于+是封闭的且满足 (1)+运算满足结合律; (2)Z关于+有单位元0: x + 0 = 0 + x = x; (3)Z中每一个元素x ? Z, 都有逆元- x ? Z: x + (-x) = (-x) + x = 0. 所以, (Z, +)是群. 例 设G = {e, a, b, c}, 其运算表如下的群称为Klein四元群,记为K : e a b c a e c b b c e a c b a e e a b c e a b c ? 2.群的性质 Theorem 设是(G, ?)群, 则?满足消去律. 证明思路： Theorem 设(G, ?)是群, 对于任意a, b ? G, 方程a ? x = b(x ? a = b或)在G中有唯一解a-1 ?b (b ? a-1 ). (1)存在性; (2)惟一性. 利用“群中任意元素均存在逆元”. Abel群 Def 设(G, ?)是群，若其运算?是