抽象代數/群論/子群/陪集/陪集的定義

如果 h 是 G 的子群 H 中的元素，而 g 是 G 中的元素，則 h*g 屬於右陪集 Hg。

令 g 為群 G 中的一個固定元素。令 H 為 G 的子群。

H 關於 g 的左陪集為 gH。

$\forall \;g\in G:{\color {OliveGreen}g}H=\lbrace {\color {OliveGreen}g}\ast h\;|\;h\in H\rbrace$

H 關於 g 的右陪集為 Hg。

$\forall \;g\in G:H{\color {OliveGreen}g}=\lbrace {h\ast \color {OliveGreen}g}\;|\;h\in H\rbrace$

注意，這些陪集不一定是 G 的子群。