陪集

数学上，若为群，为其子群，而为中元素，则

仅当为正规子群时，左右陪集相同，这也是子群正规性的一个定义。

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

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

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

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

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

被称为“仿射子空间”。它们都是 的陪集。对于欧几里得空间，仿射子空间代表与给定的过原点的直线或平面平行的直线或平面。

= 当且仅当 是 中的元素。

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

如果定义 中的等价关系为： ~_H （ 等价于 ）当且仅当 -1 ∈ ，那么 在 中的左陪集正是所有不同的等价类。类似的结论对右陪集也成立（当${\displaystyle x{y}^{-<!--\; -\; -->1}\in <!--\; \in \; -->H}$的所有左（右）陪集的阶都是一样的。 在 中的左陪集个数和右陪集个数也是一样的，称为 在 中的指数。记作 ${\displaystyle }$ 为有限群时：

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

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

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

其中 ${\displaystyle S_H}$ 中任意的 ， ${\displaystyle {\mathrm{\pi <!--\; \pi \; -->}}_g:aH\mapsto <!--\; \mapsto \; -->gaH}$的一个正规子群，而它的象是的一个商群：一个在个元素上的对称群的子群。

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