典型的代数系统.pptxVIP

1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;【例】设G,*是群，则G,*是阿贝尔群的充要条件是对任意的a, b?G,有(a*b)2=a2 *b2 。 证明: (1)“?” 设G,*是阿贝尔群， 下证对任意的a,b?G,有(a*b)*(a*b)=(a*a)*(b*b) 。 对任意的a, b?G，有a*b=b*a，因此， (a*b)*(a*b)=a*(b*a)*b=a*(a*b)*b=(a*a)*(b*b) 即(a*b)*(a*b)=(a*a)*(b*b) 也就是(a*b)2=a2 *b2 ，得证。 ; (2) “?” 设对任意a, b?G，有(a*b)2=a2*b2， 下证G,*是阿贝尔群。 a?b=e*(a*b)*e =(a –1*a)*(a*b)*(b*b –1) =a –1?(a?(a*b)*b)*b –1 =a –1*((a*a)*(b*b))*b –1 =a–1?((a*b)*(a*b))*b–1 =(a –1?a)*(b*a)