离散数学复习第四章代数系统.docVIP

离散数学复习第四章代数系统 一、典型考查要点： 1、运算的判断：方法：运算满足封闭性，即运算后产生的象仍在同一个集合中。详见P77 2、运算性质的判断：运算性质：封闭、结合、交换、分配、幂等、吸收、消去 方法：根据定义，在所讨论的集中任取元素，符合定义即可。在运算表中可以判断：1）运算*具有封闭性，当且仅当运算表中的每个元素都属于A。2）运算*具有可交换性，当且仅当运算表关于主对角线是对称的。3）运算*具有等幂性，当且仅当运算表的主对角线上的每一元素与它所在行（列）的表头元素相同。详见P79 3、代数系统中特殊元：么元（单位元）、零元、逆元 判断方法：根据定义，在所讨论的集中找到特殊元，符合定义即可。在运算表中可以判断：1）A中关于运算*具有零元，当且仅当该元素所对应的行和列中的元素都与该元素相同。2）A中关于运算*具有幺元，当且仅当该元素所对应的行和列依次与运算表的行和列相一致。3）设A中关于运算*具有幺元，a和b互逆，当且仅当位于a所在行和b所在列的元素及b所在行和a 所在列的元素都是幺元。详见P80 4、子代数的判定：关键两个条件:BA, B，中的特殊元（么元或零元）与A，中相同。详见P82 5、特殊代数系统判定：（G，）封闭广群 结合半群 么元独异点 可逆群，根据定义，满足条件即可。详见P86 6、群的证明：方法：根据群的四个条件，逐一验证即可，注意：对于么元和逆元，先根据运算特点解出么元和逆元，再验证。详见P86 7、群的性质：1、G，⊙是群∧|G|＞1?G，⊙无零元。2、G，⊙是群?G，⊙中的唯一等幂元是幺元。3、群满足消去律：b⊙a=c⊙a?b=c 4、给定群G，⊙，则a⊙x=b群中方程解是唯一的。5、G，⊙是群 (a⊙b)-1=b-1⊙a-1 详见P87 8、子群及判定：三个判定定理根据已知条件选择，给定群G，⊙及非空H?G，则1、H，⊙是G，⊙的子群?a⊙b∈H， a-1∈H 2、H，⊙是G，⊙的子群?(?a)(?b)(a，b∈H→a⊙b-1∈H)非空有限集H则a⊙b∈H 9、特殊群的判断：1、阿贝尔群即满足交换律的群 2、循环群即群中每个元都由某一个元的n次幂生成，这个元就是生成元。3、 同余类整数加法，乘法，Z，+m Z，×m 构成群：[i] +m[j]=[(i+j)(mod m)] [i]×m[j]=[(i×j)(mod m)] 10、环、整环、域之间的关系及判定：1、R，+，·，若①R，+是Abel群，②R，·是半群，③·对于+是可分配的，则称R，+，·是环2、可交换含幺环R，+，·，且无零因子，则称R，+，·为整环。3、可交换环R，+，·，若R-{0}，·为群，则称R，+，·为域4、环、整环、域之间的关系：域一定是整环，整环一定是环，反之不成立。详见P93 11、格、子格、分配格、有补格的判定：1、格：即A, ≤偏序集中，任意两个元素都有最小上界和最大下界。2、子格：子集，运算∨,∧封闭即可。3、分配格：含有五角格和钻石格为子图的都不是分配格，但链是分配格。4、有补格：每个元素都至少有一个补元素的有界格。求补元时，满足：a∨b=1(即全上界)，和a∧b=0(即全下界) 详见P97 二、强化练习 1.在整数集上，不是二元运算( )A.加法 B.减法 C.乘法D.除法 2.设A是奇数集合，×为乘法运算，则A，×是( )A.半群 B.群 C.循环群D.交换群 3.不满足结合律是( )A.a*b=min(a，b) B.a*b=max(a，b)C.a*b=2(a+b) D.a*b=2ab 4．在N上，可结合的是（ ）A．ab=a-2b B．ab=min{a，b} C．ab=-a-b D．ab=|a-b| 5．整环和域是（ ）A整环一定是域B域不一定是整环C域一定是整环D域一定不是整环 6．设集合A={1，2，3，……，10}， A上是不封闭的是（　）A．x*y=max{x,y} B．x*y=min{x,y}C．x*y=GCD{x,y},即x,y的最大公约数 D．x*y=LCM{x,y},即x,y的最小公倍数 7．设H，K是群（G，）的子群，下面代数系统是（G，）的子群的是（　　　） A．（H∩K，） B．（H∪K，）C．（K-H，） D．（H-K，） 4．下列所示的哈斯图所对应的偏序集中能构成格的是（　　　） A． B．C． D． 8.代数系统A，*，是整环，则A，*是________，A，是________，且无零因子。 9.在实数集R上定义运算ab=a+b+ab，则幺元为________，元素2的逆元为________。 10．设S是非空有限集，代数系统P（S），∪中，其中P（S）为集合S的幂集，则P（S）对∪运算的单位元是________，零元是________。 11．在