5.6 陪集与拉格朗日定理

5.6陪集与拉格朗日定理COSETSANDLAGRANGE'STHEOREM抽象代数·群论基础·结构分析目录CONTENTS01陪集的定义与性质详细讲解陪集的数学定义、通过具体的群计算陪集示例，并分析陪集的核心性质。02拉格朗日定理深入剖析群论基石——拉格朗日定理的内容、严谨的证明思路以及在群论中的基础应用。03重要推论探索由拉格朗日定理导出的关键结论，包括关于元素阶数、素数阶群的结构以及有限群的分类等推论。陪集的定义定义5.27：陪集(Coset)定义：设<G,*>是一个有限群,<H,*>是其子群。对任意g∈G，集合g*H={g*h|h∈H}称为元素g关于子群<H,*>的左陪集(LeftCoset)。构造本质：“群元素的平移”陪集是通过将群中一个固定元素g，与子群H的每一个元素依次进行群运算得到的新集合。它本质上是将子群H作为一个整体进行“左乘平移”的结果。理论价值：子群的“分布映射”陪集是研究子群结构的核心工具。它能帮助我们清晰地描述子群在原群G中的分布情况，是后续证明拉格朗日定理、分析群结构的基础。陪集计算示例例题5.31：求解过程问题：写出群`<N₁₂,+₁₂>`中各元素关于子群`<{0,4,8},+₁₂>`的陪集。令H={0,4,8}，计算各元素的左陪集：•0+₁₂H={0,4,8}•1+₁₂H={1,5,9}•2+₁₂H={2,6,10}•3+₁₂H={3,7,11}观察与发现随着计算深入，我们发现群中不同元素生成的陪集，往往是同一个集合：•4+₁₂H=8+₁₂H={0,4,8}=0+₁₂H•5+₁₂H=9+₁₂H={1,5,9}=1+₁₂H核心结论：该群关于子群H的不同左陪集共有4个，且它们互不相交，其并集恰好是原群，即构成了对原群的一个划分。陪集的核心性质定理5.19：陪集的关系设<G,*>是一个有限群，<H,*>是其子群，a,b∈G，则aH与bH要么完全相等，要么互不相交。情况一：元素属于陪集如果a∈bH，那么两个陪集是完全相同的集合，即：aH=bH情况二：元素不属于陪集如果a∉bH，那么两个陪集之间没有任何公共元素，交集为空：aH∩bH=∅陪集的总结01覆盖性所有陪集的并集等于整个群G。群中的每一个元素都必然属于且仅属于一个左（右）陪集。这意味着，陪集没有遗漏任何一个群成员。02等势性每个陪集的元素个数（阶数）等于子群H的阶数。所有陪集在“大小”上是完全一致的。这是一个非常直观且重要的性质，意味着子群H复制了自身多次来铺满整个群G。03划分性陪集将整个群G划分为若干个互不相交的子集，形成对群的一个划分。任意两个不同的陪集之间没有公共元素。它们如同切蛋糕一样，将群G完整地切割成了若干个不重叠的部分。拉格朗日定理定理5.20：拉格朗日定理如果G是有限群，|G|=m(群的阶)，|H|=n(子群的阶)，则n|m(n整除m)。核心思想子群的阶一定是有限群阶的约数。

这是群论中最基础的数量关系，揭示了群结构中“整体”与“部分”的数量制约性。公式表达m=k×n

其中k是子群H在群G中不同陪集的个数，也被称为H在G中的指数。拉格朗日定理的证明思路01等势性每个陪集的元素个数

都等于子群H的阶n02覆盖性群G的每一个元素

都必然属于某个陪集03划分群G被划分为k个

两两不相交的陪集04计数群的阶等于

陪集数乘以子群的阶

|G|=k*|H|05结论代入变量m=k*n

所以子群的阶整除群的阶

n|m拉格朗日定理应用示例例题5.32问题：设群<G,★>有两个子群<H₁,★>和<H₂,★>，且已知|H₁|=5，|H₂|=6。试求：1.群G的阶数|G|的最小值是多少？2.求两子群交集的阶数|H₁∩H₂|。解答1：求|G|的最小值根据拉格朗日定理，子群的阶数必须整除其母群的阶数。因此，|G|必须同时是5和6的倍数。5和6的最小公倍数是30，即|G|的最小值为30。解答2：求|H₁∩H₂|H₁和H₂的交集也是G的一个子群。根据拉格朗日定理，|H₁∩H₂|必须同时整除|H₁|和|H₂|。5和6互质，它们的最大公约数为1，故|H₁∩H₂|=1。拉格朗日定理的重要推论推论5.3设<G,*>是一个m阶群，a∈G，且a是k阶元，则k|m。💡核心解读群中任意元素的阶数，一定是整个群的阶数的因子。这意味着元素的阶不可能大于群的阶，且群阶一定能被元素阶整除。推论5.4设<G,*>是一个m阶群，对任意元素a∈G，则aᵐ=e。💡核心解读群中任意元素的“群阶次幂”运算结果必为幺元。这个推论直接由推论5.3推导得出，是群论中计算元素幂次的常用技巧。拉格朗日定理的重要推论推论5.5素数阶群没有非平凡子群解读：如果一个群的阶是质数，那么它除了自身和只含幺元的子群外，没有其他子群。这表明素数阶群在结构上非常“纯净”。推论5.6任何素数阶的群都是循环群解读：这是一个非常强的结论，它告诉我们素数阶群的结构是唯一的，就是循环群。无论元素是什么，只要阶数是素数，它就一定同构于整数模素数p的加法群。应用案例分析例题5.34：四阶群的分类待证问题：证明任何一个四阶群，其代数结构只能是四阶循环群(C₄)或者Klein四元群(V₄)，不存在第三种可能。情形一：群中存在四阶元素设四阶群为G={e,a,b,c}。若元素a的阶为4，则a的幂次{e,a,a²,a³}恰好构成4个互不相同的元素。这意味着a是群的生成元，G是一个四阶循环群(C₄)。情形二：群中无非四阶元素