設 為體 上的 矩陣。證明:若
則存在純量 使得 。
挑對測試用的矩陣。 與其取任意的 ,不如用矩陣單位 ——第 列第 行為 、其餘全為 的矩陣。既然 與所有矩陣都可交換,當然也與每個 可交換。
把兩個乘積都算出來。 記 :
逼使非對角元素全為零。 令 並比較對應元素,可得對每個 都有 。由於 與 是任取的, 的每個非對角元素都是零,所以 是對角矩陣。
逼使對角元素彼此相等。 比較剩下的元素可得對所有 都有 。因此所有對角元素共用同一個值 。
作結論。 對角元素全等於 的對角矩陣,正好就是 。(反向立即成立: 與任何矩陣都可交換。)這也就是說,矩陣環 的中心恰好是所有純量矩陣。
Need to solve a different problem like this? Open the solver →