Hello Professor,

Here is another Problem I’m having, It’s from the 2004 exam paper, Q2 ii) :

f(X) = X^4 – p. Let *alpha* be the zero of f.

By making the change of variable g(X) = f(X+1) or otherwise, Show that if p= 3 mod 4 then

{1, *alpha*, *alpha*^2, *alpha*^3}

is an integral basis in Q(*alpha*).

I have calculated the absolute value discriminant of the basis {1, *alpha*, *alpha*^2, *alpha*^3} to equal 64p^3 using N(f’(*alpha*)).

I’m not too sure what method to use, could you perhaps point me in the right direction.

Reply:

The discriminant is incorrect. Be careful of the degree of the number field. In any case, here is a solution.