- 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-2-代数系统
. -吴扬扬制- 主要内容: 二元代数运算的特殊元素 单位元 零元 逆元: 幂等元 可约元 代数系统的基本概念 代数系统间的关系 同类型 §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(4) 逆元: 定义:设*是A上的二元运算,e是关于*的单位元,a?A ① 若?al?A, 使得al*a=e, 则称al为a关于*的左逆元. ② 若?ar?A, 使得a*ar=e, 则称ar为a关于*的右逆元. ③ 若?a’?A, 使得a’*a=a*a’=e, 则称a’为a关于*的逆元. 例1中: §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(5) 定理7.1.6 设*是A上的可结合的二元运算,e是关于*的 单位元, al, ar分别为a关于*的左右逆元, 则al=ar且它是a关于*的唯一逆元。 (P145证明) 幂等元: 定义:设*是A上二元运算,a?A,若a*a=a, 则称a是关于*的幂等元。 §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(6) §7.1 代数运算与代数系统 3.与二元运算相关的特殊元(7) 例2中:关于?:?是可约的;关于?:U可约。 例3中:关于o: ????* 均可约。 例4中:关于*: 浅色可约。 定理7.1.7 设*为A上的可结合的二元运算,a?A, 若a关于*可逆,则a关于*可约。 * 此定理的逆不成立。 例6:N中的乘法运算. 关于乘法运算,N中每个非零元素均可约,但不可逆。 定理7.1.7:设*为A上的可结合的二元运算,a?A, 若a关于*可逆,则a关于*可约。 证明:?x, y?A,如果 a*x=a*y, ∵ a关于*可逆, §7.1 代数运算与代数系统 4. 代数系统 设S为非空集合,*1, *2,…, *n为S上的代数运算, 称 S,*1,…,*n 为一个代数系统/代数结构, S为该代数系统的定义域。 有限代数系统:若S是有限集,其中|S|称为该系统的阶。 例7:R, +, ?, N, +, ? ?(U), -, ?, ? ?*, o {1, 2,…, m }, ? , 其中: 主要内容: 代数运算例题 例1:R上的加法+、乘法?运算是R上的二元运算。 例2:幂集?(U)上, 补是?(U)上的一元运算,交、并是二元运算。 例3:字符串的连接运算是字符串集合上的二元运算。 Σ–字母集合,Σ*–由Σ中的字母构成的字符串集合, o–字符串的连接运算, o: (Σ*)2→Σ* 例4:设A={ 深色,浅色 } * . -吴扬扬制- 关于+: a?R的左逆元、右逆元和逆元均为-a. 关于?: a?R?a?0, a的左逆元、右逆元和逆元均为1/a. 例2中:关于?: ?(A)中,?的左逆元、右逆元和逆元均为 ?. 关于?: ?(A)中,U左逆元、右逆元和逆元均为U. 例3中:关于o: Σ*中,空串?的左逆元、右逆元和逆元均为?. 例4中:关于*: A中,浅色的左逆元、右逆元和逆元均为浅色. . -吴扬扬制- . -吴扬扬制- 可约元: 定义:设*是A上二元运算,a?A, ① ?x,y?A,a*x=a*y?x=y,则称a关于*左可约; ② ?x,y?A,x*a=y*a?x=y,则称a关于*右可约; ③ 若a关于*既左可约又右可约,则称a关于*可约; ④ 若?a?A 都是可约的,则称*满足消去律。 分析例1:R上的加法+、乘法?运算 关于+: ?a?R均为左可约,右可约,也是可约的; 关于?: ?a?R?a?0均为左可约,右可约,也是可约的; +, ?满足消去律。 . -吴扬扬制- =e*x 由a*x=a*y,又有a-1*(a*x)=a-1*(a*y) =(a-1*a)*y =e*y =y =x ∴ x=
文档评论(0)