近世代数--陪集--|左陪集|=|右陪集|

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

这里是陪集的一些先验知识，讲了陪集的定义，陪集是对群的一种划分，陪集可以推出子群和群的阶：$|H|\mid |G|$。

• 左陪集： a H = { a h ∣ h ∈ H } aH=\{ah|h\in H\} aH={ ah∣h∈H}
• 所有左陪集： G / H = { a H ∣ a ∈ G } G/H=\{aH|a\in G\} G/H={ aH∣a∈G}
• 右陪集： H b = { b h ∣ h ∈ H } Hb=\{bh|h\in H\} Hb={ bh∣h∈H}
• 所有右陪集： H ∖ G = { H b ∣ b ∈ G } H\setminus G=\{Hb|b\in G\} H∖G={ Hb∣b∈G}（这里的$\setminus$只是在此处表示所有右陪集的集合，通常来说，这是集合减的意思。）

证明：|左陪集|=|右陪集|

• 找一个映射：$G/H\to H\setminus G，f(aH)=H{a}^{-1},a\in G$

• 证明映射：要证如果$aH=bH,a\in$