Determining which finite fields a multi-variant polynomial has roots

63 Views Asked by At

Suppose $K$ is a finite field and $q \in K[x_1,\dots,x_n]$. In general, is there anything we can say about which extension fields of $K$ the polynomial $q$ has roots?

In the special case where $n = 1$, we could write $q$ as a product of irreducible polynomials in $K$. Suppose $a_1,\dots,a_m$ are the degrees of these polynomials. Then, since a degree $a$ irreducible polynomial over $K$ has a root in a degree $b$ extension of $K$ if and only if $a | b$, the polynomial $q$ has roots precisely in extension fields whose degrees are a multiple of $a_i$, for some $i$.

I don't believe this logic extends to the multi-variant case, particularly the irreducible degree argument.

As an example, take $K = GF(2)$ and $q(x,y,z,w) = 1 + w (x+y) (x+z) (y+z)$. Then in order to have a root in a field $F$, we must have $x \ne y$, $x \ne z$, $y \ne z$, and $w = (y+z)^{-1} (x+z)^{-1} (x+y)^{-1}$. In particular, $x,y,$ and $z$ must be distinct, so $q$ has no roots in $GF(2)$, but any other field of characteristic $2$ would work. However, this set of extension fields does not fit the proposed form in the single-variable case, i.e. there is not a finite set of integers $a_1,\dots,a_m$ such that $q$ has roots precisely in extension fields whose degrees are a multiple of some $a_i$.