离散数学+高等里离散数学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