如果群 G 中,对任意元素 a,b 有(ab)2=a2b2,则 G 为交换群
证明: 对任意 a,b G,由结合律我们可得到 (ab)2=a(ba)b, a2b2=a(ab)b 再由已知条件以及消去律得到 ba=ab, 由此可见群 G 为交换群
如果群 G 中,每个元素 a 都适合 a2=e, 则 G 为交换群
证明: [方法 1] 对任意 a,b G, ba=bae=ba(ab)2=ba(ab)(ab) =ba2b(ab)=beb(ab)=b2(ab)=e(ab)=ab 因此 G 为交换群
[方法 2] 对任意 a,b G, a2b2=e=(ab)2, 由上一题的结论可知 G 为交换群
设 G 是一非空的有限集合,其中定义了一个乘法 ab,适合条件: (1) a(bc)=(ab)c; (2) 由 ab=ac 推出 b=c; (3) 由 ac=bc 推出 a=b; 证明 G 在该乘法下成一群
证明:[方法 1] 设 G={a1,a2,…,an},k 是 1,2,…,n 中某一个数字,由(2)可知若 i j(I,j=1,2,…,n),有 akai ak aj------------ aiak aj ak------------ 再由乘法的封闭性可知 G={a1,a2,…,an}={aka1, aka2,…, akan}------------ G={a1,a2,…,an}={a1ak, a2ak,…, anak}------------ 由和知对任意 at G, 存在 am G,使得 akam=at
由和知对任意 at G, 存在 as G,使得 asak=at
由下一题的结论可知 G 在该乘法下成一群
2 下面用另一种方法证明,这种方法看起来有些长但思路比较清楚
[方法 2] 为了证明 G 在给定的乘法运算下成一群,只要证明 G 内