数学上,若G为群,H为其子群,而g为G中元素,则
- gH = {gh : h为H中元素 }为H在G中的左陪集,而
- Hg = {hg : h为H中元素 }为H在G中的右陪集。
仅当H为正规子群时,左右陪集相同,这也是子群正规性的一个定义。
陪集指某个G中子群的左或右陪集。因为Hg = g ( g−1Hg ),(H的)右陪集Hg和(共轭子群 g−1Hg 的)左陪集g ( g−1Hg )是相等的。因此不规定所使用的子群而讨论一个陪集是左陪集或右陪集是没有意义的。
对于交换群或者记为加法形式的群,陪集可以分别用g+H和H+g表示。