n阶非奇异矩阵所构成的群的中心，是恒等矩阵的倍乘构成的集合

证明：

     引理1：对非恒等矩阵倍乘的对角矩阵A来说，存在矩阵B,使得A与B不交换

     引理2：对角元素互不相同的对角矩阵A，与任意对角矩阵B交换，且只与对角矩阵交换

     证明：易证。

     然后用引理1和引理2证明原命题：n阶非奇异矩阵所构成的群的中心，是恒等矩阵的倍乘构成的集合

     证明：

              假若存在矩阵A与矩阵群中任一矩阵B交换，那么由任意性可知，A与对角元素互不相同的对角矩阵C交换，

              即A*C=C*A.由引理2可知，A必是对角矩阵。由引理1可知，A若是非恒等矩阵倍乘的对角矩阵，则存在矩阵B，与A不交换

              矛盾get！

              所以A是恒等矩阵倍乘的对角矩阵。

       证毕.

注：1.一个矩阵A必与(a1*E+a2*A+a3*A^2+a4*A^3+a5*A^4+.....+an*A^n)矩阵交换（E为恒等矩阵，a1,a2,a3.....an为常数）

       2.是否存在一个矩阵A，所有与其交换的元素都可以写成(a1*E+a2*A+a3*A^2+a4*A^3+a5*A^4+.....+an*A^(n-1))的形式？

       3.我原本的证明方式是通过证明等价命题：每一个非恒等矩阵倍乘的矩阵A，都存在矩阵B，使得A与B不交换。即用构造法来证明，发现证明不了。

       4.有没有更好的证明方式？