离散数学群与环.pptVIP

定理10.9 设H是群G的子群，则?a,b∈G有  a∈Hb ? ab?1∈H ? Ha=Hb 陪集的基本性质 证 再证 a∈Hb ? Ha=Hb. 充分性. 若Ha=Hb，由a∈Ha 可知必有 a∈Hb. 必要性. 由 a∈Hb 可知存在 h∈H 使得 a =hb， 即b =h?1a 任取 h1a∈Ha，则有 h1a = h1(hb) = (h1h)b∈Hb 从而得到 Ha ? Hb. 反之，任取h1b∈Hb，则有h1b = h1(h?1a) = (h1h?1)a∈Ha 从而得到Hb ? Ha. 综合上述，Ha=Hb得证. * 第三十一页，共八十七页，2022年，8月28日 定理10.10 设H是群G的子群，在G上定义二元关系R: ?a,b∈G, a,b∈R ? ab?1∈H 则 R是G上的等价关系，且[a]R = Ha. 陪集的基本性质 证 先证明R为G上的等价关系. 再证明：?a∈G，[a]R = Ha. 任取b∈G， b∈[a]R ? a,b∈R ? ab?1∈H ? Ha=Hb ? b∈Ha * 第三十二页，共八十七页，2022年，8月28日 推论 推论