数字电路课件.ppt

第三篇 代数系统 信息科学与工程学院 王新红 5-3 半群和独异点 半群是一种特殊的代数系统，它在形式语言、自动机等领域都有具体的应用。 广群、半群与独异点的定义 *半群和独异点的性质 5-3 半群和独异点 广群、半群与独异点的定义 定义5-3.1 一个代数系统S,*，其中S是非空集合，*是S上的一个二元运算，如果运算*是封闭的，则称代数系统S,*为广群。 定义5-3.2 一个代数系统S,*，其中S是非空集合，*是S上的一个二元运算，如果：（1）运算*是封闭的（2）运算*是可结合的，即对任意的x,y,z?S，满足(x*y)*z=x*(y*z)则称代数系统S,*为半群。 定义5-3.3含有幺元的半群称为独异点（含幺半群，单位半群） 5-3 半群和独异点 半群和独异点的性质 定理5-3.1 设S,*是一个半群，B?S且*在B上是封闭的，那么B,*也是一个半群。 通常称B,*是S,*的子半群。 定理5-3.2 设S,*是一个半群， 如果S是一个有限集, 则必有a?S，使得a*a=a. 即有限半群必有等幂元。 5-3 半群和独异点 半群和独异点的性质 定理5-3.3 设S,*是一个独异点，则关于运算*的运算表中任何两行或两列都是不相同的。 定理5-3.4 设S,*是一个独异点，对于任意的a,b?S，且a,b均有逆元，则 a）(a-1)-1=a b) a*b有逆元，且(a*b)-1=b-1*a-1 5-4 群和子群 群 有限群、无限群、置换群、等幂元 群的性质 子群 子群的性质 子群的判别 5-4 群和子群 群的定义 定义5-4.1 设G,*是一个代数系统，其中G是非空集合，*是G上的一个二元运算，如果 (1)运算*是封闭的. (2)运算*是可结合的 (3)存在幺元e。 对于每一个元素x?G，存在着它的逆元。 则称代数系统G,*是一个群。 5-4 群和子群 至此，我们可以概括地说： 广群仅仅是一个具有封闭二元运算的非空集合； 半群是一个具有结合运算的广群； 独异点是具有幺元的的半群； 群是每个元素都有逆元的独异点。即有 {群} ?{独异点} ? {半群} ? {广群} 5-4 群和子群 群的性质 定理5-4.1 群中不可能有零元。 定理5-4.2 (群方程存在唯一解)设G,*是一个群，对于a,b ? G,必存在唯一的x ? G，使得a*x=b；存在唯一的y ? G，使得y*a=b。 定理5-4.3 （消去律）设G,*是一个群，对于a,b,c ? G,如果有 a*b=a*c或者 b*a=c*a ，则必有b=c。 定理5-4.4 群G,*的运算表中的每一行或每一列都是G的元素的一个置换。 定理5-4.5 在群G,*中，除幺元e外，不可能任何有别的等幂元。 5-5 阿贝尔群和循环群 阿贝尔群 定义5-5.1 如果群G,*中的运算*是可交换的，则称该群为阿贝尔群，或称交换群。 循环群 定义5-5.2 设G,*为群，若在G中存在一个元素a，使得G中的任意元素都由a的幂组成，则称该群为循环群，元素a称为循环群G的生成元。 循环群的性质 定理 5-5.2 任何一个循环群必定是阿贝尔群。 定理 5-5.3 设G,*是一个由元素a ?G生成的有限循环群。如果G的阶数是n，即|G|=n， 则 an=e ，且G={a,a2,a3,…,an-1,an=e} 其中，n是使an=e的最小正整数。（称n为元素a的阶） 函数 函数，定义域和值域 入射、满射和双射 函数：特殊的二元关系 定义4-1.1设X和Y是任何两个集合，而f是X到Y的二元关系，如果对于每个x?X，有唯一的y ?Y，使得x,y ?f，称关系f为函数。 函数：特殊的二元关系 函数与关系有两点区别 函数：特殊的二元关系 函数与关系有两点区别 入射、满射和双射 入射，1－1映射(injection): 从X到Y的映射中，X中没有两个元素有相同的象。 设f:X?Y是入射，即是对任意的x1，x2?X，如果x1?x2? f(x1) ? f(x2) 或者f(x1)= f(x2) ? x1=x2 入射、满射和双射 满射(surjection): 满足ranf=Y的函数f:X?Y，即Y的每个元素是X中一个或多个元素的象 设f:X?Y是满射，即是 对任意的y?Y，必存在x ?X，使得f(x)=y成立。 入射、满射和双射 双射(bijection): f既是单射又是满射, 亦称为一一对应(one-to-one mapping). 5-8 同态与同构 有各种各样的代数系统，但是，有些代数系统表面上看不同，实际它们运算的性质相似、或完全一样。 这就是代数系统间的同态、同构问题。 5-8 同态与同构 例 R+ ,×：是正实数R+上的乘法× ； R, + ： 是