离散数学+高等里离散数学CHAPT17解答.ppt

离散数学 第十七章群 目录 群是由非空集合与一个定义在该集合上的二元运算所组成的代数系统。本章介绍： §17.1 群的概念 §17.2 子群 §17 3 置换群 §17.4 陪集与Lagrange定理 §17.5 同态与同构 §17.1 群的概念 群的定义 定义17.1.1：设G是一个非空集合，在该集合上有一个二元运算“·”。如果该运算满足： ⑴对任意a, b∈G，有a·b∈G； ⑵对任意a, b,c∈G ，有(a·b)·c = a·(b·c) ⑶ 存在 e∈G，使对任意a∈G ，有 e·a = a·e = a； ⑷对任意a∈G，存在a–1∈G，使得 a·a–1 = a–1·a = e； 则称G为一个群，其中e称为G的单位元， a–1称为a的逆元。 群的例子 例1：G={a}，乘法为 aa = a。 群的大小 群G的大小是指集合G的大小。对于一个群G， (1)若G是无限集，则称G为无限群； (2)若G是有限集，则称G为有限群。对于有限群，又进一步地称 (3)G为n阶群，若| G | = n。 幂运算 由于群对乘法满足结合律，因此多个元素的连乘是有意义的，并可采用任意的计算顺序。 n个相同元素a连乘所得的结果称为a的n次方幂，记为an。 规定：a0 = e，a–n = ( an )–1。容易验证 am an = am+n (第一指数律)； (am) n = am n (第二指数律)。 交换群 群的乘法满足结合律，是构成群的必要条件，但是并不要求满足交换律。 若群G的乘法还同时满足交换律，即对任意 a, b∈G，ab = ba，则称G为Abel (阿贝尔) 群或交换群。 对于交换群，我们有 (a b) m = am bm (第三指数律)。因为， (a b) m =ab·ab·…·ab=aa…a·bb…b= am bm 单位元和逆元的唯一性 定理17.1.1：任何群的单位元是唯一的；群中每个元素的逆元也是唯一的。 证明：设群G的单位元为e，于是对?a?G，有 ae = ea = a (17.1) 若另有e’满足对?a?G，有 ae’ = e’a = a (17.2)。 则由 a 的任意性，在(17.1)中令a = e’,得e’e=ee’=e’;在(17.2)中令a = e，得ee’=e’e=e,于是e’ = e’e = e。故e’ = e。 对?a?G，设b满足ab=ba=e(满足逆元的条件)，则b=be=b(aa–1)=(ba)a–1= a–1。 故b = a–1。 左单位元和左逆元 定理17.1.2：群定义中的条件⑶和⑷可减弱为： (3’)G中有左单位元e，即对?a?G，ea = a； (4’)对?a?G，有左逆元，即a–1?G，a–1a = e。 证明：先证左逆元a–1即右逆元，即a a–1 = e。 ∵ a–1∈G，∴存在b∈G，使ba–1 = e。于是 aa–1 = eaa–1 = (ba–1)(aa–1) = b(a–1a)a–1 = bea–1=ba–1=e。 再证左单位元e也是右单位元。对?a?G，有 ae = a(a–1a) = (aa–1)a = ea = a。 所以左单位元即右单位元，左逆元即右逆元。 可除条件 定理17.1.3：群中条件⑶和⑷等价于可除条件：对?a, b∈G，有x, y∈G，使得xa = b，ay = b。 消去律 若G上的乘法运算满足：对?a, b, c∈G，若ab = ac或ba = ca，则有b = c。则称G上的乘法运算满足消去律。 群的运算是满足消去律的。因为： 设G是群，a, b, c∈G。若ab=ac或ba=ca，则用a–1左乘ab=ac，右乘ba=ca，就有b=c。如：a–1(ab)= a–1(ac), (a–1a)b=(a–1a)c, b=c。 反之，若G上的运算满足封闭性、结合律和消去律，G是否构成群呢？ 集合满足消去律不一定成群 若G上的运算满足封闭性、结合律和消去律，G不一定能够构成群。 如：令G为正整数集合，运算为普通乘法，显然满足封闭性、结合律和消去律，但是我们知道，它不构成群，因为除单位元外，它的元素没有逆元。 但是如果G是一个有限集合，则可以构成一个群。 有限集满足消去律可成群 定理17.1.4：设G是有限集，于是群G定义中的⑶,⑷可用消去律代替。 群表 表示有限集上二元运算的二维表格称为乘法表。 有限群的乘法表称为群表。 §17.2 子群 子群的概念 定义17.2.1：设G是一个群，H是G的非空子集。如果H对G的运算构成一个群，则称H是G的子群，记为H≤G。 任何群都至少有两个子群，即H={e}以及H=G。它们称为G的平凡子群。 例如：整数集Z对加法构成加法群，而偶