- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
陪集的性质 例3.3.2 设m是一个正整数,M表示所有m的倍数组成的集合,即M = {mt | t = 0,?1,?2,?3,… } = {0,?m,?2m,?3m,…}, M的另一种表示为M = {mt | t?Z}. 显然M是整数加群Z的子群 设为模m的一个剩余类,即 于是我们有 可见 是M的一个陪集.由Z可以按模m分成m个剩余类,则Z可以按M分成m个陪集: M,1+M,2+M,…,(m?1)+M. 子群的指数及Lagrange定理 下面我们讨论两个问题: 1)陪集元素数目是多少? 2)陪集也可以成为子群吗? 引理:设G是群,H是G的子群(H≤G),SL={aH︱a∈G}, SR={aH︱a∈G},则存在SL到SR的双射。 证明:作SL到SR的一个对应关系 Ψ:aH Ha-1( SL → SR ),因为 所以Ψ是映射且是单射。又对任意Ha ∈SR,取a-1H ∈SL,则 Ψ( a-1H )=Ha,所以Ψ也是满射。即命题得证。 子群的指数及Lagrange定理 集合SL和SR是等势的,当他们是有限集合时,左陪集的个数等于右陪集的个数:︱ SL ︱= ︱ SR ︱,称为H在G中的指数,记作[G:H]。 另外,从引理的证明中,我们不难发现,对于有限子群H,每个左(右)陪集内元素数目都等于H的阶;即 ︱ aH ︱= ︱ H ︱,且由于e∈H,则 ,即 H的其他陪集中不含单位元e,所以它们不可能是群.故H的陪集除H外对于G的运算都不是群. 子群的指数及Lagrange定理 推论1 (拉格朗日定理)设G是一个有限群,H是一个子群,则H的阶是G的阶的因子.即︱ G︱= ︱ H ︱[G:H] 推论2 设G是一个有限群,G中的每一个元素的阶一定是G的阶的因子.设G的阶为n,则对任意a?G,有an = e. 推论1、2证明比较简单,请同学自己尝试证明 子群的指数及Lagrange定理 推论3 阶为素数的群一定为循环群. 证明 设群G的阶为素数,即|G|是素数. 当|G| = 1时,群G是只含单位元e的循环群. 当|G| ? 1时,取a?G且a ? e, 则a生成一个循环子群H,且|H| ? 1.由于|H|是|G|的的因子,而当|G|是素数时,它只有1和|G|两个因子,故 |H| = |G|, 这表明H = G,G是一个循环群. 3.4 正规子群、商群 定义3.4.1 设H是群G的子群.如果H的每一个左陪集也是右陪集,即对于任意a?G,总有 aH = Ha, 则称H为G的正规子群,或不变子群.显然阿贝尔群的所有子群是正规子群. 正规子群 定理3.4.1 设H是群G的子群.则下面4个命题是等价的. 1)H是群的正规子群; 2)对于任意a?G,总有 aHa?1 = H; 3)对于任意a?G及任意h?H,总有 aha?1?H. 4)对于任意a?G,总有 aHa?1?H. 正规子群 证明 我们通过证明1)?2)?3)?4)?1),从而证明4个命题等价. 1)?2):如果H是正规子群,则 aHa?1 = (aH) a?1 = (Ha) a?1 =H (aa?1) = He = H. 2)?3):显然. 3)?4):也是显然. 4)?1):由aHa?1?H,得aH?Ha;又由a?1Ha?H(注意对于任意a?G,有aHa?1?H,而a?1?G,所以a?1Ha?H),得Ha?aH.故 Ha = aH. 定理证毕. 定理3.4.1表明,子群是正规子群的充分必要条件是2或者3或者4. 正规子群 定义3.4.2 设A,B是群G中的两个子集合,定义子集合A和B的乘积为 AB = {ab | a,b?G}, 即为A中元素和B中元素相乘得到的集合. 显然子集乘积满足结合律: (AB)C = A(BC). 如果A是一个子群,b?G,令B = {b},则G的左陪集bA可表示为BA. 正规子群 定理3.4.2 设H是群G的一个子群,H是正规子群的充分必要条件是任意两个左(右)陪集的乘积仍然是一个左(右)陪集. 证明 如果H是正规子群,aH和bH是H的两个左陪集,则 (aH)(bH) = a(Hb)H = a(bH)H = abH. 反之,如果(aH)(bH)是一陪集,假设 (aH)(bH) = cH. 因为e?H? a?aH和b?bH,则 ab?(aH)(bH) = cH, 正规子群 由于陪集可由其中任一元素确定,于是有 (aH)(bH) = cH = abH, 两边同乘a?1,得 HbH = bH, 由于e?H,则 Hb = Hb{e}?HbH,
您可能关注的文档
最近下载
- 矿山地质工作技术标准与工作办法.pdf VIP
- 基于YOLOv5以及SlowFast的大象健康管理系统.pdf VIP
- 辽东裂谷金属矿床:成矿系列解析与成矿作用探究.docx
- 考研真题 武汉大学化学与分子科学学院883化工原理历年考研真题汇编.pdf VIP
- 2025届北京市北京师范大学第二附属中学高一物理第一学期期末统考试题含解析.doc VIP
- 病理技师进修汇报.pptx VIP
- 北京八中2025届物理高一第一学期期末综合测试试题含解析.doc VIP
- 嵌入式操作系统FreeRTOS的原理与实现.pptx VIP
- 量子开系统理论的深度剖析与前沿探索.docx
- SVPWM空间矢量控制原理详解课件.ppt VIP
原创力文档


文档评论(0)