离散数学英文课件 群论 Groups (II)
- 格式:ppt
- 大小:241.50 KB
- 文档页数:42
第9章半群和群semigroup and group§9.1 二元运算复习binary operation revisitedA上二元运算f:A×A→Af处处有定义的函数。
Dom(f)=A×A,对任意a,b∈A,f(a,b)∈A,唯一确定。
二元运算常记做+,-,×,*,◦,等等对任意a,b∈A,a◦b∈A说成A对◦封闭。
A={a1,a2,……,a n}时,二元运算可以用运算表给出。
二元运算的性质1可换commutativea*b=b*a2 结合associativea*(b*c)=(a*b)*c3 幂等idempotenta*a=a特殊元素单位元对任意a∈A,e*a=a*e=a. 单位元也叫恒等元零元对任意a∈A,0*a=a*0=0逆元对任意a,b∈A,a*b=b*a=e a,b互为逆元代数结构(A,*)A上定义了二元运算满足1)封闭性2)结合律-----------半群3)有单位元---------独异点4)有逆元-----------群5)可交换-----------交换群例子:1)(Z n +), (Z n, )2)(A*, *) 字符串的连接Homework P323-32416,20,22,24,25,26§9.2 半群semigroup半群定义:(S,*) *是S上乘法,满足结合律。
半群的例(Z,+),(Z,×),(N,×),(N,+),(Q,+),(R,×),(P(S),∪),(P(S), ∩),(M n,+),(Mn,×),S上全体映射,对于复合,(L,∧),(L,∨),L是格(A*, ),定理1.半群中,n个元素的乘积与乘法的次序无关。
幂power:设(S,*)是半群,a∈S,定义a的幂power:a1=a, a n=a n-1*a.a0=?a-n=?a m*a n=a m+n(a m)n=a mn.子半群subsemigroup 子独异点submonoid设(S,*)是半群,T⊆S,T对*封闭,则(T,*)也是半群,称为(S,*)的子半群。