离散数学22(精品·公开课件).pptVIP

本次课内容 阿贝尔群 循环群的定义 循环群的例题 培集的定义 关系~具有的性质 右培集的定义 第五章 代数结构 5 - 5 阿贝尔群和循环群 5 - 7 培集与拉格朗日定理 一、阿贝尔群 二、循环群 1. 循环群的定义 2. 循环群的例题 三、培集 1. 培集的定义 2. 培集的性质 四、拉格朗日定理 1. 拉格朗日定理的证明 *2. 拉格朗日定理的应用 定义5-5.1 设〈G, *〉 是一个群. 如果 * 是可 交换的, 则〈G, *〉叫作阿贝尔群或交换群. 例1 〈I, + 〉,〈R - {0}, *〉都是交换群. 例2 设S是R上所有n 阶可逆矩阵的集合. TS 为所有 n 阶可逆的对角矩阵的集合. 〈S, *〉是非交换群,〈T, *〉是交换群. 例3 设S是所有n次多项式的集合(n为某正整数). T为所有小于等于n次多项式的集合. 在多项式加法 下,〈S, +〉,〈T, +〉是否为群？是否交换群？ 首先利用群G的一个子群H来作G的一个分 类, 为拉格朗日定理作理论上的准备. 设G是群， H是G的子群. 定义G的元素间的 关系 ~ : a ~ b  ab-1∈H. 给定a, b, 可以唯一确定ab-1是否属于H, 因此， ~ 是G上的一个二元关系. 等价关系 ~ 确定了G 的一个分类, G的分类 子集为 [a]~ = { x | x∈ G , x ~ a } ∵ x ~ a, 有 xa-1∈H, 令 h = xa-1, 则 x = ha. ∴ [a]~ = { ha | h∈H } = Ha 于是有 定义 由等价关系 ~ 所决定的类 Ha 称为子 群H的右陪集. 同理，可得到H的左陪集 aH = { ah | h∈H }. 例题 设G是5位二进制码词的集合，G的 二元运算是 +，设 w1= a1…a5, w2 = b1…b5 w1 + w2 = c1…c5, ci ≡ ai + bi ( mod2 ) (1) 验证G是一个群. (2) 设 H = { 00000, 10101, 01011, 11110 } 是G的一个子群，写出陪集 10011 + H 的元素. 解 G的幺元是00000，每个元的逆元是自己. 1. aH = H  a∈H. 2. b∈aH  aH=bH. 这说明陪集中任何一个 元素都可以作为代表元. 3. 设H是群G的子群, 则H的任意左(右)陪集 aH (Ha)与H等势. 思路 只需找出H与aH间的一个双射即可.令 f : H → aH, f(h) = ah f 显然是满射, 再注意到群中有消去律, 故 f 是双 射. 4. 设Sl 表示群G关于子群H的一切左陪集 所构成的集合, Sr表示群G关于子群H的一切右 陪集所构成的集合, 则Sl与Sr 等势. 证明 只须找出Sl到 Sr的一个双射即可. 令  f : Sl → Sr, f( aH ) = Ha-1 验证 f 是映射，且为双射. (1) 证明 f 是映射: 设aH=bH, 则 a=bh, h∈H, 于是 a-1 = h-1b-1, 因此 Ha-1 = Hh-1b-1 = Hb-1, 故 f 与 aH 中所选代表元 a 无关, 即 f 是映射. (2) 任取 Hb∈Sr, 则 f (b-1H) = Hb, 故 f 是 满射. (3) 设 Ha-1 = Hb-1, 与(1)类似, 有 aH = bH, 故 f 是单射, 因此 f 是双射, Sl 与 Sr 等势. 由上面性质4, 当Sl与Sr是有限集合时, 左陪集 的个数与右陪集的个数相等：|Sl| = |Sr|, 称为H在 G中的指数. 定义 设