Skip to main content
2 of 4
changed tags
Ricardo Andrade
  • 6.2k
  • 5
  • 42
  • 69

Are surjectivity and injectivity of polynomial functions from $\mathbb{Q}^n$ to $\mathbb{Q}$ algorithmically decidable?

Is there an algorithm which, given a polynomial $f \in \mathbb{Q}[x_1, \dots, x_n]$, decides whether the mapping $f: \mathbb{Q}^n \rightarrow \mathbb{Q}$ is surjective, respectively, injective? -- And what is the answer if $\mathbb{Q}$ is replaced by $\mathbb{Z}$?

The motivation for this question is Jonas Meyer's comment on the question Polynomial bijection from $\mathbb{Q} \times \mathbb{Q}$ to $\mathbb{Q}$ which says that the explicit determination of an injective polynomial mapping $f: \mathbb{Q}^2 \rightarrow \mathbb{Q}$ is already difficult, and that checking whether the polynomial $x^7+3y^7$ is an example is also.

Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137