Manuscript II@2 · II.tex · lemma · 50d64def
Lemma: Extension of the coefficient field
Finite certificate principles › Membership or separation · lines 2477–2489 · proof included or linked
II@2#lem:field
If and have entries in , ranks are unchanged on extending scalars to . A fit exists over if and only if it exists over .
Proof. Each minor vanishes over exactly when it vanishes over . Apply this to and . Equality of their ranks is the consistency criterion over either field.