数学上，若*G*为群，*H*为其子群，而*g*为*G*中元素，则

*gH* = {*gh* : *h*为*H*中元素 }为*H*在*G*中的**左陪集**，而
*Hg* = {*hg* : *h*为*H*中元素 }为*H*在*G*中的**右陪集**。
仅当*H*为正规子群时，左右陪集相同，这也是子群正规性的一个定义。

**陪集**指某个*G*中子群的左或右陪集。因为*Hg* = *g* ( *g*−1*Hg* )，（*H*的）右陪集*Hg*和（共轭子群 *g*−1*Hg* 的）左陪集*g* ( *g*−1*Hg* )是相等的。因此不规定所使用的子群而讨论一个陪集是左陪集或右陪集是没有意义的。

对于交换群或者记为加法形式的群，陪集可以分别用*g*+*H*和*H*+*g*表示。

范例
--

加法循环群 **Z**4 = {0, 1, 2, 3} = *G*，有子群*H* = {0, 2}（同构于**Z**2)。*H*在*G*中的左陪集为

0 + *H* = {0, 2} = *H*
1 + *H* = {1, 3}
2 + *H* = {2, 0} = *H*
3 + *H* = {3, 1}.
因此存在两种不同的陪集*H*本身和1 + *H* = 3 + *H*。注意每个*G*中元素或者在*H*中，或者在1 + *H*中，也即，*H* ∪ (1 + *H* ) = *G*，所以*H*在*G*中不同的陪集构成*G*的一个划分。因为**Z**4是交换群，右陪集和左陪集相同。

另一个陪集的例子来自线性空间中。线性空间的向量在向量加法下组成一个阿贝尔群。可以证明原来的线性空间的子空间是这个群的子群。对于给定的线性空间 *V*，子空间 *W* 和 *V* 中的一个固定向量 *a*，集合

\{x \in V \colon x = a + n, n \in W\}
被称为"仿射子空间"。它们都是 *W* 的陪集。对于欧几里得空间，仿射子空间代表与给定的过原点的直线或平面平行的直线或平面。

性质
--

*gH* = *H* 当且仅当 *g* 是 *H* 中的元素。

一个子群 *H* 的两个左（右）陪集要么相同，要么不交——即左（右）陪集的集合构成了群 *G* 的一个划分：群中的每个元素属于且仅属于一个左（右）陪集。特别地，单位元只在一个陪集中，即是 *H* 自己。因此 *H* 也是所有左（右）陪集中唯一的子群。这个划分称为 *G* 对 *H* 的**左**（**右**）**陪集分解**。 

如果定义 *G* 中的等价关系为：*x* ~H *y* （*x* 等价于 *y* ）当且仅当*x*-1*y* ∈ *H*，那么 *H* 在 *G* 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立（当xy^{-1} \in H）。

一个陪集的**代表元**是建立在上述等价关系上的概念。陪集中的每个元素都可以作为该陪集的代表元。

*H*的所有左（右）陪集的阶都是一样的。*H* 在 *G* 中的左陪集个数和右陪集个数也是一样的，称为 *H* 在 *G* 中的**指数**。记作 [G:H]。由陪集的性质很容易得到拉格朗日定理，其说明在 *G* 为有限群时：

|*G* | = [*G* : *H* ] · |*H* |。
### 陪集与正规子群

如果 *H* 不是 *G* 的正规子群，那么它的左陪集和右陪集不相等：存在 *G* 中元素 *a* 使得不存在符合*aH* = *Hb*的元素 *b*，或者说 *H* 的左陪集构成的划分（*G* 对 *H* 的左陪集分解）不同于 *H* 的右陪集构成的划分（*G* 对 *H* 的右陪集分解）。

另一方面，子群 *H* 为正规子群当且仅当对 *G* 中所有元素 *g*，*gH* = *Hg*。这时子群 *H* 所有的陪集构成一个群，称为*G* 对 *H* 的商群，记作*G* /*H*。其元素间的运算 ∗ 定义为(*aH* )∗(*bH* ) = *abH*。这个定义自洽当且仅当 *H* 为正规子群。

有限指数
----

无限群*G*可能有具有有限指数的子群*H*（例如，整数群中的偶数）。可以证明，这样的子群总是包含一个具有有限指数的（*G*的）正规子群*N*。事实上，如果*H*具有指数*n*，则*N*的指数是*n*!的因子。这一性质可以通过具体的例子来体现：考虑*G*通过乘法在*H*的左陪集上的置换作用（或者，在右陪集上的作用也是同样的例子）

\pi \ : G \times S\_H \to S\_H
. \ \ \ ( \ g \ , \ aH) \longmapsto gaH
其中 S\_H 是所有陪集的集合。对 *G* 中任意的 *g*， \pi\_g \ : aH \mapsto gaH 都是一个置换。再考虑相应的置换表示：\Pi \ : g \mapsto \pi\_g ，这个置换表示的核给出了*G*的一个正规子群*N*，而它的象是*G*的一个商群：一个在*n*个元素上的对称群的子群。

*n* = 2时，上述性质表明指数为2的子群总是一个正规子群，因为 2!=2。

参看
--

* 双陪集
* 堆
* 拉格朗日定理
* 正规子群
* 商群

参考来源
----

* 胡冠章，《应用近世代数》，第2章，清华大学出版社。

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |