Ponder...Equal Cardinality of CosetsFor and , the map is a bijection , so . Lemma 3.4 Let , then there is a bijection for any . In particular, . ProofThe map defined by has inverse defined by . Hence it is a bijection.RelatedCosetBijectionSubgroupStated inLemma 3.4§3.1 Cosets
