散数学代数结构.ppt

定理6.7( 子群判定定理2) 设H是群 证明：必要性 充分性证明： 定理6.8(子群判定定理3)设H是群 证明：必要性是显然的。 例6.11 设 定义6.11 设 6.2节 　陪集与拉格朗日定理 例6.12 设 解： H的右陪集为 定理6.9 设H是群 定理6.10 设 定理6.11 设 证明： 略。 推论6.1 定理6.12 设 定理6.13 设 定义6.12 群 定理6.14（拉格朗日定理）设 即子群的阶数一定是群的阶数的因子。 根据定理6.11的推论有 推论6.2 设 推论6.3 设 根据定理6.11的推论有 定义6.13 设 任何群G都有正规子群，因为G的两个平凡子群 定理6.15 设 证明：略。 例6.13 设 例6.14 设 定理6.16 设 定义6.14 设 6.3 群的同态与同构 例6.13 设 定义6.15 设 定理6.17 设 证明：略。 定义6.16 设 定理6.18 （群同态基本定理）设 定义6.17 设 6.4 循环群与置换群 定理6.19 设 例6.16 例6.17 设 例5.11 设 定义5.13 设 定义5.14 设 例5.14 表示求两个数的最小公倍数的运算。则 解： ? 零元是不存在的， 只有惟一的逆元。 例5.15 在有理数集Q上定义二元运算* 解： 例5.16 设有集合 解： 讨论这5个集合对普通的乘法和加法运算是否封闭。 例5.17 设 解： 第六章 几个典型的代数系统 本章讨论几类重要的代数结构： 半群、群、环、域、格与布尔代数 定义6.1 设 6.1节 　半群与群 是可结合的即： 定义6.2若半群 例6.1（1）普通加法是 （2）普通乘法是N,Z,Q和R上的二元运算，满足 结合律且有幺元1 定义6.3 设 例6.2 定义6.3 设 ? 定义6.4 设 定义6.5 设 例6.3 设 证明G关于矩阵乘法构成一个群． 故G关于矩阵乘法是Z上的代数运算，矩阵乘法满足结合律，故G关于矩阵乘法构成半群， 在G中每个矩阵的逆元都是自己， 所以 G关于矩阵乘法构成一个群。 定义6.6 若群 例6.4 （1）在 中除0之外都没有逆元，所以它仅是含幺半群而不是群。 中每个元素都有逆元即它的相反数，且运算满足交换律，所以它们是交换群。 0没有逆元，所以它们仅是有么半群而不是群。 例6.5设G={e,a,b,c},。为G上的二元运算，它由以下运算表给出。不难证明G是一个群，称该群为Klein四元群。 定义6.7 设 例6.6 在群 解： 定理6.1 设 证明：略。 定义6.8 设 定义6.9 例6.7 对于集合 列出其运算表如下表 从表中可以看出，运算满足封闭性，满足结合律和交换律，0是单位元，每个元都有逆元 ， 这个群的阶数是6，元素0，1，2，3，4，5的次数分别为1，6，3，2，3，6。 定理6.2 设 下面证明唯一性 从而唯一性得证。 例6.8 设 定理6.3 定理6.4 设 定理6.5 G为有限群，则G的运算表中的每一行（每一列）都是G中元素的一个置换，且不同的行（或列）的置换都不相同。 定义6.10 设 例6.9　 例6.10 群 　 定理6.6(子群判定定理1)设H是群 。 证明：必要性是显然的。 第五章 代数系统 代数结构又称为代数系统，简称代数，是抽象代数的主要研究对象。 代数系统的种类很多，它们在计算机科学的自动机理论、编码理论、形式语言、时序线路、开关线路计数问题以及计算机网络纠错码的纠错能力判断、密码学、计算机理论科学等方面有着非常广泛的应用。 本部分主要内容 二元运算及其性质。 二元运算中的特殊元素幺元，零元，逆元。 代数系统的定义及其性质。 定义5.1 设 为集合，函数 称为 上的二元运算，简称为二元运算。 5.1节 二元运算及其性质 在整数集合 上，对任意两个整数所进 行的普通加法和乘法，都是集合上的二 元运算。 如何判断一个运算是否为集合 上的 二元运算 唯一性 集合S中任意的两个元素都能进行这种运 算，并且结果要是唯一的。 封闭性 集合S中任意的两个元素运算的结果都是 属于S的，就是说S对该运算是封闭的 例5.1设A＝{x|x＝ ，n∈N}，问在集合