离散数学代数结构部分培训讲解.ppt

第三部分 代数结构;第五章 代数系统;本部分主要内容 二元运算及其性质。 二元运算中的特殊元素幺元，零元，逆元。 代数系统的定义及其性质。 ;定义5.1 设 为集合，函数 称为 上的二元运算，简称为二元运算。;如何判断一个运算是否为集合 上的 二元运算 ;例5.1设A＝{x|x＝ ，n∈N}，问在集合A上通常的乘法运算是否封闭，对加法运算呢?;定义5.2 设*是定义在集合A上的二元运算，如果对于任意的x,y∈A，都有x*y＝y*x，则称该二元运算*是可交换的。;定义5.1 设 为集合，函数 称为 上的二元运算，简称为二元运算。;定义5.3 设*是定义在集合A上的二元运算，如果对于任意的x，y，z∈A，都有(x*y)*z＝x*(y*z)，则称该二元运算*是可结合的，或者说运算*在A上适合结合律。;定义5.4 设*是定义在集合A上的一个二元运算，如果对于任意的x∈A，都有x*x＝x，则称运算*是等幂的。;定义5.5 设。和*是S上的两个二元运算，如果对任意的 有 ;定义5.6 设。和*是定义在集合A上的两个可交换二元运算，如果对于任意的x，y∈A，都有;解：对于任意a，b∈N;定义5.7 设*是S上的二元运算，;在自然数集N上加法的幺元是0，乘法的幺元是1. ;;定理5.1 设*是S上的二元运算， 如果S中存在关于运算*的）幺元， 则必是唯一的。 ;定理5.2 设*是S上的二元运算， 如果S中既存在关于运算*的左幺元 ， 又存在关于运算的右幺元 则S中必存在关于运算*的幺元e并且 ;定义5.8 设*是S上的二元运算，;在自然数集N上普通乘法的零元是0，而加法没有零元。 ;定理5.3 设 *是S上的二元运算，如果S中存在（关于运算*的）零元，则必是唯一的。;定理5.4 设 *是S上的二元运算，如果S中既存在关于运算*的左零元 又存在关于运算*的右零元 ;定义5.9 设*是S上的二元运算，;例5.8 整数集Z上关于加法的幺元是0，对任意的整数m，它关于加法的逆元是-m,因为;定理5.5 设*是S上可结合的二元运算，e为幺元,如果S中元素x存在（关于运算* ）的逆元， ;定理5.6 设*是S上可结合的二元运算，e为幺元,如果S中元素x既存在关于运算*的左逆元 ，又存在关于运算*的右逆元 ， 则 S中必存在x关于运算*的逆元并且 ;解：*运算适???交换律、结合律和消去律，不适合幂等律。单位元是a，没有零元，且 ?;定义5.10 设S是非空集合，由S和S上若干个运算 构成的系统称为代数系统，记作 ;定义5.11 设 ;定义5.12 设 ;例5.11 设;定义5.13 设;;例5.14 表示求两个数的最小公倍数的运算。则 ;例5.15 在有理数集Q上定义二元运算*;;例5.16 设有集合 ;例5.17 设 ;第六章 几个典型的代数系统 ;定义6.1 设 ;定义6.2若半群 ;;定义6.3 设;定义6.4 设;例6.3 设 ;定义6.6 若群;;例6.5设G={e,a,b,c},。为G上的二元运算，它由以下运算表给出。不难证明G是一个群，称该群为Klein四元群。;定义6.7 设;例6.6 在群;定理6.1 设 ;定义6.8 设;定义6.9;例6.7 对于集合 ;定理6.2 设 ;例6.8 设;定理6.3 ;定理6.4 设 ;;定理6.5 G为有限群，则G的运算表中的每一行（每一列）都是G中元素的一个置换，且不同的行（或列）的置换都不相同。;例6.9　 ;定理6.6(子群判定定理1)设H是群 。;定理6.7( 子群判定定理2) 设H是群 ;定理6.8(子群判定定理3)设H是群 ;例6.11 设 ;定义6.11 设 ;定理6.9 设H是群 ;定理6.10 设;;定理6.11 设;定理6.12 设;定理6.13 设;定义6.12 群 ;推论6.2 设 ;定义6.13 设 ;定理6.15 设 ;例6.13 设 ;例6.14 设 ;定理6.16 设 ;定义6.14 设;例6.13 设 ;定义6.15 设;定理6.17 设 ;定义6.16 设;定理6.18 （群同态基本定理）设 ;定义6.17 设;;定理6.19 设 ;例6.16;定义6.18 设 ;;定义6.19 设 ;定义6.20设 ;定理6.20;定义6.21;;;;定义6.22 设 ;例6.21 （1）整数集 ;定理6.21 设 ;例6.22 ;定义6.23 设 ;例6.23 （1）整数环 ;例