《代数结构.docVIP

  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文档。上传文档
查看更多
《代数结构

第八章 几个典型的代数结构 本章我们将介绍具有一个二元运算的代数结构 半群与群,以及具有两个运算的代数结构 环和域。半群与群在形式语言、快速加法器设计、纠错码制定和自动机理论中都有卓有成效的应用。 §8.1 半群与独异点 半群是最简单的一类代数结构,其运算个数少,且运算的性质也少。半群在时序机理论、形式语言、语法分析等方面有着广泛的应用。 一. 半群、独异点和它们的子代数 定义1 给定代数 ,其中*是二元运算,若*满足结合律,则称代数 为半群。 定义2 给定代数 ,如果二元运算*满足结合律且有么元 ,则称 为独异点。 可以看出,独异点是含有么元的半群。因此有些人将独异点称为含么半群。 例1(1)代数 和 都是半群,因为运算+和×都满足结合律;而且还是独异点,因为0是+的么元,1是×的么元。 (2)代数 和 不是半群,因为减法和除法不满足结合律。 定义3 如果 是半群, 且关于运算*封闭,则 是 的子代数,称为 的子半群。 显然子半群是半群。 定义4 如果 是独异点, 且关于运算*封闭, ,则 是 的子代数,称为 的子独异点。 显然子独异点是独异点。 例2(1)代数 和 分别是独异点 和 的子独异点。 (2)如果∑是非空有限字母表,那么∑+,连结是半群,∑*,连结,Λ是独异点。如果 ,则 连结是∑+,连结的子半群, 连结,Λ是∑*,连结,Λ的子独异点。 定义5 在半群(独异点)中,若运算是可交换的。则称此半群(独异点)为可交换半群(可交换独异点)。 定理8.1.1 在任何可交换独异点 中,S的幂等元组成的集合T可构成其子独异点。 证明: , 是幂等元,所以 。对任意的 , 。所以 ,故 是子独异点。 本定理对可交换半群也成立。 下面我们定义独异点 中任意元素 的幂。用归纳定义: (1)(基础) 。 (2)(归纳) 。 由于独异点中,运算*是可结合的,容易证明如此定义的 的幂满足以下指数定律: (a) (b) 定义6 设 是独异点,若存在元素 , ,都 ,使得 。则称元素 为 的生成元,也称元素 生成独异点 ,并称此独异点为循环独异点。 定理8.1.2 每个循环独异点是可交换的。 证明:设 是循环独异点,且其生成元为 。则 ,存在 ,使得, , 。于是 故: 是可交换的。 类似地,可定义半群 的任意元素的幂、循环半群、生成元等概念,也可得出循环半群是可交换的结论。但注意,如果 不含么元,则不存在 ,与此有关的地方要作相应修改,例如,归纳定义的基础条款需改为 。 例3 给定代数 ,则 是由1生成的无限循环独异点。 对生成元的概念加以推广可得生成集的概念。 定义7 设 是半群, ,集合 定义如下: (1)如果 ,则 ; (2)如果 ,则 ; (3)只有有限次应用条款1和2生成的元素才属于 。 显然 是 的子半群,我们称它为由∑生成的子半群,∑叫生成元集合。 如果 不含么元,我们给 增添一么元 ,则称 是由∑生成的独异点。 当∑是单元素集合时,生成的半群(独异点)就是上述循环半群(循环独异点)。 * 例4(1)令半群 ,其中 ,运算*定义如右表,试证明:半群 由 生成。 证:由右表可知 所以,半群 由 生成。 (2) 是半群,取元素6为生成元,可生成循环半群 。取生成元集为{3,5},可生成半群 。 二. 半群同态和独异点同态 现在我们将代数结构间的同态与同构的概念应用于半群与独异点。有些定义与性质,几乎就是完全平行地搬过来的。 定义8 设 和 是半群,映射 : ,若 ,有 则称 是从 到 的半群同态。 定义9 设 和 是独异点,映射 : ,若 ,有 且 ,则称 是从 到 的独异点同态。 由于代数结构间的满同态具有保持运算的各种性质,对于半群满同态当然完全适用,在此不赘述了。 例5 映射 : , 是从半群 到 的半群同态。 因为, , 又 ,所以它也是从独异点 到 的独异点同态。 由于半群同态是函数,因此可对半群同态进行复合运算,从而产生新的半群同态。有如下定理: 定理8.1.3 如果 是从 到 的半群同态, 是从 到 的半群同态,则 是从 到 的半群同态。 证明:对任意的 ,有

文档评论(0)

1983xuesheng + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档