- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学五、六章检测题及答案
天津理工大学中环信息学院《离散数学》第五、六章检测题
一、填空题(每空2分,共40分)
1. 设是一个群,则对任意的均有 = 。
2.设是一个群,,则 。为非空集合,为集合的幂集。代数系统〈〉中,关于“”的幺元为 ,零元为 ,关于“”的幺元为 ,零元为 。
4.设,且〈〉是以1为幺元的群, 则= , = .(;1)
5.设是布尔代数,对任意的,有____ __,____ __.;)
6.对于整数集上定义的运算: ,其中+是数的加法,则 的幺元为 ,任意元素的逆元为 。 (2,)
7.设是群,若中存在一个元素,使得中任意元素都可由的幂生成,则称该群是____,元素称为该群的________。循环群,生成元
8.设,上的运算定义为:,则的运算表为
。
9.设是布尔代数,则共有 个不同的函数;有 个互不相等的布尔表达式。(,)
10.设是一个偏序集,如果中任意两个元素都有 ,则称 是一个格。在格中,对,当且仅当 。 上确界 和下确界,
11.设是一个群,,且有限,则是的子群当且仅当 。关于封闭
二、单项选择题(每小题2分,共20分)
1.有理数集和上定义的下列运算构成代数系统。
A. B.
C. D.2.以下不是阿贝尔群的是( B )
A.B.C.D.
3.设Q为有理数集,〈Q,〉(其中为普通乘法)不能构成( A )。
A.群; B.独异点; C.半群; D.交换半群.
是集合上的二元运算,称元素为关于运算“”的幺元,如果( A )。
A.,且对任意元素,使
B.,且对任意元素,使
C.,且存在元素,使
D.,且存在元素,使
5.下面哪个偏序集构成有界格( D ).
A.; B./,其中/为整除关系;
C.; D.为的幂集.
6.下面哪个哈斯图构成分配格( D ).
7.
C
A. B. C. D.
8.下面哈斯图所示的有界格中,哪个不是有补格( A ).
9.下面的偏序集,哪个不是格( D ).
10.循环群〈Z,+〉的所有生成元为( C ).
A.1,0; B.-1,2; C.1,-; D.1,2
(1)求23, 3(-5)和71/2 。
(2)是半群吗?可交换吗?
(3)求中关于的单位元。
(4)中哪些元素有逆元素,其逆元素是什么?
答案:(1)17,-32,14.5 。 2)是半群,可交换。 (3)0。
(4)当时,有逆元素,。
2.设,是交换群,是的单位元。的运算表如下:
求,并说明道理。
答案:。因为有限群的运算表中的每行、每列都是群中元素的一个置换。
3.下面哈斯图表示的格中哪个元素无补元?对有补元的元素求出它们的补元.
解:c无补元(1分),a的补元为e(1分),b的补元为d(1分),d的补元为b、e(1分),e的补元为a、d(1分),0与1互为补元。(1分)
4.设〈{0,1},∨,∧,-〉上的一个布尔表达式,试求出其析取范式和合取范式.
解:其析取范式为:
其合取范式为:
5.设={1,2,3,5,6,10,15,30} , “/” 为集合上的整除关系。
(1).〈,/〉是否为偏序集? 若是,画出其哈斯图;
(2).〈,/〉是否构成格?为什么?
(3).〈,/〉是否构成布尔代数?为什么?
解:(1).〈,/〉是偏序集。 其哈斯图为:
(2).〈,/〉构成格。因为其任意两个元素都有上确界和下确界。
(3).〈,/〉构成布尔代数。因为它是有界分配格,且其任意元素都有唯一补元素。
四.证明题(共10分)
1.(4分)设是独异点,为其幺元,且对,有,证明是一个交换群。,故是一个群。
又对,有
,
所以是一个Abel群。
2.(6分)设是一个群,,,,有
试证明是一个自同构.
证:首先证明是入射。(分)
其次证明是满射。
对
综合以上两点,知是双射。(3分)
- 5 -
文档评论(0)