数学中，特別是群論中，群G的子群H能夠將G中的元素劃分為若干個互不相交的子集，這些子集稱為H的陪集（）。陪集中又有左陪集和右陪集。H的陪集（不分左右）的大小與H的相等。H同時是自身的左陪集和右陪集。左陪集的數量與右陪集的數量相等。子群H陪集的個數稱為H在G中的指數，記為[G : H]。
陪集是研究群的基本工具。如在拉格朗日定理中，利用子群的概念證明了有限群G中每一個子群的元素個數整除G的元素個數。對特定的子群（正規子群），它的陪集可以作為另一個群的元素存在，衍生出商群的概念。
定義
若G為一個群，g为G中元素，则
:gH = \{gh | h \in H\}为H在G中的左陪集，
:Hg = \{hg | h \in H\}为H在G中的右陪集。
左陪集與右陪集不必相等，H所有的左右陪集相等當且僅當H为正规子群。有時會用這個條件作為子群正规性的定义。
陪集指某个G中子群的左或右陪集。因为Hg = g(g^{-1}Hg)，H的右陪集Hg和共轭子群g^{-1}Hg的左陪集g(g^{-1}Hg)相等。因此不明確說明所使用的子群而讨论一个陪集是左陪集或右陪集是没有意义的。
对于交换群或者將群操作記為加號的群，左右陪集可以分别用g + H和H + g表示。
范例
令H = \{0, 2\}（同构于\mathbb{Z}_2)為加法循环群 \mathbb{Z}_4 = \{0, 1, 2, 3\} = G的一個子群。H在G中的左陪集为
:0 + H = \{0, 2\} = H
:1 + H = \{1, 3\}
:2 + H = \{2, 0\} = H
:3 + H = \{3, 1\}
因此H有两個不同的陪集：H自身和1 + H = 3 + H。注意到G的每個元素要麼在H中，要麼在1 + H中，換言之，H \cup (1 + H) = G，所以H在G中的兩個不同的左陪集构成G的一个划分。因为\mathbb{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中定義等价关系\sim_H使得x \sim_H y（x 與 y 等價）当且仅当x^{-1}y \in H，那么 H 在 G 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立（當等價關係的定義為x \sim_H y \iff xy^{-1} \in H時）。
一个陪集的代表元是建立在上述等价关系上的概念。陪集中的每个元素都可以作为该陪集的代表元。
H的所有左（右）陪集的阶都是一样的。H在G中的左陪集个数和右陪集个数也是一样的，称为H在G中的指数 。记作 [G : H]。由陪集的性质很容易得到拉格朗日定理。該定理说明在G为有限群时：
:|G| = [G : H] \cdot |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章，清华大学出版社。
Gruppentheorie#Nebenklassen
Глоссарий теории групп#К
评论 (0)