第7章 半群与群.pptVIP

  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文档。上传文档
查看更多
第7章 半群与群

第七章 半群与群 例7.1.1 给定N,+和N,×,其中N为自然数集合,+和×为普通加法和乘法。易知N,+和N,×都是半群,而且还是独异点。因为0是+的幺元,1是×的幺元。 如果半群S,⊙中的集合S是有限的,则称半群为有限半群。对于有限半群可以给出下面有趣定理: 定理7.1.1 S,⊙为有限半群?(?x)(x∈S∧x⊙x=x) 本定理告诉我们,有限半群存在等幂元。 证明:因为⊙是可结合的,所以对任意的    x?S有    x⊙x=x2 ?S (封闭性)    x2 ⊙x=x3 ?S     ? 因为S是有限集,必存在ji使得 xj=xi   令p=j-i,则xj= xi= xp ⊙ xi (1) 所以,对于q?i有xq= xp ⊙ xq 因为p?1,故总有k ?1,使得kp?i. 对于xkp?S,则由(1)有    xkp = xp ⊙ xkp = xp ⊙(xp ⊙ xkp ) = x2p ⊙ xkp =? = xkp ⊙ xkp 因此,存在y= xkp ?S,使得y ⊙y=y 即y是等幂元.  定义7.1.3 给定半群S,⊙,若⊙是可交换的,则称S,⊙是可交换半群。类似地可定义可交换独异点M,⊙,e。 例7.1.2 给定P(S),∪和P(S),∩,其中P(S)是集合S的幂集,∩和∪为集合上的并与交运算。可知P(S),∪和P(S),∩都是可交换半群。不仅如此,它们还都是可交换独异点,因为?与S分别是它们的幺元。 定义7.1.4 给定半群S,⊙和g∈S,以及自然数集合N,则 g为S,⊙的生成元:=(?x)(x∈S→(?n)(n∈N∧x = gn)) 此时也说,元素g生成半群S,⊙,而且称该半群为循环半群。 类似地定义独异点M,⊙,e)的生成元g和循环独异点,并且规定g0=e。 定理7.1.2 每个循环独异点都是可交换的。 将生成元的概念加以推广便得出生成集的概念。 定义7.1.5 给定半群S,⊙及G?S,则 G为S,⊙的生成集:=(?a)(a∈S→a=⊙(G))∧min|G| G?S 这里⊙(G)表示用G中的元素经⊙的复合而生成的元素。 类似地定义独异点M,⊙,e的生成集。 例7.1.3 给定N,+,其中N是自然数集合,+为普通加法,则N,+是无穷循环独异点,0是幺元,1是生成元。 例7.1.4 令半群S,⊙,其中S={a,b,c,d},⊙定义如表7.1.1,试证明生成集G = {a,b} 表7.1.1 ⊙ a b c d a d c b a b b b b b c c c c c d a b c d 解:由表7.1.1可以看出: a1=a b1=b a⊙a=a2=d a⊙b=c 即集合{a,b}可以生成集合{a,b,c,d}. 定义7.1.6 给定半群S,⊙及非空集合T?S,若T对⊙封闭,则称T,⊙为S,⊙的子半群。 类似地定义独异点M,⊙,e的子独异点P,⊙,e,应注意的是e∈P。 定理7.1.3 给定半群S,⊙及任意a∈S,则{a,a2,a3,…},⊙是循环子半群。 证明:因为S,⊙是半群,所以,对任意 a∈S, a⊙a∈S(封闭性)即a2 ∈S,于是  a2⊙a∈S ,?ai ∈S , i∈Z+ 即{a,a2,a3,…} ?S,并且a是生成元,  于是{a,a2,a3,…},⊙是循环子半群. 定理7.1.4 给定可交换独异点M,⊙,e,若P为其等幂元集合,则P,⊙,e为子独异点。 证明:e?P是明显的, 令a,b ?P,则有a⊙a ?P和b⊙b?P 于是有 (a⊙b)⊙(a⊙b)= (a⊙b)⊙(b⊙a) = a⊙(b⊙b)⊙a = a⊙b⊙a =(a⊙a)⊙b =a⊙b?P即⊙对P是封闭的,得证. 定理7.1.5 设M,⊙,e为独异点,则关于⊙的运算表中任两列或任两行均不相同。 证明:因为对任意的a,b?M且a?b时,总有   e ⊙a=a ?b=e ⊙b 和 a⊙e=a ?b=b ⊙e 因此在⊙的运算表中不可能有两列和两行是相同的. 定理7.1.6 给定独异点M,⊙,e,对任意a,

文档评论(0)

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

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

版权声明书
用户编号:8130065136000003

1亿VIP精品文档

相关文档