问答题 设G为Mn（R）上的加法群，n≥2，判断子集全体对称矩阵是否构成子群。

问答题 1732年著名数学家欧拉说：“我从一个优美的定理推出某一结果，我虽不会证明它，但肯定它是正确的：若a和b均不能被素数n+1整除，则an-bn可被n+1整除．”试证之.

问答题 设G为非Abel群，证明G中存在非单位元a和b，a≠b，且ab=ba。