离散第3讲半群和群的定义和性质.pptVIP

主要内容;半群;例10.1;例10.2;独异点;例10.1;例10.2;例10.3;10.4;群(Group);例10.1;例10.2;例10.3;例10.4(1-2);例10.4(3-6);例10.5;例10.5(2);群的等价定义;群的等价定义;*;*;群的相关术语;例10.6（交换群）;元素的幂运算;元素的幂运算（推广到群）;元素的阶;例10.6（元素的阶）;幂运算的性质;*;*;*;*;*;*;*;*;*;*;*;*;*;补充材料;模n剩余类;整数同余式;同余关系;整数模m同余类共有m个，他们分别为{km+0}, {km+1}, …{km+(m-1)}，其中 k∈Z，每一类都可以选一个代表元，一般选这一类中的最小的非负整数。于是称[0],[1],[2],…[m-1]为标准完全剩余系。 Z模12的标准剩余系为：[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11];对于某个固定模m的剩余类可以象普通的数那样相加、相减和相乘： (1) a(mod m)±b(mod m)=(a±b)(mod m) (2) a(mod m)*b(mod m)=a*b(mod m) 消去率：对于ab≡ac（mod m）来说，若(a,m)＝1则b≡c(mod m);例：通过同余式演算证明560-1是56的倍数。 解： 注意53=125≡13(mo