I am trying to solve this question to study for my Number Theory final exam
QUESTION: Find a polynomial of the form $F(x,y,z)$ of degree 3 such that $F(a,b,c) \equiv 0 \pmod{5}$ iff $a,b,c \equiv 0\pmod{5}$
My attempt: "$\longrightarrow$" Let $f=x + y+ z$, Then take $f(a,b,c)= a + b + c \equiv 0\pmod{5} $ .
Then we know that $5| a + b + c$, thus the polynomial must be re-written as $5a + 5b + 5c$. Hence, when taken modulo 5, $a,b,c \equiv 0\pmod{5}$
PD: I Don't seem to understand how to prove the converse, I know Hensel's lemma, but not too sure how to apply it I still need to find the degree 3 polynomial.... Please help, I am a beginner, and I'm still learning.
UPDATE PLEASE READ: I had an Idea, please tell me what you guys think.
Let $f(x,y,z)=x^3 + y^3 + z^3$
So, suppose that $a,b,c \equiv 0$ mod 5. Then we can rewrite $a,b,c$ as $5k,5t,5m$. Then, when we plug these in the original equation, we will get: $f(5k,5t,5m)=125k + 125t + 125m$ which is $\equiv 0 $ mod 5.
Then, Supp. that $f(a,b,c) \equiv 0 $ mod 5. Then we can write $a^3 = 5t+ (-b^3 - c^3)$. But, if we rewrite b , and c in the same way, we will get that all contain a $5*$(some variable). Thus, in $a^3 = 5t + (-b^3 -c^3)$ we are able to factor out a 5, therefore we will get that $a^3 = 5*(something)$ which implies $a \equiv 0$ mod 5 . Do the same for b and c....
What do you guys think? Anything helps. Thank you in advance!
I suppose that this is just a hint. First, the natural environment for this is $\Bbb F_5=\Bbb Z/5\Bbb Z$. You’re looking for a cubic form in three variables with no non-trivial zeros in $\Bbb F_5$.
Consider the (unique) cubic extension $k$ of your base field, find an explicit description of it for your computations. Now let $\{1=b_1,b_2,b_3\}$ be an $\Bbb F_5$-basis of $k$, and look at a general element $g=A+Bb_2+Cb_3$. Then, describe the (field-theoretic) Norm $\mathbf N^k_{\Bbb F_5}(g)$ of $g$, which you can describe as the product of $g$ with its two conjugates (*), or as the constant term of the $\Bbb F_5$-minimal polynomial of $g$. You’ll get a cubic form in the variables $A,B,C$. Now it’s a fact about the Norm that it’s nonzero for nonzero arguments, that is, elements of $k^\times$. And there you are.
(*) You treat $A,B,C$ here as elements of the base field $\Bbb F_5$, so not affected by elements of the Galois group.