Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I would like to find all integer triples (x,y,z) such that: $\prod_{\theta}(x + y \theta + z \theta^2)=1$, where $\theta$ runs through the solutions to the cubic $x^3 + x^2 - 2x - 1=0$.

In his book "Diophantine equations" (p. 111-12) Mordell gives the equation

$w^n = \prod_{\theta}(x + y \theta + z \theta^2)$

where $\theta=\theta_1, \theta_2, \theta_3$ are the solutions to a cubic equation with integer coefficients.

Mordell's partial solution is,

$x + y\theta_1 + z \theta_1^2 = (p + q\theta_1 + r\theta_1^2)^n$,

$x + y\theta_2 + z \theta_2^2 = (p + q\theta_2 + r\theta_2^2)^n$,

$x + y\theta_3 + z \theta_3^2 = (p + q\theta_3 + r\theta_3^2)^n$,

$w = \prod_{\theta}(p + q \theta + r \theta^2) $

where $p,q,r$ are arbitrary integers and $n$ runs through the integers.''

He continues to say, " the general solution depends upon the theory of algebraic numbers and is connected with the units in an algebraic number field".

share|improve this question
    
So: you want to find all triples $(x, y, z)$ of integers such that $\prod_{\theta} (x + y\theta + z \theta^2) = 1$, where $\theta$ runs through the solutions to your cubic? (I think Mordell is trying to do something else much harder -- for him w is not part of the question; he's solving for the quadruple $(x, y, z, w)$.) –  David Loeffler Jun 7 '11 at 14:25
    
David, thank you for your reply. Indeed your restatement of the problem is correct. It may be less difficult than the problem he tries to solve. I looked at Mordell's particular solution as only a particular solution to my problem. –  Tom Hunt Jun 7 '11 at 15:10
    
In your example $1,\theta,\theta^2$ generate the maximal order, so the equation is simply the norm equation whose solutions are exactly the units of the field generated by $\theta$. The field is totally real, hence has unit rank 2, and the group of units is generated by: {$-1,\theta+1,\theta^2-1$}. So the solutions are those such that $p+q\theta+r\theta^2=\pm (\theta+1)^a(\theta^2-1)^b$, for any integers $a,b$. (all computations were done using Sage) –  Dror Speiser Jun 7 '11 at 15:29
    
Dror: You have to restrict to norm 1 units, cf. my answer below, which crossed over with yours. –  David Loeffler Jun 7 '11 at 15:45
    
Dror, thank you for your response. –  Tom Hunt Jun 7 '11 at 16:09
show 1 more comment

1 Answer 1

up vote 6 down vote accepted

This isn't really a research-level question, and hence belongs more on math.SE than here, but here goes anyway...

Let $K$ be the number field $\mathbb{Q}(\theta)$ where $\theta$ is a root of your cubic $f$. Then the ring of integers $\mathcal{O}_K$ of $K$ is $\mathbb{Z}(\theta)$, and we are reduced to looking for elements $\omega \in \mathcal{O}_K^\times$ such that $\operatorname{Norm}_{K/\mathbb{Q}}(\omega) = 1$. It takes about 0.01 seconds for my computer to tell me that $\mathcal{O}_K^\times$ is isomorphic to $\mathbb{Z}^2 \times \mathbb{Z}/2$, and the index 2 subgroup of units of norm 1 is isomorphic to $\mathbb{Z}^2$, with independent generators $\theta-1$ and $-\theta-1$.

So the general solution is $$ x + y \theta + z \theta^2 = (\theta - 1)^a (-\theta-1)^b$$ for any $a, b \in \mathbb{Z}$.

(If you're unfamiliar with the theory of algebraic number fields I'm using here, Stewart and Tall's book is a good reference.)

share|improve this answer
    
David, thank you for the response, I will refer to Stewart and Tall. –  Tom Hunt Jun 7 '11 at 16:08
    
It's not research-level for a number theorist, but any other type of mathematician could come across such a problem, and would likely have no idea how to solve it, and would have difficulty making sense of our literature. –  Kevin O'Bryant Jun 12 '11 at 16:14
add comment

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.