设m为元素取自交换体k中的n阶方阵,将m对角化,就是确定一个对角矩阵d及一个可逆方阵p,使m=pdp-1。设f为典范对应于m的kn的自同态,将m对角化,就是确定kn的一个基,使在该基中对应f的矩阵是对角矩阵。