设H为G的子群,a为G中的任意元,则aH={ah∣h∈H}为G中的左陪集,Ha={ha∣h∈H}为右陪集
若aH=Ha,则aH为G中H的陪集
∀a∈G,aH={c∣c∈G,a−1c∈H},Ha={c∣c∈G,ca−1∈H}
∀a,b∈G,aH=bH⟺b−1a∈H
∀a,b∈G,aH∩bH=∅⟺b−1a∈H
∀a∈H,aH=H=Ha
群(Zha,+)子群<a>的所有陪集
STEP 1: <a>生成子群{0,a,2a,⋯,(h−1)a}
STEP 2: 陪集为{m+0,m+a,m+2a,⋯,m+(h−1)a},m=0,⋯,a−1
G/H={aH∣a∈G}
G/H中左(右)陪集的个数叫做H在G中的指标,记作[G:H]
H≤G⟹∣G∣=[G:H]∣H∣
K,H≤G,K≤H⟹[G:K]=[G:H][H:K]
H≤G,H满足∀a∈G,aH=Ha
N为G的正规子群,(aN)(bN)=(ab)N,G/N构成一个商群
m+<a>在Zka/<a>里的阶
(m+<a>)⋅ord(m+<a>)=<a>