陪集定義
H是群G的子群,對於某一g∈G,{gh|對於所有h∈H}表示H的一個左陪集,記作gH;
{hg|對於所有h∈H}表示H的一個右陪集,記作Hg;
也譯作傍系,旁集等.
相關定理
0> 群G的有限子群H的任意兩個陪集包含的元素個數相等,且等於H的階.1> 群G的子群H的兩個左(右)陪集,要么是不相交的,要么是相等的.
2> H是群G的子群,對任一g∈(G-H),gH∩H=Φ,Hg∩H=Φ.
3> H是有限群G的子群,若存在一組g2,g3...gr∈(G-H)使對於任意i≠j都有Hgi∩Hgj=Φ(或giH∩gjH=Φ),並且G=H∪Hg2∪Hg3∪...∪Hgr(或者H∪g2H∪g3H∪...∪grH),那么G的階r倍於H的階,並定義r=[G:H]為H在G內的指數.