I have a question I'm trying to solve for several days now, and I'm really stuck.
let a,b>0 positive integers so that ab != 1 and is free from squares.
let \alpha = cube roobe of (a*b^2) and let \beta = cube root of (a^2*b).
Mark K=Q(\alpha)=Q(\beta) - the rationals with alpha\beta.
Let O_k be the algebraic integers in K.
Mark the following subgroups of [tex]O_k:
I = Z+ Z\alpha + Z(\alpha)^2,
J = Z+ Z\beta + Z(\beta)^2,
L= Z+Z\alpha +Z\beta.
Prove that:disc_k = -3^n*a^2*b^2, where n is 1 or 3.
I showed that:
disc(1,alpha,alpha^2)=3^3*a^2*b^4
disc(1,beta,beta^2)=-3^3*a^4*b^2
disc(1,alpha,beta)=-3^3*a^2*b^2
and that: if A is a base conversion matrix, that is: the matrix representing the identity transformation from the base (1,alpha,alpha^2) to an integral basis B=(x,y,z) then:
disc_k = disc(B) = 1/(det(A)^2)*-3^3*a^2*b^4.
I also know that b divides det(A), and that if I can show that: a,b^2 don't divide det(A) I can finish the proof.
I know it's somewhat complicated, but I would really appreciate help.
Also, sorry for not putting it in LaTex but the tex button failed me. I could attach an image of a PDF if it's really unclear.
Thanks in advance!