子群和拉格朗日定理.PDFVIP

子群与拉格朗日定理 离散数学－代数结构 南京大学计算机科学与技术系 回顾  半群  幺半群  群  群的性质  群的术语  群方程* 2 子群与拉格朗日定理  子群的定义及其判定  生成子群与元素的阶  子群的陪集与划分  拉格朗日定理  拉格朗日定理的推论 3 子群的定义  设(G, ⃘ )是群，H是G的非空子集，如果H关于G中 的运算构成群，即(H, ⃘ )也是群，则H是G的子群。  记作(H, ⃘ )  (G, ⃘ ), 简记为HG。  例子：偶数加系统是整数加群的子群  平凡子群 (G, ⃘ ) ，({e}, ⃘ ) 注意：结合律在G的子集上均成立。 4 关于子群定义的进一步思考 问题1：eH是否一定是eG? eH eH= eH  eH = eG 群G 问题2 ：ab应该在哪儿？ b a e ab H -1 a 子群H H 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 -1 -1 -1  封闭性：a,b H, 已证b H ，所以ab=a(b ) H 7 群的术语：元素的乘幂（次方）  定义 a0 = e （e是单位元素） n+1 n a = a ⃘ a (n是非负整数) -k -1 k a =(a ) (k为正整数)  性质 n m n+m a ⃘ a = a n m nm (a ) = a