Quick Quadratic Field Problem

Brimley

Hello PhysicsForums!

I had posted a question earlier today in another thread and I had a follow up question to it (the question in nature isn't extremely related, but the link can be found here).

In the previous example, it was listed that [itex]\lambda = (3+\sqrt{-3})/2 \in \mathbb{Q}[\sqrt{3}][/itex].

The text states the following:

"[itex]x,y,[/itex] and [itex]z[/itex] are quadratic integers in [itex]\mathbb{Q}[\sqrt{-3}][/itex], where [itex]x^3 + y^3 = z^3[/itex]." From here it can be shown that [itex]\lambda[/itex] can divide one of [itex]x,y,[/itex] or [itex]z[/itex].

Can anyone help explain this? I don't know if reducing the equation modula [itex]\lambda^3[/itex] would help, but its my first guess.

Thanks -- Brim

hochs

What book are you reading anyway? And you're trying to learn algebraic number theory without solid background in abstract algebra, particularly galois theory. Of course you run into troubles.

If you're not doing these for homework and have no time-constraint, then I suggest you get some solid background in abstract algebra first, then read good intro books like cassels & frohlich's algebraic number theory, neukirch's algebraic number theory, lang's, etc.

hint: you can factor x^3 + y^3 = (x + y)(x + yw)(x + yw^2), where w is the primitive 3rd root of unity, and gcd(x+y, x+yw^i) = gcd(x+y, 1 - w) for any i != 0 (mod 3) (direct computation). Also, 3 totally ramifies in the ring Z[w] as (3) = (1 - w)^2.

The above remarks are all one needs. I will not say more than the above hint, but others can feel free to expand / give more details.

Brimley

Hochs, I would like to finish this same example so I can have it to reference when I do read up on things, however it is kind of pointless for me to have come this far with this same problem to quit near the end, spend months reading up, then having to come back and revisit all of this and resurrect a dead thread. For this reason, I would really like to finish this example.

Back to the problem: I know that [itex]\lambda = 1 - w = (3+\sqrt{-3})/2[/itex]. Looking at your factoring and use of the GCD, the lost variable here is the [itex]z^3[/itex]. Where does this play in? Which one does [itex]\lambda[/itex] then divide into?