证明G关于矩阵乘法构成一个群。