1 基本定义
1.1 群与子群的回顾
群是带有一个二元运算的代数结构，满足结合律，并存在单位元与逆元。若一个群中的某个非空子集在同一运算下仍构成群，则称其为子群。子群可以看作原群中的一个“内部结构”，它保留了群运算的基本性质，但规模通常更小。
在群论中，陪集正是围绕子群而产生的概念。它通过把子群中的元素统一乘上某个固定元素，来形成新的元素集合，从而把整个群按一定方式重新组织起来。
1.2 左陪集与右陪集
对于群中的子群，可以分别从左边或右边乘上一个群元素，由此得到两类陪集。若群满足交换律，那么这两种方式没有差别；但在一般群中，它们往往并不相同。
1.2.1 左陪集的定义
设 \(G\) 是群，\(H\) 是其子群，\(g\in G\)。由 \(g\) 与 \(H\) 中所有元素左乘所得到的集合 \[ gH=\{gh\mid h\in H\} \] 称为 \(H\) 的一个左陪集。这里的 \(g\) 被称为陪集的代表元之一。
左陪集可以理解为：先固定一个元素 \(g\)，再用子群 \(H\) 的全部元素去“扩展”它，形成一组与 \(H\) 结构紧密关联的新元素。
1.2.2 右陪集的定义
同样地，设 \(g\in G\)，由 \(H\) 中所有元素右乘 \(g\) 所得到的集合 \[ Hg=\{hg\mid h\in H\} \] 称为 \(H\) 的一个右陪集。右陪集与左陪集在定义形式上只改变了乘法位置，因此在非交换群中常常表现不同。
1.3 陪集的记号与表示方法
陪集通常写作 \(gH\) 或 \(Hg\)，其中前者表示左陪集，后者表示右陪集。若明确子群 \(H\)，也可直接说“元素 \(g\) 所决定的陪集”。
在讨论多个陪集时，常通过下标或代表元来区分，例如 \(g_1H, g_2H,\dots\)。在一些证明中，也会用等价类的方式表示陪集，把同一陪集中的元素视作彼此等价。
1.4 陪集的直观理解
陪集可以直观理解为对子群的一次“平移”。如果把子群看成一个局部结构，那么乘上一个固定元素就相当于把这块结构搬到群中的另一个位置。
在整数加法群中，这种理解尤为明显。例如偶数集合加上 1，得到的就是所有奇数；这说明陪集往往把群分成若干彼此平行、互不重叠的部分。
2 陪集的性质
2.1 陪集的等势性
任意一个陪集与其对应子群之间都存在一一对应关系，因此二者具有相同的基数。更准确地说，映射 \[ h\mapsto gh \] 把子群 \(H\) 双射到左陪集 \(gH\) 上；右陪集同理。
这意味着陪集不会改变“元素个数”的规模特征。对于有限群，这一点尤为重要，因为它直接联系到拉格朗日定理与指数的计算。
2.2 陪集之间的相等条件
两个陪集是否相等，取决于它们的代表元是否落在同一个划分块中。对于固定子群而言，不同元素可能生成相同陪集，也可能生成完全不同的陪集。
2.2.1 元素归属判定
对于左陪集 \(gH\) 与 \(aH\)，它们相等当且仅当 \(g^{-1}a\in H\)。等价地说，若 \(a\) 属于 \(gH\)，则 \(aH=gH\)。
这一判定给出了判断两个元素是否对应同一陪集的直接方法，也说明陪集本质上是按“相差一个子群元素”来归类的。
2.2.2 交集与相等的关系
两个陪集要么完全相同，要么完全不相交。只要两个陪集有一个公共元素，它们就必须是同一个陪集。
这是一条非常关键的性质，因为它保证了陪集能够形成清晰的分块结构，而不会出现部分重叠的混乱情况。
2.3 不同陪集之间的分离性
若两个陪集不同，则它们没有任何公共元素。这个结论适用于左陪集，也适用于右陪集。
分离性使陪集在集合意义上构成彼此独立的块，每个群元素都只属于某一个给定子群的某个陪集。这种“互斥”的结构，为后续讨论商群提供了基础。
2.4 陪集对群的划分
所有陪集合起来，可以把整个群分割成若干个互不相交的部分。每个元素都恰好落入一个陪集，因此陪集形成群的一个划分。
这种划分不是随意的，而是由子群自动导出的。对于有限群，这种分块还具有统一的大小；对于无限群，也依然保持了结构上的整齐性。
3 陪集与子群
3.1 子群生成的陪集
一个子群本身也可以看作它自己的陪集，即单位元与该子群相乘得到的集合就是它自己。除此之外，子群通过不同群元素平移后，会生成一系列互不相同的陪集。
因此，子群不仅是群中的一个部分，还像是一个“模板”，其陪集则是这个模板在群中的不同位置。
3.2 子群指数与陪集个数
子群 \(H\) 在群 \(G\) 中的指数，记作 \([G:H]\)，表示陪集的总数。若 \(G\) 是有限群，那么指数也等于群阶除以子群阶： \[
| [G:H]=\frac{ | G | }{ | H | } |
|---|
\]
指数反映了子群在群中“占据多少块”的信息。指数越小，说明子群越接近整个群；指数越大，则说明子群越细小，分出的陪集也越多。
3.3 陪集代表元
每个陪集都可以任选一个元素作为代表元，但代表元并不唯一。只要两个元素属于同一个陪集，它们就可以互相替代，作为该陪集的标记。
在实际计算中，通常会选取便于处理的代表元，以简化陪集的列举和商群的构造。代表元的选择虽然灵活，但所对应的陪集本身并不会因此改变。
3.4 正规子群与陪集结构
正规子群是陪集理论中的核心对象。若一个子群满足左陪集与右陪集完全一致，则它具有更强的对称性，能够进一步用于定义商群。
3.4.1 左右陪集一致的条件
当对子群 \(N\) 和任意群元素 \(g\) 都有 \[ gN=Ng \] 时，称 \(N\) 具有左右陪集一致的性质。这样的子群在群中表现出对称稳定的特征。
在交换群中，所有子群都满足这一条件；而在一般群中，这一性质则较为特殊。
3.4.2 正规子群的判定
正规子群常用符号 \(N\trianglelefteq G\) 表示。判定一个子群是否正规，常见方法包括检查其与任意元素共轭后的结果是否仍落在自身内，或者直接验证左右陪集是否相等。
正规子群之所以重要，是因为只有它才能保证陪集之间的乘法运算良定义，从而使商群具有完整的群结构。
4 商群中的应用
4.1 商群的构造
商群是由群与其正规子群共同构造的代数结构。其元素不是单个群元素，而是正规子群的各个陪集。
若 \(N\) 是 \(G\) 的正规子群，则可把所有陪集 \(gN\) 收集起来，形成商群 \(G/N\)。这相当于把群中某些“等价”的元素视为同一类。
4.2 陪集作为商群元素
在商群中，每一个陪集都被当作一个独立元素。这样一来，原群的复杂结构就被压缩成若干个类，从而更容易分析。
这种观点本质上是把陪集从“集合”提升为“新对象”。商群中的每个元素都代表原群中的一个等价类，而不是某个具体点。
4.3 商群运算的定义
商群中的运算通常定义为 \[ (gN)(hN)=(gh)N \] 也就是说，两个陪集相乘后，得到的仍是一个陪集。
这个定义之所以成立，依赖于 \(N\) 的正规性。若子群不是正规子群，那么不同代表元可能给出不同结果，运算就无法良定义。
4.4 商群的代数意义
商群把原群按照子群的陪集结构“压缩”后，保留了部分整体信息，同时去除了某些局部差异。它常用于研究群的分解、同态像以及群的层次结构。
在更广泛的代数中，陪集与商群的思想也可视为一种统一的“模掉子结构”方法，体现了抽象代数中以等价类替代具体元素的典型思路。
5 典型例子
5.1 整数加群中的陪集
在整数加法群 \((\mathbb{Z},+)\) 中，取子群 \(n\mathbb{Z}\)，即所有 \(n\) 的倍数组成的集合。其陪集为 \[ a+n\mathbb{Z} \] 表示所有与 \(a\) 相差一个 \(n\) 的倍数的整数。
例如，当 \(n=2\) 时，\(\,0+2\mathbb{Z}\) 是偶数集，\(\,1+2\mathbb{Z}\) 是奇数集。整个整数群被这两个陪集完整划分。
5.2 循环群中的陪集
在循环群中，陪集往往可以直接通过生成元与子群的关系来描述。若群由一个元素生成，而子群由其某个幂生成，那么陪集常呈现出周期性的排列。
这类例子有助于直观看出：陪集的数量和结构，通常与群的循环周期紧密相关。
5.3 有限群中的陪集划分
在有限群里，陪集划分最容易体现“等大小分块”的特征。例如一个子群的每个陪集都含有相同数量的元素，因此群的阶可被子群阶整除。
这种现象常用于快速计算群的结构信息，也为判断某些子群是否可能存在提供了约束。
5.4 非阿贝尔群中的左右陪集差异
在非阿贝尔群中，左右陪集可能不同。例如某些置换群中的子群，对同一个元素进行左乘和右乘，得到的集合并不一致。
这一差异说明陪集理论并不只是简单的“平移”，其行为还受到群运算是否可交换的深刻影响。也正因如此，正规子群的概念才显得尤为关键。
6 相关定理与结论
6.1 拉格朗日定理与陪集
拉格朗日定理指出，有限群的子群阶整除群阶。其证明核心正是利用陪集划分：群被分成若干个大小相同的陪集，而每个陪集的大小等于子群大小。
因此，陪集不仅是陪伴子群出现的集合，更是证明群论基本整除性质的重要工具。
6.2 陪集分解定理
陪集分解定理说明，群可以表示为若干个不同陪集的并集，并且这些陪集两两不交。该结论把群整体结构转化为对子群及其平移块的研究。
这种分解方式常被用于构造证明、计算指数，以及分析同态与核之间的联系。
6.3 正规化与陪集不变性
当子群在群的共轭作用下保持不变时，它往往与陪集的稳定性相对应。正规子群的陪集在左右乘法下表现一致，这种不变性使其能够承载商群结构。
可以说，正规化过程的核心目标之一，就是让陪集具备足够的对称性，从而形成良定义的代数对象。
6.4 陪集在证明中的常见用途
陪集常用于证明群阶整除、子群指数计算、商群运算良定义等结论。它也经常出现在同态定理、正规子群判定以及有限群结构分析的证明中。
在许多抽象代数证明里，陪集的作用类似于“中间桥梁”：它把具体元素运算转换为分类与比较问题，从而让复杂结构变得更易处理。