A Functorial Version of Chevalley's Theorem on Constructible Sets

Andreas Blatter

To determine whether an $n\times n$-matrix has rank at most $r$ it suffices to check that the $(r+1)\times (r+1)$-minors have rank at most $r$. In other words, to describe the set…