數學上,若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表示。