第5章节 代数系统hhs.ppt

An Introduction to Database Systenm 第三部分 代数系统 第五章 代数系统 5.1 代数系统的引入 5.1 代数系统的引入 5.1 代数系统的引入 5.1 代数系统的引入 5.1 代数系统的引入 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.2 运算及其性质 5.3 半群 5.3 半群 5.3 半群 5.3 半群 5.3 半群 5.4 群 定义：设 G , ? 是一代数系统, 其中 G 是非空集合, ? 为 G 上一个二元运算, 若 1) ? 是封闭的 2) ? 是可结合的 3) 存在幺元 e 4) 对任一 x ? G, 存在它的逆元 x -1 则称 G , ? 是一个群. 5.4 群 例：设R ={0°, 60°, 120°, 180°, 240°, 300°} , 表示在平面上几何图形绕形心顺时针旋转角度的六种可能情况。? 是 R 上的二元运算，a ? b表示平面图形连续旋转 a 和 b 得到的总旋转角度。并规定旋转 360°等于原来的状态。试验证R, ? 是一个群。 5.4 群 定义：设 G , ? 是一个群，如果 G 是有限集，则称 G , ? 是有限群， G中元素的个数通常称为该有限群的阶数，记为| G |；如果 G 是无限集，则称 G , ? 为无限群。 定理2：设 G , ? 是一个群，对于a,b ? G，必存在唯一的 x ? G，使得 a ? x = b。 定理3(消去律):设 G , ? 是一个群，对于任意的a,b,c ? G，如果有 a ? b = a ? c 或者 b ? a = c ? a , 则必有b = c。 5.4 群 定义：设 S 是一个非空集合，从集合 S 到 S 的一个双射称为 S 的一个置换。 5.4 群 定理4：群 G , ? 的运算表中的每一行或每一列都是 G 的元素的一个置换。 5.4 群 定理5：在群 A , ? 中, 除幺元 e 外, 不可能有别的等幂元。 5.4 群 子群：设 G , ? 是一个群, S 是 G 中的非空子集，如果 S , ? 也构成群，则称 S, ? 是 G , ? 的一个子群。 平凡子群：设 G , * 是一个群， S, * 是 G,* 的子群, 如果S = {e}，或者 S = G，则称 S, * 为 G,* 的平凡子群。 5.4 群 定理7：设 G , ? 是一个群, B 是G 的非空子集, 如果 B 是一个有限集, 那么只要运算 ? 在 B 上封闭， B , ? 必定是 G , ? 的子群。 5.4 群 定理8：设G, ? 是群，S 是 G 的非空子集，如果对于S 中的任何元素 a 和 b 有 a ? b-1? S, 则 S, ? 是G, ? 的子群。 5.5 阿贝尔群与循环群 定义：如果群 G , ? 中的运算 ? 是可交换的，则称该群为阿贝尔群，或称交换群。 5.5 阿贝尔群与循环群 从运算表可以看出运算 ? 关于 F 是封闭的 可结合的； 幺元： f 0 逆元： f 0、f 2是其自身， f 1、f 3互为逆元。 由运算表的对称性可知运算 ? 是可交换的。 因此F, ? 是阿贝尔群 5.5 阿贝尔群与循环群 定理：设 G , ? 是一个群， G , ? 是阿贝尔群的充要条件是对任意的a , b ? G , 有 ( a? b) ? ( a? b)= (a ? a) ? (b ? b)。 5.5 阿贝尔群与循环群 5.5 阿贝尔群与循环群 定义：设 G , ? 是群，若在 G 中存在一个元素 a，使得 G 中的任意元素都是由 a 的幂组成，则称该群为循环群，元素 a 称为循环群 G 的生成元。 5.5 阿贝尔群与循环群 定理：任何一个循环群必定是阿贝尔群。 5.5 阿贝尔群与循环群 5.5 阿贝尔群与循环群 定理3:设 G , ? 是一个由元素a ? G生成的有限循环群。如果 G 的阶数是 n，即|G|=n，则an=e，且 G = {a, a2, a3,..., an-1, an=e} 其中 e 是 G , ? 中的幺元，n 是使an=e的最小的正整数(称 n 为元素 a 的阶)。 5.5 阿贝尔群与循环群 5.5 阿贝尔群与循环群 5.7 陪集与拉格朗日定理 设G,*是一个群，A,B?P(G)且 A? ? , B ? ? , 记 A,B的积：AB ={a*b|a?A, b