陪集是在子群的定义上讲话的。它这样说：有一个群与它的子群，规定一个二元关系:

，当且仅当的时候。

可以这样理解这里定义的关系，和只有在它们的差落在里。最容易的解释就是取模的运算，同模，就说明满足关系。而取模里面就是模为的数。

由上面定义的二元关系决定的类叫做子群的右陪集，可以通过计算得到。而且显然。反过来，可以定义左陪集的关系。

• 左陪集的个数与右陪集的个数相等，并且它们都是无限大，或者有限且相等。
• 一个子群和它的每一个右陪集之间都存在一个一一映射。
• 如果是一个有限群的一个子群，那么的阶和它在里的指数都能够整除的阶，并且。