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

Back to manuscript

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.

Nearby in this section