陪集

H是群G的子群，對於某一；

{gh|對於所有}表示H的一個左陪集，記作gH;

{hg|對於所有}表示H的一個右陪集，記作Hg;

也譯作傍系，旁集等。

0>群G的有限子群H的任意兩個陪集包含的元素個數相等，且等於H的階；

1>群G的子群H的兩個左(右)陪集，要麼是不相交的，要麼是相等的；

2>H是群G的子群，對任一

3>H是有限群G的子群，若存在一組g2,g3...gr∈(G-H)使對於任意i≠j都有,並且(或者,那麼G的階r倍於H的階，並定義為H在G內的指數。

給定群G的兩個子群H和K(可以相同),以及G的某固定元素g,{hgk|對於所有稱作二重陪集,記作HgK。