17_子群与拉格朗日定理.ppt

子群与拉格朗日定理 离散数学－代数结构 南京大学计算机科学与技术系 回顾 半群 幺半群 群 群的性质 群的术语 群方程* 2 子群与拉格朗日定理 子群的定义及其判定 生成子群与元素的阶 子群的陪集与划分 拉格朗日定理 拉格朗日定理的推论 3 子群的定义 设(G, ⃘)是群，H是G的非空子集，如果H关于G中的运算构成群，即(H, ⃘)也是群，则H是G的子群。 记作(H, ⃘)  (G, ⃘), 简记为 HG。 例子：偶数加系统是整数加群的子群 平凡子群 (G, ⃘)， ({e}, ⃘) 注意：结合律在G的子集上均成立。 4 关于子群定义的进一步思考 群G 子群H a b eH a-1H 问题2：ab应该在哪儿？ 问题1：eH是否一定是eG? eH eH= eH  eH = eG 5 子群的判定 – 判定定理一 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的单位元素。 6 子群的判定 – 判定定理二 G是群，H是G的非空子集。H是G的子群当且仅当： a,bH, ab-1H 证明 必要性易见 充分性： 单位元素：因为H非空，任取aH, e=aa-1H 逆元素： aH, 因为eH, 所以 a-1=ea-1H 封闭性： a,bH, 已证b-1H，所以ab=a(b-1)-1H 7 子群的判定 – 有限子群 G是群，H是G的非空有限子集。H是G的子群当且仅当： a,bH, abH 证明. 必要性显然. 下证充分性，只须证明逆元素性 若H中只含G的单位元，H显然是子群。 否则，任取H中异于单位元的元素a, 考虑序列 a, a2, a3, ... 注意：该序列中各项均为有限集合H中的元素，因此，必有正整数i, j(ji), 满足：ai=aj, 因此： a-1=aj-i-1 H 8 生成子群 设G是群，aG，构造G的子集H如下： H = {ak | k是整数 } 则H构成G的子群，称为a生成的子群 〈a〉 证明： H非空：a在H中 利用判定定理二： am,anH, am(an)–1 =am-nH, 9 群中元素的阶 10 定义（元素的阶） 群中元素的阶（续） 11 例 群中元素的阶（续） 12 定理（元素的阶的性质） 群中元素的阶（续） 13   群中元素的阶（续） 14 群中元素的阶（续） 15   群的中心 设G是群，构造G的子集C如下： C = {a | aG, 且xG, ax=xa } 则C构成G的子群，称为G的中心 证明： C非空：单位元在C中 利用判定定理二：即证明对任意的a, bC, (即ax=xa, bx=xb对G中一切x成立)， (ab-1)x = x(ab-1) 也对G中一切x成立 (ab-1)x = a(b-1(x-1)-1) = a(x-1b)-1 = a(bx-1)-1 = a(xb -1) = x(ab-1) 16 左(右)陪集及其表示 若H是群G的一个子群，a是G中的任意一个元素，定义：aH = { ah | hH } aH称为H的一个左陪集 由群的封闭性可知，aH也是G的子集 hH. ahH iff aH 相应地可定义右陪集 17 陪集与划分 设H是群G的子群，则H的所有左陪集构成G的划分 G中任意元素a一定在某个左陪集中：aaH a,bG, aH=bH或者aHbH= 假设aHbH, 即存在caHbH, 令c=ah1=bh2, 则a=bh2h1-1, 从而aHbH， 同理可得： bHaH. 所以 aH=bH 注意：a, b属于同一左陪集 iff abH且baH iff b-1aH 18 陪集与划分（续） 19   陪集与划分（示例） 20   左陪集关系 设H是群G的子群，定义G上的二元关系R如下：a,bG, (a,b)R当且仅当b-1aH R是G上的等价关系 自反性：aG, a-1a=e 对称性：注意a-1b= (b-1a)-1 传递性：如果b-1aH, c-1bH, 则 c-1a=c-1(bb-1)a=(c-1b)(b-1a)H [a]R=aH：x[a]R  aRx  x-1a=hH  x=ah-1 aH 21 Lagrange 定理 22   Lagr