Skip to main content
1 of 3
marcos
  • 457
  • 2
  • 7

Level sets of the polynomial function $𝑥^2+𝑦^2−𝑥+𝑦−𝑎𝑥𝑦$ over $\mathbb{Z}_𝑝$

Let 𝑝 be an odd prime and $ℎ(𝑥)=𝑥^2+𝑎𝑥+1$ be an irreducible polynomial over the field $\mathbb{Z}_p$. The polynomial function

$$\Psi:\mathbb{Z}_p^2⟶\mathbb{Z}_p,\quad (𝑥,𝑦)\mapsto 𝑥^2+𝑦^2−𝑥+𝑦−𝑎𝑥𝑦$$

is surjective, as proved here: Image of a polynomial function $x^2+y^2-x+y-axy$ over $\mathbb{F}_p$.

I would like to compute a set of representatives of the classes of the kernel of Ψ (i.e. the relation $𝑘𝑒𝑟(\Psi)={((𝑥,𝑦),(𝑡,𝑤))\in \mathbb{Z}_p^4, \, \Psi(𝑥,𝑦)=\Psi(𝑡,𝑤)})$. So basically I would like to provide a set of $𝑝−1$ elements of $\mathbb{ℤ}_p^2$ that have all different values when you applies $\Psi$ (I am not interested to the case $\Psi(𝑥,𝑦)=0$).

Is there a way to do that in general, regardless who is $p$?

marcos
  • 457
  • 2
  • 7