抽象代数/群论/子群/陪集/陪集的定义

如果 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 的子群。