离散数学习题评讲3课件.pptVIP

代数系统/图论部分习题讲评 习题5－3 （2）设＜S,*是一个半群，a∈S,在S上定义一个二元运算□，使得对于S中的任意元素x和y,都有x□y=x*a*y,证明二元运算□是可结合的。 证明：S中任取元素x,y,z,则 x□(y□z)=x□(y*a*z)=x*a*(y*a*z) =(x*a*y)*a*z =(x□y)*a*z=(x□y)□z 习题5－4 (5)设A,*是群，且｜A｜＝2n,n∈I+。证明：在A中至少存在a≠e,使得a*a=e。其中e为幺元。;证明：a*a=e即表明存在元素a≠e以自身为逆元，除去幺元e之外，余下任一元素都不以自身为逆元，则余下的元素数目必须为偶数才能互相配对，因为|A|=2n,除去幺元外，还有2n-1个元素，不可能互相配对，故其中至少有一个元素必须以自身为逆元。 习题5-5 (1)设G,*是一个独异点，并且对于G中的每一个元素x都有x*x=e,其中e是幺元，证明G,*是一个阿贝尔群。 证明：G中任取元素x,y,令x*y=a,y*x=b,则 a*b=(x*y)*(y*x)=e,两边左*a, a*(a*b)=a*e,得b=a,故x*y=y*x,G,*为阿贝尔群。;习题5-7 (7) 设aH和bH是H在G中的两个左陪集，证明：要么aH∩bH=?,要么aH=bH。 证明：根据拉格郎日定理，H的所有左陪集形成等价类并决定了一个等价