Main theorem of elimination theory: Difference between revisions

Revision as of 13:07, 16 May 2014

Revision as of 13:39, 4 August 2014

Line 9:

Thus, it is enough to prove <math>Z_d</math> is closed. Let ''M'' be the matrix whose entries are coefficients of monomials of degree ''d'' in <math>x_i</math> in

:<math>x_0^{i_0} \cdots x_n^{i_n} f</math>

with homogeneous polynomials ''f'' in ''I'' and <math>i_0 + \dots + i_n + \operatorname{deg}f = d</math>. Then the number of columns of ''M'', denoted by ''q'', is the number of monomials of degree ''d'' in <math>x_i</math> (imageimagine a system of equations.) We allow ''M'' to have infinitely many rows.

Then <math>y \in Z_d \Leftrightarrow M(y)</math> has rank <math>< q \Leftrightarrow </math> all the <math>q \times q</math>-minors vanish at ''y''.