2007年4月15日日曜日

群の可換性

問題 群Gの任意の元xがx2=1を満たすならばGは可換群であることを示せ.

1 件のコメント:

yosuke さんのコメント...

x^2=1の両辺にx^(-1)を乗ずることによりx=x^(-1)を得る。
よって、Gの任意の元xはx=x^(-1)を満たす。
xとyをGの任意の元とすれば、
(xy)^(-1)=y^(-1)x^(-1)=yx
であり、(xy)^(-1)=xyであるのでxy=yxを得る。
したがってGは可換群である。