離散数学代数系统.pptVIP

第6章 代数系统;第一节 代数系统的一般概念;1、代数系统的定义;2、代数系统满足的条件;代数系统举例;代数系统举例;代数系统举例;解答;3、子代数系统;子代数系统举例;4、同类型的代数系统;同类型的代数系统举例;解答;同类型的代数系统举例;第二节 同态和同构;一、同态;1、同态的定义;同态的一般定义(略);解释;2、同态的特点;同态示意图;同态举例;解答;(3)运算的象=象的运算;同态举例;证明;3、满同态、单一同态、自同态;自同态举例;证明;满同态举例;证明;证明: g(x+y)=g(x) +m g(y);证明:g(x ? y)=g(x) ?m g(y);证明g是满射函数;满同态的特点;交换律、结合律;分配律;幺元、零元、逆元;满同态的特点举例;满同态举例（续）;(8)对“＋”，8的逆元是-8,则: 对“+3” g(8)=2 g(-8)=g(-9+1)= (-9+1)(mod3)=1(mod3)=1;单一同态举例;证明;定理;推论;二、同构;1、同构的定义;同构的一般定义;同构满足的条件;同构举例;解答;（3）运算的象＝象的运算;变换运算表的方法;同构举例;解答;变换运算表;2、同构的特点;同构对运算保持相同的性质;3、自同构;同构举例;证明;第三节 同余关系 ;一、代换性质;代换性质举例;解答;解答（续）;二、同余关系;同余关系举例;证明;同余关系举例;解答;定理;证明;证明（续）;第四节 商代数和积代数;一、商代数;1、商代数的定义;证明;证明（续）;商代数举例;证明;证明: R关于*具有代换性质; R关于*具有代换性质(续); R关于*具有代换性质(续); 证明: R关于⊕具有代换性质; 证明: R关于⊕具有代换性质;F的商代数;2、正则映射;定理;证明;(3)g是满射函数： 任意的[x]R?X/R， 在X中至少有一个原象x与之对应，使得：g(x)=[x]R ∴ g是满射函数 ;自然同态举例;求解;定理;示意图;证明;证明：?是单射函数;证明：?是满射函数;证明：运算的象＝象的运算;证明： ?°g=f ;二、积代数;积代数举例;解答;+23 、×23的运算表;第五节 典型的代数系统;一、半群;1、半群;2、可交换半群;3、独异点（含幺半群）;4、可交换含幺半群;半群举例;半群举例;解答;解答:a*b=a;解答: a*b=a+ab;解答:a*b=max(a,b);5、子半群;S,*,e:含幺半群;子半群举例;子含幺半群举例;解答;定理;证明;定理;证明;元素的幂的定义;6、循??半群;循环含幺半群举例;解答;定理;证明;二、群;1、群的定义;群举例;有限群和无限群;定理;证明;证明（续）;定理;证明;定理;证明;2、阿贝尔群;定理;证明：必要性;证明：充分性;3、循环群;定理;循环群举例;解答;解答（续）;4、变换群;变换群举例;变换群举例（续）;5、子群;平凡子群;判断子群的方法;定理;证明：充分性;证明：必要性;证明：必要性（续）;证明：必要性（续）;定理;证明:必要性;证明:充分性;证明:充分性(续);子群举例;解答;拉格朗日定理;推论;三、格;1、偏序格;偏序格举例;解答;偏序格举例;解答（1）;解答（2）;解答（3）;解答（4）;偏序格举例;解答（1）;解答（2）;2、格的性质;（1）等幂律;（2）交换律;（3）结合律;（4）吸收律;3、特殊格;*和⊕运算的一般定义;（1）有界格;有界格的性质;（2）有补格;①补元;补元举例;解答（1）;解答（2）;解答（3）;解答（4）;② 有补格;有补格举例;（3）分配格;分配格举例;解答（1）;解答（2）;四、布尔代数