离散数学及应用第3版习题答案习题4.3.docxVIP

离散数学及应用第3版习题答案习题4.3.docx

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
应用离散数学 代数结构 杭电-周丽、方景龙 第四章 PAGE 5 §4.3 群 习题4.3 1. 设是所有形如 的矩阵组成的集合, *表示矩阵乘法。试问是半群吗?是有么半群吗?这里是实数。 解 任取中的2个元素 、、 ∵ = ∴ 是一个代数系统。且因为矩阵的乘法满足结合律,所以是半群。 又因为,只要=1,则 *== 对任何的成立,即是左单位元(不论取什么值)。但右单位元不存在,因为不论,取什么值, == 不可能对任何的成立。 所以单位元不存在(事实上,若单位元存在,则左、右单位元都存在且相等还唯一),所以不是有么半群。 2. 在自然数集合上定义运算和如下: , 试问和是半群吗?是有么半群吗? 解 是半群,有单位元0,是有幺半群。 是半群,没有单位元,不是有幺半群。 3. 设为整数集合,在上定义二元运算如下: 问关于运算能否构成群?为什么? 解 (1)整数集合Z非空。 (2) x ? y = x + y ? 2∈ Z ,满足封闭性要求。 (3)因为?x, y,z ∈ Z ,都有 (x ? y )*z=( x + y ? 2)+z-2 =x + y +z? 4 x ? (y *z)= x +( y +z? 2)-2 =x + y +z? 4 *满足结合律 (4)因为*满足交换律 设x ? y = x + y ? 2=y 得x=2,即单位元为2 (5)设x的逆元为y 则x ? y = x + y ? 2=2 得y=4-x ∈ Z 综上所述,?Z, ??是群。 4. ,证明是群,这里是复合运算。 解 因为x∈G,所以G非空。 又因为 (ax+b)。(cx+d)= c(ax+b)+d= cax+cb+d∈G,满足封闭性要求。 复合运算满足结合律。 有单位元x 对任何元素ax+b来说,逆元是1ax- 所以,是群。 5. 设。在上定义六个函数如下: 令为这六个函数构成的集合,是复合运算。 (1)给出的运算表。 (2)验证是群。 解 (1)的运算表如下: (2)从上运算表可以看出,运算具有封闭性,满足结合律,单位元为,每个元都有逆元,所以构成群。 6. 在群中计算下列元素的幂: 解 7.在群中,证明 , , 解 因为群满足结合律。xm表示m个x进行*运算,所以容易证明 , , 8. 设,对于上的二元运算“模7乘法”: 构成群。请 (1)给出的运算表。 (2)验证构成群。 (3)给出每个元的次数。 解 (1) × 1 2 3 4 5 6 1 1 2 3 4 5 6 2 2 4 6 1 3 5 3 3 6 2 5 1 4 4 4 1 5 2 6 3 5 5 3 1 6 4 2 6 6 5 4 3 2 1 (2)由运算表可知,满足封闭性要求,满足结合律,有单位元1,1的逆元是1,2的逆元是4,3的逆元5,4的逆元是2,5的逆元是3,6的逆元是6,所以是群。 (3)|1|=1,|2|=3=|4|,|3|=|5|=6,|6|=2。 9.设是群,若有,证明为交换群。 证:对任意的x,y∈G, 由于群的封闭性得y * x ∈G 从而x2=e, y2=e, (y * x)2 =e 因此,对 x*y=e * (x*y) * e =(y *y) *(x*y) *(x*x) = y *(y *x) 2 *x = y *e*x = y *x 所以,是交换群。 10.设是群,证明是交换群的充要条件是有。 解 必要性:如果是交换群, 有是显然的。 充分性:根据得,再由消去律得,即交换律成立,所以是交换群。 11.设是有限半群,且满足消去律,证明是群。 解 对于,考虑集合 由封闭性可知。又由于是有限集,所以也是有限集。故 必有,使得 所以有 由消去律可得 这表明是左单位元,同理可证它是右单位元,所以是单位元。又因为 所以,有逆元。因此,是群。 12.设是群,,证明 证: 由书上的例子得知,|a*b|=|b*a|,从而 |a*b*c|=| a*(b*c) |=| (b*c) * a |=| b*c* a | |a*b*c|=|( a*b)*c |

文档评论(0)

fetch + 关注
官方认证
文档贡献者

该用户很懒,什么也没介绍

认证主体成都菲琦科技有限公司
IP属地四川
统一社会信用代码/组织机构代码
91510100MA6C6CX39E

1亿VIP精品文档

相关文档