近世代数--陪集--拉格朗日定理|G|=|H|·[G:H]，传递性[G:H][H:K]=[G:K]

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

先验知识

• 群$G$：非空集合+代数运算：单位元+逆元+封闭性+结合性
• 子群$H$：$H$是$G$的非空子集，对于$G$的代数运算还是满足：单位元+逆元+封闭性+结合性，记为$H\le G$
• 陪集：$g\in G,H$是$(G,\cdot )$的子群，集合 { g ⋅ h ∣ h ∈ H } \{g·h|h\in H\} { g⋅h∣h∈H}称为$g$对$H$的左陪集。

拉格朗日定理$|G|=|H|\cdot [G:H]$

• 若$(G,\cdot )$为一个群，$H\le G$，则有
  (1)两个陪集$aH=bH$，则$a^{-1}b\in H$
  (2)对任意$a,b\in G$，有$aH=bH$或$aH\bigcap bH=\varnothing$

证明：
(1)$aH=bH\to a^{-1}aH=a^{-1}bH\to H=a^{-1}bH$
有$aH=H,$则$a\in H$。如果$a\notin H,$那么$a\ast e=a\notin H,$则$aH\ne H$。
所以$H=a^{-1}bH\to a^{-1}b\in H$
(2)假设$g=aH\bigcap bH,$可以写成 g = a h 1 = b h 2 , → a − 1 b = h 1 h 2 − 1 ∈ H g=ah_1=bh_2,\rightarrow a^{-1}b=h_1h_2^{-1}\in H