陪集的意思大概就是，群中的元素g带着子群H里的每个元素‘走一遍’群运算，生成一个新的集合（陪集）”，这个集合里的元素是g和H元素的 “组合结果”，体现的是群元素与子群的运算关联，像是 “子群H沿着元素g‘平移’后的集合”。

陪集不一定是子群：