豹猫疼疼我

一、前提定义设是任意 λ- 矩阵，其Smith 标准形为其中（为不变因子），r是的秩。设是与等价的任意对角矩阵(对角多项式是首1多项式)：由等价传递性，等价。初等因子定义：将不变因子（或对角元素）分解...