离散数学 群.pptVIP

第7章 群、环和域 7.1 半群与独异点 1. 半群与独异点 2. 可交换半群 定义7.1.2 若 S，*是半群， 若运算*是可交换的， 则称 S，*为可交换半群。 例 N，+，N，×是半群，且是可交换半群。 7.2 群的定义及基本性质 1.群的基本概念 群的定义 设G，*是一个代数系统，若二元运算*满足 （1）可结合性 （结合律） 半群 （2）存在幺元 （单位元素） 含幺半群 （3）G中每个元素都存在逆元. 群 则称 代数系统G，*是群。 注：群是半群和含幺半群的特例。 有限群 设G，*是一个群，若集合G是无限集, 则称 G，*是无限群。否则称为有限群，|G|称为群的阶。 阿贝尔群 设G，*是一个群，若*是可交换的, 则称 群G，*为可交换群或阿贝尔群。 3 群同态的例子 参见P177 例7.2.6 7.3 循环群与变换群 1 循环群 定义 设G,*是群，若G中的每个元素都是G中某个固定元素a的整数幂，则称群G,*为循环群。 称群是由a生成的, 记为 G=(a).元素a称为群G的生成元。 例1 整数加群I,+是循环群：1是其生成元1m=m, 1-m=-m -1也是其生成元。故 I= (1) = (-1). 例2 G={…,5-2, 5-1, 1, 5, 25, …} ，则G,×是群，是循环群 故 G =（5）. 讨论一下循环群的结构： 命题1: 设循环群G=(a)，若a的所有不同的整数幂都互不相等，则G中含有无限多个元素，且有 G=(a)={…,a-2, a-1, a0, a1, a2,…} 命题2:设循环群G=(a)，若a的所有不同的整数幂中有两个是相等的，则G中存在最小的正整数n使得an=e，且有 G=(a)={a0,a1,a2…,an-1} 定义 设群G,*中任一元素a，若存在使an=e的最小的正整数n，则称a的周期(或阶)为n。 若正整数n不存在，则称a的周期（或阶）是无限的。 注 周期的概念是对群中任一元素来定义的，任意群其幺元的周期一定是1。 对循环群，有时称其生成元的周期为循环群的周期。 例 整数加群I,+, 其幺元0的周期是1, 其他元素周期无限. 其为循环群，生成元是1,故该循环群的周期为无限。 例 Zm, +m是群, 且是周期为m的循环群(剩余类加法群) Zm ={[0],[1],[2],…,[m-1]}, [i] +m [j]=[(i+j)(mod m)]; [i], [j] ∈Zm 证明：见P179例7.3.3的证明 7.4 子群 1 子群定义 定义 设G，*是一个群，H是G的非空子集，若 H，*也是一个群，则称H，*是G，*的子群。 简称H是G的子群。 注 G,*和{e},*都是G，*的子群，称为平凡子群， 其他的子群称为非平凡子群（或真子群）。 判断H是子群的步骤： （1）封闭性；（2）含幺元；（3）每个元素均可逆； 3??子群的陪集与拉格朗日定理 (P185) 1）陪集定义 （定义 7.4.2） 设H,*是群G,*的子群，a是G中的任意元素，则： ① 把集合aH={a*h | h∈H}称为G中的子群H的左陪集； 而把集合∑={aH | a∈G}称G关于子群H的左商集。 ② 把集合Ha={h*a | h∈H}称为G中的子群H的右陪集； 而把集合∑’={Ha | a∈G}称G关于子群H的右商集。 2）陪集性质 定理7.4.4 设H,*是群G,*的子群，则： ① 若a∈bH, 则aH=bH； ② 若a∈Hb, 则Ha=Hb； 定理7.4.5 设H,*是群G,*的子群，则H的左/右商集： ∑={aH | a∈G} 或 ∑’={Ha | a∈G} 恰为群G的一个划分。 例 P189 例7.4.7 习题七：2、5、6、8、17、18、19、25、26 * * 《离散数学》课程讲义课件 大连海事大学 计算机科学与技术学院 本章及第8章讨论一些具体的代数系统： 群、环、域、格与布尔代数等内容。 具有一个二元运算的群； 具有两个二元运算的环和域； 具有两个二元运算的格； 具有两个二元运算和一个一元运算的布尔代数； 我们只讲一下 群 。 定义7.1.1 给定S，*， *是S上的二元运算， （1）若*是可结合的，则称S，*为半群。 注：半群就是由集合及其上定义的一个可结合的二