南京大学《离散数学》课件-第6周.pdfVIP

子群与拉格朗日定理 离散数学 第11讲 上一讲内容的回顾 群公理 群的例子 群方程及其解 群与消去律 群中元素的阶 群表 子群与拉格朗日定理 子群的定义及其判定 有限群的子群的判定 陪集与集合的划分 陪集关系 陪集关系是等价关系 拉格朗日定理 拉格朗日定理的重要推论 子群的定义 设(G, ₀)是群，H是G的非空子集，如果H关于G 中的运算构成群，即(H, ₀)也是群，则H是G的 子群。 严格的说， (H, ₀)中的运算是(G, ₀)中运算在H上的 “限制” 例子：偶数加系统是整数加群的子群 平凡子群 注意：结合律在G的子集上均成立。 子群的判定 – 判定定理一 G是群，H是G的非空子集。H是G的子群当 且仅当： a,bH, abH, 并且 aH, a-1H （注意：这里a-1是a在G 中的逆元，当H确定为群后，它必也是a在H中的逆元） 证明 必要性显然 （注意群中逆元素的唯一性） 充分性：只须证明G中的单位元也一定在H中， 它即是H的单位元素。 子群的判定 – 判定定理二 G是群，H是G的非空子集。H是G的子群当且仅当： a,bH, ab-1H 证明 必要性：a,bH, 因为H是群，b-1H，由封闭性可知 ab-1H 充分性： • 单位元素：因为H非空，任取aH, e aa-1H • 逆元素： aH, 因为eH, 所以 a-1 ea-1H -1 -1 -1 • 封闭性： a,bH, 已证b H，所以ab a(b ) H 子群的判定 – 有限子群 G是群，H是G的非空有限子集。H是G的子群当且仅当： a,bH, abH 证明 必要性显然 充分性：只须证明逆元素性 • 若H中只含G的单位元，H显然是子群。否则，任取H 中异于单位元的元素a, 考虑序列 2 3 a, a , a , ... 注意：该序列中各项均为有限集合H中的元素，因此， i j 必有正整数i,j(j i), 满足：a a , 因此： a-1 aj-i-1 H 生成子群 设G是群，aG，构造G的子集H如下： k H {a | k是整数 } 则H构成G的子群，称为a生成的子群 〈 a〉 证明： H非空：a在H中 利用判定定理二： m l m l – 1 m-l