第6节变换群与同构汇编.ppt

  1. 1、本文档共13页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第6节 变换群与同构 变换群的定义 群的同构 群的Cayley定理 补充 变换群的定义 变换群的定义 定义2 设S是一个非空集合,从S到S的所有一一变换 之集记为Sym(S),则称Sym(S)对变换的合成“°”构成 一个群,称为S上的对称群,记作(Sym(S), °). 群的同构 定义3 设(G1,°)和( G2,?)是两个群。如果存在一个双射 f: G1 ? G2 ,且?x, y? G1 有 f(x°y) = f(x) ? f(y), 则称群G1 与G2 同构,记为G1 ? G2 . 而称f 是G1到G2的一个同构(映射).  群的自同构 群的自同构 补充 补充 补充 补充 补充 补充 补充 * 近世代数 定义1 设S是一个非空集合。一个从S到S的映射称 为S的一个变换. 一个从S到S的满射、单射或双射(一一映射、 一一对应)称为S的一个满射变换、单射变换或一一 变换. 群(Sym(S), °)的任一子群称为S上的一个变换群. 定义2’ 一个非空集合S的若干个一一变换关于变换的 合成“°”作成的一个群称为S的一个变换群. 同构是一个等价关系。 定理1(群的Cayley定理) 任意一个群都同构于某个变 换群。 定义4 设(G,°)是一个群。如果存在一个双射f: G ? G ,且对?x, y? G有 f(x°y) = f(x) ° f(y), 则称f 是G的一个自同构(映射).  例如: 群G上的恒等映射IG是G的一个自同构. 设(G,°)是一个交换群。 ?x? G,f(x) =x-1, 则f 是G的一个自同构(映射). 定理2 设(G,°)是一个群。 G 的所有自同构之集A(G) 对映射的合成运算构成一个群,称为G的自同构群。 定理3 设(G,°)是一个群。 G 的所有内自同构之集是 G的自同构群得一个子群。称为内自同构群. 设(G,°)是一个群。a是G的一个固定元素。 ?x? G, f(x) =axa-1, 则f 是G的一个自同构(映射)。 称f 是由a确定的G的一个内自同构。 G的其他自同构称为外自同构. 命题1 非一一变换关于变换的合成所作成的群是存在 的. 例 令M={1,2,3,4},G={f,g},其中 f(1)=f(2)=1, f(3)=3, f(4)=4; g(1)=g(2)=1, g(3)=4, g(4)=3. 则G关于变换的合成运算作成一个群。 (单位元e=f,f与g均有逆元,即自身) 命题2 设M是任一非空集合,G是由M的若干个变换 作成的群。证明: G是M上的一个变换群当且仅当 M上的恒等变换IM ? G. 证 必要性: 设G是变换群,则G的单位元就是M上 的恒等变换IM . 设f 是一个一一变换且f? G,e是G的单位元,则 ? x? M,有f (e(x))= f ° e(x)= f(x),而 f是单变换, 所以e(x)=x,即G的单位元e就是M上的恒等变换IM . M上的恒等变换IM ? G. 命题2 设M是任一非空集合,G是由M的若干个变换 作成的群。证明: G是M上的一个变换群当且仅当 M上的恒等变换IM ? G. 充分性: 设M上的恒等变换IM ? G,则IM 显然为G的 单位元。令?f ? G,则由于G是群,所以存在 f -1? G,使得f ° f -1= f -1 ° f = IM 。 下面证明f是一一变换。 ?x? M,则存在y= f -1(x)? M使得 f(y)= f ( f -1(x))= f ° f -1(x)= IM (x)= x, 所以 f是满变换; 若?x,y? M,且f (x)= f (y),则f -1 (f (x))= f -1 (f (y)), 即IM (x)= IM (y),亦即x = y,所以 f是单变换. 命题3 设M是任一非空集合,G是由M的若干个变换作 成的群。证明: G是M上的一个变换群当且仅当有M 上的单射f ? G. 证 必要性显然成立 . 下证充分性. 设f 是一个单变换且f? G,e是G的单位元,则 ? x? M,有f (e(x))= f ° e(x)= f(x),而 f是单变换, 所以e(x)=x,即G的单位元e就是M上的恒等变换IM . 因此,由命题2知, G是M上的一个变换群. 命题4 设M是任一非空集合,G是由M

文档评论(0)

花仙子 + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档