MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose that I have $n$ homogeneous polynomials $f_1, \dots, f_n \in \mathbb{C}[x_1, \dots, x_m]$ and that $n < m$. Is there a well known method or algorithm to determine if these polynomials are algebraically independent?

As far as I know the Jacobian criterion works only for the case where $n=m$.

share|cite|improve this question
You can consider the equations $f_i=t_i$ with new variables $t_i$, and eliminate the $x$'s using Groebner bases. – Mariano Suárez-Alvarez Oct 8 '10 at 20:57
(This is explained, if I recall correctly, in Cox's book on Varieties, Ideals and algorithms) – Mariano Suárez-Alvarez Oct 8 '10 at 20:58
up vote 16 down vote accepted

The polynomials are algebraically independent if and only if $$ df_1 \wedge df_2 \wedge \cdots \wedge df_n $$ is not identically zero. In other words, you have only to check that one of the maximal minors of the matrix $\left( \frac{\partial f_i}{\partial x_j} \right)$ is nonzero.

share|cite|improve this answer
Can you give a proof? – Martin Brandenburg Oct 9 '10 at 11:06
Martin, in char. 0 the map $f:\mathbf{A}^m \rightarrow \mathbf{A}^n$ is smooth on a dense open in the source if and only if it is dominant, and such generic smoothness is equivalent to generic injectivity of the induced map $f^{\ast}(\Omega^1_{\mathbf{A}^n/k}) \rightarrow \Omega^1_{\mathbf{A}^m/k}$. But at the generic point, such injectivity can be checked between $n$th exterior powers. – BCnrd Oct 9 '10 at 12:47
Thanks JVP!, that is what I needed. – Jon Oct 10 '10 at 14:29

Hi there. A Groebner basis based algorithm that also produces an annihilating polynomial in case the polynomials are algebraically dependent can be found on the Singular site at .

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.