Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am trying to prove that the congruence $3x^3+4y^3+5z^3 \equiv 0 \pmod{p}$ is solvable for all primes p. I proved it using primitive root, but my professor in number theory told me that it can be more directly done using the hasse-weil theorem in the theory of elliptic curves, but i cant do it. Would someone kindly show me how to make use of the hasse-weil theorem, please? Thank you in advance.

share|improve this question
1  
possibly related –  Old John Nov 10 '13 at 18:24
1  
You did consider $x=y=z=0$ I presume? –  WimC Nov 10 '13 at 19:23
3  
@WimC, no, this is nontrivial solutions. Famous example of Selmer on failure of Hasse-Minkowski once we leave quadratic forms. en.wikipedia.org/wiki/Hasse_principle –  Will Jagy Nov 10 '13 at 20:26
    
books.google.com/… –  Will Jagy Nov 10 '13 at 20:31
    
apparently in this: books.google.com/… –  Will Jagy Nov 10 '13 at 20:48

1 Answer 1

This can be done in $4$ steps:

  1. Prove it directly for $p=2,3$, i.e., find a non-trivial solution modulo $2$ and one modulo $3$.

  2. Prove that $C: 3x^3+4y^3+5z^3=0$ is a non-singular curve over $\mathbb{F}_p$, where $p>3$ is a prime.

  3. Show the following: if $C:F(x,y,z)=0$ is a non-singular curve given by a homogeneous polynomial of degree $d\geq 1$, then the genus of $C$ is given by $(d-1)(d-2)/2$. In particular, in our case, $g=1$. (This is Exercise 2.7 in Chapter 2 of Silverman's "The Arithmetic of Elliptic Curves", for instance.)

  4. Use the Hasse-Weil bounds.

Note: you cannot use the fact that $C/\mathbb{F}_p$ is an elliptic curve before you find a $\mathbb{F}_p$-rational point on $C$!

share|improve this answer

Your Answer

 
discard

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.