引理131:如果HG是子群那么任 g∈G所构成的陪集gH=H,|Hg|=|H| 分析:证明基数相等的一种方法是证明两个 集合之间存在双射 证明:定义映射φ:H→Hg, cp(h)=h*g 利用群消去律证明是一对一的 而满射是显然的因为对任意的h*g∈Hg,有 op(h)=h*g▪ 引理13.1：如果HG是子群,那么任一 gG所构成的陪集|gH|=|H|, |Hg|=|H|。 分析:证明基数相等的一种方法是证明两个 集合之间存在双射. 证明:定义映射:H→Hg, (h)=hg 利用群消去律证明是一对一的. 而满射是显然的,因为对任意的hgHg, 有 (h)=hg