西南财经大学天府学院《离散数学》课件-第6章 几个典型的代数系统.pptVIP

西南财经大学天府学院《离散数学》课件-第6章 几个典型的代数系统.ppt

  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文档。上传文档
查看更多
在一个集合上定义一个或多个运算,就形成了一个代数运算系统,或称代数系统。 代数结构是研究代数系统的一般性质及各种特殊代数系统的学科,其理论和方法不仅对其它数学学科产生着深远的影响,在计算机科学领域也有着广泛的应用。 第六章 几个典型的代数系统 西南财经大学天府学院《离散数学》 6.1 半群与群 定义6.1 (1) 设V=S,。是代数系统,。为二元运算, 如果。满足结合率,则称此代数系统为半群。 (2) 设V=S,。是半群,若e ∈S是关于。运算的幺元,则称V是幺半群,也叫独异点。有时记作S, 。,e。 例6.1 考察下列代数系统哪些是半群?哪些是幺半群? ① Z+,+,N,+,Z,+,Q,+,R,+都是半群。除 Z+,+外,都是幺半群, +表示普通加法。0是幺元 ② Mn(R),+,Mn(R),?,是半群和幺半群, 矩阵加法和 乘法的幺元分别是n阶0矩阵和单位矩阵E ③ ?*,。,是半群和幺半群, ?是有穷字母表,。表示连接运算。幺元是空串?。 ④ P(B),?,是半群和幺半群, ?为对称差,幺 元是? ⑤ Zn ,? ,是半群和幺半群, 其中 Zn=?0,1,?,n-1?,?表示模n加法 x?y=(x+y) mod n ,幺元是0。 。 例6.2 考察下列集合和运算哪些可以构成半群? 哪些可以构成幺半群? (1) S1={1,1/2,2,1/3,3,1/4},*为普通乘法。 (2) S2={a1, a2, …,an},n∈Z,*定义为: ai * aj = ai ,i,j∈S2 。 (3) S3={0,1},*为普通乘法。 (4) S4={1, 2,3,6},x*y表示求x和y的最小公倍 数,x,y∈S2 。 (5) S5={0,1},*为模2加法。 解:(1) 不是代数运算。 (2) 半群。 (3) 幺半群,幺元为1。 (4) 幺半群,幺元为1。 (5) 幺半群,幺元为0 半群的幂运算 对于半群V=S,。中,?x∈S,规定: x1=x xn+1=xn。x , n ∈ Z+ 用数学归纳法易证得: xn 。 xm = xn+m (xn) m= xnm m,n ∈ Z+ 独异点是特殊的半群,故也具有以上幂运算,只是: x0=e xn+1=xn。x , n ∈N 如果半群V=S,。中的二元运算。是可交换的,则称V为可交换半群。 子半群——半群的子代数 如果V=S,。是半群,T ? S,如果 T 对 V 中的。运算封闭,则T,。就是V的子半群。 子独异点——独异点的子代数 如果V=S,。,e是独异点,T ? S,如果 T 对 V 中的。运算。封闭,且e∈T ,则T,。,e就是V的子独异点。( x0 = e ) S= a,d∈R , e为2阶单位矩阵 a 0 0 d 1 0 0 1 T= a ∈ R a 0 0 0 则,V3=T, .是否为半群或独异点?是否为V1 的子半群或V2的子独异点?其中 例6.3 设半群V1=S, ? ,独异点V2=S, ? ,e,其 中 ? 为矩阵乘法, 1 0 0 0 ∴ V3是独异点。 V3不是V2的子独异点, 因为V2 的幺元 e= ? T 1 0 0 1 解: ∵ T对矩阵乘法 . 是可结合的, ∴故V3是半群。 ∵ T ? S, ∴ V3是V1子半群。 ∵ V3存在自己的幺元 定义6.2 设V1=S1,?,V2=S2,*是半群(或独异点),则V1×V2=S1×S2 ,?也是半群,且对任意 a,

文档评论(0)

卖报的小行家 + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档