- 1、本文档共25页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
可交换半群[定义]-Read.ppt
第四章 代数结构 4.2 半群与独异点 ——典型代数系统之一 群论的应用 群论是代数系统中研究得比较成熟的一个分支,它在 计算机形式语言 自动机理论 编码理论 …… 等方面得到广泛应用。 典型代数系统之一 1. 半群 2. 可交换半群 3. 子半群 4. 独异点 5. 子独异点 1. 半群定义 [定义]半群 设 V = S, o 是代数系统,若o为S上封闭的二元运算,如果 ? 运算是可结合的,则称 V 为半群. 实例 (1)Z+, +, N, +, Z, +, Q, +, R, +都是半群,+是普通加法. (2)P(B), ?为半群,其中?为集合的对称差运算. (3)Zn, ?n为半群,其中 Zn={0, 1, …, n?1},?n为模 n 加法. 半群的幂运算性质 半群的幂运算定义 设V=S, *为半群,对任意 x∈S,规定:x1 = xxn+1 = xn *x,n∈Z+ 幂运算规则:xn * xm = xn+m(xn)m = xn m m, n∈Z+ 证明方法:数学归纳法。(略) 半群的等幂元存在判定 定理:设A, *是有限半群,则A, *中必存在等幂元。 证明:设|A| = n, 对任意a ? A,考察以下n + 1个元素: a, a2, a3, …, an+1 因为*运算是封闭的,所以这n + 1个元素都属于A。由鸽洞原理,在这n + 1个元素中,必定至少有2个元素相同,不妨设为: ai = ai+k (1 ≤ k ≤ n) 由i与k的关系,分三种情况讨论等幂元的取值: (1) i = k时,有 ai = ai + i = ai * ai ∴ ai是等幂元。 半群的等幂元存在判定(续) 定理:设A, *是有限半群,则A, *中必存在等幂元。 证明:设|A| = n, 在a, a2, a3, …, an+1共n + 1个元素中,必定至少有2个元素相同,不妨设为: ai = ai+k (1 ≤ k ≤ n) 由i与k的关系,需要分三种情况讨论等幂元的取值: (1) i = k (2) i k时, k – i 0, 而 ai = ai + k = ai * ak 等式左右两边同时左乘ak – i, 得 ak – i * ai = ak – i * ai * ak 化简后得: ak = ak * ak ∴ ak是等幂元。 半群的等幂元存在判定(续) 定理:设A, *是有限半群,则A, *中必存在等幂元。 证明:在a, a2, a3, …, an+1共n + 1个元素当中,必至少有2个元素相同: ai = ai+k (1 ?k ?n) (1) i = k (2) i k (3) i k时, ai = ai * ak 等式左右两边同时右乘ak, 得 ai * ak = ai * ak * ak = ai * a2k ——①式 ∵ ai = ai * ak ∴ ①式可化为 ai = ai * a2k ——②式 ∴ 如果2k – i 0, 则在②式两边同时重复右乘ak,直到使得 ai = ai * apk,pk – i 0 ——③式 时停止。对③式两边同时左乘apk – i 从而有apk – i * ai = apk – i *ai * apk——④式 将④式化简: apk = apk * apk ∴ apk是等幂元 典型代数系统之一 1. 半群 2. 可交换半群 3. 子半群 4. 独异点 5. 子独异点 可交换半群 [定义]可交换半群 设有半群S, *, 若*运算是可交换的, 则称S, *是可交换半群. 例: 给定半群P(S), ∪和P(S), ∩,其中P(S)是集合S的幂集, ∩和∪为集合上的交运算和并运算. ∩和∪是可交换运算,所以P(S), ∩和P(S), ∪是可交换半群. 可交换半群举例 例:设A, *是半群,A = {a, b, c},且有a2 = b, b2 = c,证明: (1) A, *是可交换半群 (2) c2 = c,并写出A, *的运算表 证明: (1)只需要证明*运算在A上是可交换的 a * b = a * a2 = a * (a * a)
文档评论(0)