- 1、本文档共68页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
ch07抽象代数(离散实凝学) - 副本
抽象代数;
本部分所要探讨的数学结构是由集合上定义若干运算而组成的系统——称为代数系统(代数结构)。
;抽象代数; 相对古典代数而言, 抽象代数也称为近世代数(Modern Algebra), 由于其研究对象是由对象集合及运算组成的数学结构,即代数结构, 因此, 抽象代数也被称为代数结构或代数系统。
抽象代数对计算机科学的发展有着重大的理论和实践意义, 如在程序理论、语义学、数据结构和编码理论, 以及逻辑电路设计的研究, 此外,抽象代数还被广泛用于物理学、生物学以及社会科学中。本章将探讨代数结构的数学描述以及一般代数结构的基本性质。后续两章将深入讨论群、布尔代数等典型的代数结构及其应用。 ; 本章内容提要:
1. 抽象代数概述
2. 代数结构及其性质
3. 同态与同构
4. 同余与商代数; 抽象代数的创始人是两位英年早逝的青年数学家,阿贝尔与伽罗瓦。阿贝尔, 是挪威青年数学家, 乡村牧师之子, 幼年丧父, 家贫。多独创性成果, 但大都未受重视, 贫病而逝。去逝后3天, 柏林大学寄来教授聘书, 让后人叹息!后人曾评价说:“他工作不是为自己,而是为他热爱的科学”。2001,在阿贝尔诞生200周年之际,挪威王国政府宣布,设立面向国际的“阿贝尔数学奖”。 ;Niels Abel ; 伽罗瓦, 是法国青年数学家, 其父亲是自由主义思想家, 母亲亦受了良好教育, 中学时就对数学产生强烈兴趣, 他两次投考巴黎综合技术学院而未被录取,后进入巴黎高师学习, 提出“群”的概念。但其论文未被数学家柯西、泊松等接受。跟大多数数学家不问政治不同,伽罗瓦是一个非常激进的革命者,后因政治原因入狱。最后与人决斗受伤而去逝。在其决斗前几天, 写下了其主要研究成果, 直到40年后, 其成果才被世人所接受。后有著名数学家评价说:“伽罗瓦的去逝使数学的发展推迟了几十年”。从伽罗瓦的工作以后,代数学结束了解方程的历史,进入研究新的数学对象——群、环、域的抽象代数的发展阶段。 ;Evariste Galois;7.2.1 代数运算
例7.1
(1)设A是一个非空集合, P(A)是A的幂集, 则集合的交、并在P(A)上运算的结果均在P(A)中。
(2)设Mn(R)是全体n×n实矩阵的集合, 考虑Mn(R)中普通的矩阵乘法*, 则对于任意两个n×n实矩阵A、B, 根据矩阵乘法法则可得到Mn(R)中惟一的一个n×n实矩阵C作为A乘B的结果。我们记C=A*B。; 上述示例中, 虽然是对不同集合给出的不同运算, 但它们都具有这样一个共同的特点:它们都是某个给定的集合S(S分别为上述二例中的P(A)和Mn(R))中的任意一个或一对有序取出的元素, 根据这个法则可在S中找到惟一的一个元素与之对应。由此, 我们可以抽象出在一个集合上的二元代数运算的概念。; 定义7.1 设S是一个非空集合。如果有一个法则, 它对S中任意两个有序元素a与b, 在S中都有一个惟一确定的元素c与它们对应, 则称这个法则是集合S中一个二元代数运算。; 一般地,容易得到n元运算的定义:
设S是一个非空集合。如果有一个法则,它对S中任意n个有序元素a1, a2, …, an, 在S中都有一个惟一确定的元素d与它们对应, 则称这个法则是集合S中一个n元代数运算。
根据上述定义,可以看到,如果这个法则是S的一个代数运算,则该法则其实就是S上的一个映射(或函数):Sn→S, n称为这个运算的阶。对于集合S的一个n元运算f, 若(a1,a2,…, an)∈Sn在f下的像是c, 即f(a1,a2, …,an)→c, 则记为c=f(a1, a2, …, an)。; 练习1 通常数的乘法运算是否可看作下列集合上的二元运算?请说明理由。
(1)A={1,2}
(2)B={x|x是素数}
(3)C={x|x是偶数}
(4)D={2n|n∈N} ; 定义7.2 设S上有n元运算*(n为正整数),S′?S, 若对任意 a1, a2, …, an∈S′,有*(a1, a2, …, an)∈S′, 则称S上的*运算对S′封闭,或称为S′在*下是封闭的。
例7.2 设R为实数集合, R-{0}是全体非零实数集合, 定义法则*: 对任意a, b∈R, a*b=a-b, -为一般的减法运算。在R-{0}上按照*法则运算得到的结果可能等于0, 而0?R-{0}, 也就是说, 法则*在R上是封闭的, 而在R-{0}上不满足封闭性。简单地说, 法则*在集合R上是代数运算, 但相对于R-{0}却不是代数运算。 ; 例7.3 设*是定义在集合A上的
文档评论(0)