[高等教育]山东科技大学 离散数学第5章和第6章 习题课.pptVIP

第5章 习题课 曾庆田 Email:qtzeng@163.com P185:2,5 5.定义I＋上的两个二元运算为： a*b=ab a△b=a●b，其中a,b∈ I＋ 证明：*对△是不可分配的。 只需证明： x*(y△z)=(x*y)△( x*z) (y△z)*x=(y*x)△(z*x) x*(y△z)=x y△z=x y●z (x*y)△( x*z)=xy△xz= xy●xz =xy+z P190: 2,3,5,6 (2)设S,*是一个半群，a∈S, 在S上定义二元运算■使得对于S中的任意两个元素x和y均有：x■y=x*a*y, 证明： ■是可结合的。 证明：根据可结合运算的定义 (x■y)■z=(x*a*y)*a*z=x*a*y*a*z x■(y■z)=x*a*(y*a*z)=x*a*y*a*z P190: 2,3,5,6 (3)设R,*是一个代数系统，*是R上的二元运算，使得对于R中的任意两个元素a和b均有：a*b=a+b+a●b 证明： 0是幺元并且R,* 是独异点。 证明： 对于任意a∈R： 0*a=0+a+0●a=a a*0=a+0+a●0=a P190: 2,3,5,6 (3)设R,*是一个代数系统，*是R上的二元运算，使得对于R中的任意两个元素a和b均有：a*b=a+b+a●b 证明： 0是幺元并且R,* 是独异点。 证明： 对于任意a,b,c∈R： (a*