定义设A,为半群.ppt

庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn * 第六章 典型代数系统 庄伯金 bjzhuang@bupt.edu.cn * 主要内容 半群的概念与性质 群的概念与性质 环的概念与性质 域的概念 庄伯金 bjzhuang@bupt.edu.cn * 半群的概念 定义：设代数系统V=A,?，?为A上的二元运算，若?满足结合律，则称V为半群。 半群由一个集合与一个二元运算组成； 满足结合律； 若半群满足交换律，则称为可交换半群。 定义：设V=A,?为半群，若该半群中的二元运算?含有幺元e，则称V为含幺半群或幺群或独异点。记作A,?,e 若含幺半群满足交换律，则称为交换幺群。 庄伯金 bjzhuang@bupt.edu.cn * 循环幺群 定义： A,?,e为幺群，若存在一个元素g∈A，使得对任意的a∈A，都有a=gn成立，则称A,?,e为循环幺群，并且称g是A的一个生成元。 定理：循环幺群是可交换幺群。 庄伯金 bjzhuang@bupt.edu.cn * 子半群与子幺群 定义：设A,?为半群，B?A，运算?在B中封闭，则称B,?为A,?的子半群。 定义：设A,?,e为幺群， B?A，运算?在B中封闭，且e∈B，则称B,?为A,?的子幺群。 定理：设f为代数系统A,*到B,?的满同态，则有： 若A,*为半群，则B,?也是半群； 若A,*为幺群，则B,?也是幺群。 庄伯金 bjzhuang@bupt.edu.cn * 群的定义 定义：设G,°是代数系统，°为二元运算。如果°可结合，存在单位元e∈G，且对G中任何元素x，都有x-1∈G，则称G为群。 若群G是有穷集，则称G为有限群，否则称为无限群。群G的基数称为群G的阶； 只含单位元的群称为平凡群； 若群G中的二元运算是可交换的，则称G为交换群或Abel群。 庄伯金 bjzhuang@bupt.edu.cn * 群的性质 定理：设G为群，?a,b∈G，方程ax=b和ya=b在G中有且仅有一解。 定理：设G为群，则对?a,b,c∈G，有 若ab=ac，则b=c； 若ba=ca，则b=c。 定理：设G为群， ?a,x,y∈G，且x?y，则ax?ay。 庄伯金 bjzhuang@bupt.edu.cn * 子群的定义 定义：设G是群，H是G的非空自己，如果H关于G中的运算构成群，则称H是G的子群，记作H≤G。若H是G的子群，且H为G的真子集，则称H为G的真子群，记作HG。 判定定理：设G为群，H为G的非空子集，则H是G的子群当且仅当?a,b∈H有ab-1∈H。 判定定理二：设G为群，H为G的有穷子集，则H是G的子群当且仅当?a,b∈H有ab∈H。 庄伯金 bjzhuang@bupt.edu.cn * 循环群 定义：若G是群，若存在a∈G，使得G={ak|k∈Z}。则称G是循环群，记作G=a，称a为G的生成元。 n阶循环群 无限循环群 定理：设G=a是循环群 若G是无限循环群，则G只有两个生成元，即a与a-1； 若G是n阶循环群，则G含有?(n)个生成元。对于任何小于等于n，且与n互质的数r，ar是G的生成元。 例：Z6,? Klein四元群 G={a,b,c,e},G,*满足： a*a=b*b=c*c=e*e=e; a*b=c, b*c=a, c*a=b; e为幺元； *可交换。 则称G,*为Klein四元群。 庄伯金 bjzhuang@bupt.edu.cn * 庄伯金 bjzhuang@bupt.edu.cn * 置换群 定义(置换)：设S={1,2,...,n}，S上的任何双射函数?:S→S称为S上的n元置换。记为： 定义：设?和?是n元置换，则?和?的复合?°?也是n元置换，称为?和?的乘积，记作??。 问题： 运算的单位元？ 置换的逆如何求？ 庄伯金 bjzhuang@bupt.edu.cn * 置换群 定义：设?是S上的n元置换，若?(i1)=i2, ?(i2)=i3, ..., ?(ik)=i1且S中其他元素保持不变，则称?为S上的k阶轮换，记作(i1i2...ik)。2阶轮换也称为对换。 例： 庄伯金 bjzhuang@bupt.edu.cn * 置换群 定理：任何n元置换都可以表示成不交的轮换之积。 定理：任何n元置换都可以表示成对换之积。 定义：Sn为S上所有的n元置换所构成的集合，定义二元运算°为两个n元置换的乘积，则Sn,°称为S上的n元对称群，Sn的任何子群称为S上的n元置换群。 庄伯金 bjzhuang@bupt.edu.cn * 环 定义：设R,+,*是代数系统，+和*是二元运算，如果满足以下条件： R,+构成交换群； R,*构成半群； *运算关于+运算适