\(\S1\行列式因子\)Def\(\color{red}{Def}设\lambda-矩阵A(\lambda)\inM_{m\timesn}(\mathbb{F[\lambda]})的秩为r,对于正整数k,1\leqk\leqr,A(\lambda)中必有非零的k级子式.A(\lambda)的全部k级子式的最大公因式D_k(A(\lambda))称为A(\lambda)的\color{red}{k级行列式