离散数学 第四讲 半群和独异点
- 格式:ppt
- 大小:139.50 KB
- 文档页数:10
16.半群与独异点1)在R中定义二元运算:* ,a*b=a+b+ab,对于任意a,b 属于 R,证明1)是半群2)是独异点1)证明:对于任意 a,b,c属于R(a*b)*c=(a+b+ab)*c=a+b+ab+c+(a+b+ab)c=a+b+c+ab+ac +bc+abca*(b*c)=a*(b+c+bc)=a+b+c+bc+a(b+c+bc)=a+b+c+ab+ac +bc+abc得:(a*b)*c=a*(b*c)所以是半群2)证明:当e=0,那么对于任意 a属于Re*a=0+a+0xb=aa*e=a +0 +b x0=a所以e是该半群的单位元,所以是独异点。
2)设V=是半群,若存在a∈S,使得对于任意的x∈S,有u,v∈S,满足a*u=v*a=x证明V是独异点证明:由题设可知,存在u_0和v_0,使得:a*u_0=v_0*a=a现证明u_0为右单位元:对任意的x∈S,有v∈S,满足x = v*a= v*a*u_0= x*u_0故得,u_0为右单位元。
同理可证v_0为左单位元。
由单位元的性质知 u_0=v_0=e 为单位元。
3 S={a,b,c},*是S上的二元运算,且x*y=x ,对于x,y∈S1. 证明是半群2. 将扩充为一个独异点证明 (x*y)*z=x*z=xx*(y*z)=x*y=x,所以是半群(2)任取e不属于S。
令W = S∪{e},且定义W上的二元运算*1 如下:任意x,y∈S,x *1 y = x;任意x∈S,x *1 e = e *1 x = x;e *1 e = e;则是独异点。
4, V=是半群,a,b,c属于S,若a和c是可交换的,b和c也是可交换的,证明a*b 和c也是可交换的证明 (a*b)*c=a*(b*c)=a*(c*b)=(a*c)*b=(c*a)*b=c*(a*b)得证5 设V=<{a,a},*>是半群,且a*a=b,证明 1)a*b=b*a 2)b*b=b证明1) a*a=b => (a*a)*a=b*a =>a*(a*a)=b*aè a*b=b*a2)当a*b=a,b*b=a*a*b=a*(a*b)=a*a=b 得证当a*b=b, b*b=(a*a)*(a*a)=a*(a*a)*a=(a*b)*a=b*a=b得证6.设V=是半群,任取a=!b,则有a*b=!b*a,证明1)任取a∈S, 有a*a=a证明如果 a*a=c,c=!a,那么 c*a=a*a*a=c*a矛盾2)对于任意a,b,c ∈S,那么a*b*a=a证明如果a*b*a=c,c=!a,那么c*a=a*b*a*a=a*b*a a*c=a*a*b*a=a*b*a,所以a*c=c*a矛盾3) 对于任意a,b,c ∈S,那么a*b*c=a*c证明:c*a*b*c=càa*c*a*b*c=a*cè(a*c*a)*b*c=a*c ->a*b*c=a*c7. V=是可交换半群,若a,b ∈S是V中得幂等元,证明a*b也是V 中的幂等元证明:(a*b)*(a*b)=(b*a)*(a*b)=b*(a*a)*b=b*a*b=(b*a)*b=(a*b)*b=a*(b *b)=a*b8.设V=是半群,e∈S是一个左零元,证明对于任意x∈S,x*e也是一个左零元证明:任意y∈S,(x*e)*y=x*(e*y)=x*e 得证9,证明每个有限半群都有幂等元证明: 任取b∈S 则b,b^2,…皆属于 S,而S是有限的,必存在k>j,b^j=b^k令p=k-j>=1 ,b^k=b^j*b^p=b^k*b^p 从而对于q>k恒有b^q=b^q*b^p因为 p>=1,故存在正整数 n使得np>k,于是b^np=b^np*b^p=(b^np*b^p)*b^p=…=b^np*b^n p.取 a=b^bp, a^2=a10.V= 其中*表示模4乘法,找出V的所有子半群,并说明哪些子半群是V的子独异点。