首页
设G为群,若∀x∈G有x2=e,证明G为交换群。
2024-08-04 00:00:29
离散数学(02324)
设G为群,若∀x∈G有x
2
=e,证明G为交换群。
【正确答案】:证明:已知
为群,∀x,y∈G,x*y∈G,
(x*y)*(x*y)=e,即x*y=(x*y)
-1
=y
-1
*x
-1
,
同时,(x*y)*(y*x)=x*y
2
*x=x*e*x=x
2
=e,说明(y*x)也是(x*y)的逆元。
由逆元的唯一性有,x*y=(x*y)
-1
=y*x,运算*满足交换律,G为交换群。 证毕
上一篇:
设G为群,证明e为G中唯一的幂等元。
下一篇:
S={a,b,c},*是S上的二元运算,且∀x,y∈S,x*y=x。证明S关于*运算构成半群。