在复数域上讨论。
定义7
把矩阵A(或线性变换)的每个次数大于零的不变因子分解成互不相同的首项为1的一次因式方幂的乘积,所有这些一次因式方幂(相同的必须按出现的次数计算)称为矩阵A(或线性变换
)的初等因子。
设一个n级矩阵的全部初等因子为已知,在全部初等因子中将同一个一次因式的方幂的那些初等因子按降幂排列,而且当这些初等因子的个数不足n时,就在后面补上适当个数的1,使得凑成n个,设所得排列为
于是令
则
就是A的不变因子。
如果两个同级的数字矩阵有相同的初等因子,则它们就有相同的不变因子,因而它们相似,反之,如果两个矩阵相似,则它们有相同的不变因子,因而它们相同的初等因子。
定理8:两个同级复数矩阵相似的充分