6

Having trouble big time.

I am asked to find the normal closure for the extension $\mathbb{Q}(a):\mathbb{Q}$ where $a$ is the fifth root of $3$ and real. Then I am asked to find Galois groups for the extension above and $N:\mathbb{Q}$, both.

Now, I found $N$ to be $\mathbb{Q}(a,\omega)$ where $\omega=\cos{\frac{2 \pi}{5}}+i \sin{\frac{2 \pi}{5}}$, the fifth root of unity. Problem is, for this $N:\mathbb{Q}=\mathbb{Q}(a,\omega):\mathbb{Q}$ extension, finding the Galois group, equivalently finding the automorphisms $Aut_{\mathbb{Q}}(\mathbb{Q}(a,\omega)$ is looking unbelievably tedious and difficult.

I mean, the elements of $N=\mathbb{Q}(a,\omega)$ will be something like $p+qa+ra^2+...+ta^4+w\omega+x\omega^2+...+ba\omega+ca^2\omega+...+ga^3\omega^3$ where coefficients are in $\mathbb{Q}$. Basically, the form of the element is massive. Everything except $\omega^4$ terms appear(since $\omega^4=-(\omega^3+\omega^2+\omega+1)$.

..Am I right so far? If so, finding automorphisms on such elements must be so tedious...say, conjugates(if I should be calling them that), $p-qa+ra^2+...+ta^4+w\omega+x\omega^2+...+ba\omega+ca^2\omega+...+ga^3\omega^3$,$p+qa-ra^2+...+ta^4+w\omega+x\omega^2+...+ba\omega+ca^2\omega+...+ga^3\omega^3$ etc would still be a $\mathbb{Q}$-automorphism so anything map as above would be in the Galois group, yes?

I mean, there's just loads of maps (automorphisms) of $\mathbb{Q}(a,\omega)$ that I doubt I have to write them all down for this Galois group.

Or is that really the answer? Some massive monstrous group?

Viktor Vaughn
  • 19,278
John Trail
  • 3,279
  • I might write a complete answer later, but here are some tips. 1) What is the degree of the normal closure over $\mathbb{Q}$? This will be the order of your Galois group. – Viktor Vaughn Mar 01 '16 at 23:20
  • 3
  • There are many ways of describing a group, and listing all the elements with a multiplication table is one of the worst, unless the group is of very small order. In this case, I would recommend trying to find a presentation for the group by finding generators and then computing relations they satisfy. Anyway, I'm pretty sure in the end the Galois group is the Frobenius group of order $20$.
  • – Viktor Vaughn Mar 01 '16 at 23:23