《离散数学课件》群与环3.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文档。上传文档
查看更多
《离散数学课件》群与环3.ppt

*/34 定理2的证明 先证明A?A’。对于任意的a?A,取n=1,ai1=a, α1=1,由A’的元素的特性有 a=ai1 α1?A’。 再证明A’是G的子群。 ◆ 对?ai1α1 · ai2α2 · · · ainαn, ak1β1 · ak2β2 · · · akmβm?A’, 有 (ai1α1 · ai2α2 · · · ainαn) · (ak1β1 · ak2β2 · · · akmβm)?A’ 即·是A’上的闭运算。 ◆ 运算·在G上满足结合律,所以它在A’上也满足结合律。 ◆ 设e是G的幺元。因为A非空,不妨设a?A, 则 e=a·a-1?A’。故e是A’的幺元。 ◆ 对?ai1α1 · ai2α2 · · · ainαn?A’, 显然有 (ai1α1 · ai2α2 · · · ainαn)-1 =ai1-α1 · ai2-α2 · · · ain-αn?A’。 综上所述,A’是群,故它是G的子群。 由(A)的定义,A’ ?(A) ,且A’是G的子群,有(A) ?A’。 所以 (A)=A’。 */34 交换群的子集生成的子群 若G是交换群, gi ?G (1 ≤ i ≤ n), A={g1, g2, ···,gn}, 则由子集A生成的子群(A)为: (A) = {g1α1 · g2α2 · · · gnαn| αi ?Z,1 ≤ i ≤ n} */34 定理3 循环群的子群是循环群 证明:设G=(g)={gn|n?Z}是一个任意循环群,A是G的子群。 若A={e},则(A)=(e),即A可以看成由幺元生成的仅含一个元素的循环群。 若A≠{e},则存在gm?A,gm≠e,m?Z。 若m0,(gm)-1=g-m?A,即存在正整数数m,gm?A。 令 B={m?N|gm?A}, 则有 B?N,且B≠?,于是 B中有最小数,设为m0。 所以 gm0?A。 对于任意的gm?A,对于m和m0,存在整数s和t,使得 m=sm0+t, 0 ≤ t ≤ m0-1。 于是显然有 gsm0?A,g-sm0?A。 进而,有 gt=gm-sm0=gm·g-sm0?A. 若t≠0,则t0,即t?B,又tm0与m0最小矛盾,所以t=0。即gm=(gm0),亦即 A=(gm0),所以A是循环群。 11.10 判断下列代数系统哪些是半群?哪些是含幺半群?哪些是群?哪些是循环群? 半群 含幺半群 群 循环群 (R,+) (R,·) (Z,+) (Z,·) (AA, ° ) (ρ(S),∪) (Z6,?) (Z6,⊙), ⊙为模乘运算 (Z6*,⊙), Z6*={1,2,3,4,5} (Z5*,⊙), Z5*={1,2,3,4} 作业25 11.10 11.15 有限群的子群的元素数目一定是其元素数目的因子 */34 11.6 循环群 (一) 循环群、生成元 (二) 有限循环群、无限循环群 */34 例 对于普通乘法来说(G,·)是一个群。 容易验证:ε13=1,而ε12 =ε2 G={ε1, ε12, ε13} */34 例 设(G,·)是一个群,若g?G, 显然有g2?G, g3?G,…, 对于任意的正整数n, gn?G。 因为g?G,所以g-1?G,也有g-2?G,g-3?G,…, 对于任意的正整数n, g-n?G 。 规定g0=e?G是G中幺元,则 对于任意整数n, gn?G。 显然,({gn|n?Z},·)是一个群。 */34 循环群 定义 设(G,·)是一个群, 若G的每一个元素都是某一个固定元g的乘方, 称G为循环群,g为生成元, 并且用符号G=(g)表示。 显然,■ 循环群G=(g)= {gn|n?Z} ■ (g)=(g-1) */34 命题 设G=(g)是一个循环群, 如果o(g)=n,则 G=(g)={g0=e, g1,g2, ..., gn-1}。 证明:因为对于任意的m ? Z, 存在q,r ? Z,0 ≤ r ≤n-1, 使得 m=qn+r。 而 gm=gqn+r=gqn·gr=eq·gr=e·gr=gr. 这说明G至多有n个元素,下面证明恰有n个元素。 对于任意的i,j ? Z,0 ≤ ij ≤ n-1,则 gi≠gj。 这是因为若gi=gj,则 gj-i=e, 而0j-in,与 o(g)=n矛盾。 */34 有限循环群、无限循环群 循环群G=(g),若o(g)=n,则说G是n阶有限循环群 循环群G=(g),若o(g)=∞,则说G是无限循环群 例 整数加法群(Z,+)就是一个

文档评论(0)

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

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

版权声明书
用户编号:8073070133000003

1亿VIP精品文档

相关文档