问答题 设G为群，若有x2=e，证明G为交换群。

问答题 证明：对于任意的整数a，若gcd（a，561）=1，则有a560≡1（mod 561）

问答题 设，证明G关于矩阵乘法构成一个群。