多项式矩阵的法式，相抵标准型
多项式矩阵的秩并没有实质的意义--------对角标准型（不依赖矩阵的初等变换的选取）
多项式矩阵是可逆的，其行列式为非零常数，相抵与单位矩阵，只通过初等行变换就可以得到，
