为有限域中元素的矩阵，以及有理数系数的矩阵。如果矩阵的系数所在域formula_237不是代数闭域，那么在求矩阵的特征值时，由于特征值是相应的特征多项式的根，可能不在系数域formula_237中，而是在系数域的某个扩域L中。反过来，如果考虑扩域formula_239，以及formula_205中的一个元素formula_241，以及formula_205中线性变换formula_243，那么由于formula_244也是一个formula_237-线性变换，它可以表示成一个formula_157的form