定义：;其定义与运算规律与数字矩阵相同.;若　―矩阵 　中有一个 级子式不为零 ;三、可逆λ－矩阵;（定理1） 一个 的　―矩阵 可逆;“ ” ;λ―矩阵的初等变换是指下面三种变换:;代表第 行乘以非零数 c ；;将单位矩阵进行一次　―矩阵的初等变换所得的 ;i 行 ;② 初等矩阵皆可逆. ;为　－矩阵 ，则称 与 等价.;2) 与 等价 存在一系列初等矩阵 ;证：根据 中不能被 除尽的元素所在的;的左上角元素 符合引理的要求;被 除尽. ;矩阵　　 的第一行中，有一个元素： ;2.（定理2）任意一個非零的 的 一矩阵;证: 经行列调动之后可使 的左上角元素;但次数是非负整数，不可能无止境地降低. ;中的全部元素都是可以被 　除尽的;其Φ 与 都是首1多项式(　　　与　 ;例 用初等变换化λ―矩阵为标准形.;即为　　 的标准形.