# Subgroup of Galois group of polynomial over $\mathbb{Q}$

Let $K$ be the splitting field of $x^5-3 \in \mathbb{Q}[x]$.

We can see $K = \mathbb{Q}(3^{1/5}, \zeta_5)$ where $\zeta_5 = e^{2 \pi i/5}$, and $[K: \mathbb{Q}] = 20$. It's easy to see $\sqrt{5} \in \mathbb{Q}(\zeta_5)\subseteq K$.

Let $H= \operatorname{Gal}(K/\mathbb{Q}(\sqrt{5})$). Does $H$ have to be abelian?

Edit: The Galois group of the big extension $K/\mathbb{Q}$ is the group generated by $\sigma$ (order 5 element) and $\tau$ (order 4 element) defined by $\sigma: 3^{1/5} \mapsto 3^{1/5} \zeta_5$ and $\tau: \zeta_5 \mapsto \zeta_5^2$.

I don't know what this group is, but it's definitely not abelian since if it's abelian the extension $\mathbb{Q}(3^{1/5})/\mathbb{Q}$ is Galois.

-
You should be able to find the group of $K$ over $\bf Q$, and then find $H$ as a subgroup of that group. –  Gerry Myerson Jul 22 '12 at 11:33
@colge Have you computed the Galois group of the big extension ? –  user38268 Jul 22 '12 at 11:35
@BenjaLim I have tried this (see my edit of the quesion) but I didn't get exact representation of this group. –  colge Jul 22 '12 at 12:01
@colge It's the Frobenius group $F_{20}$. –  Cocopuffs Jul 22 '12 at 12:09
You should be able to find a relation involving $\sigma$ and $\tau$, decide whether there are any elements of order 10, etc. –  Gerry Myerson Jul 22 '12 at 12:25

The Galois group is of order 20, generated by $x$ of order 5 any $y$ of order 4, where $yxy^{-1}=x^{3}$. Its the Frobenius group of order 20. The subgroup of order 10 is generated by $x$ and $y^2$. It is a dihedral group.
If the group is abelian, how do you explain the fact that $\mathbb{Q}[3^{1/5}]/\mathbb{Q}$ is not an abelian extension, as the OP mentionned? –  M Turgeon Jul 22 '12 at 15:57
I think you've got the dicyclic group of order 20; the Frobenius group has relation $yxy^{-1}=x^3$. –  Gerry Myerson Jul 23 '12 at 4:31
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9663677215576172, "perplexity": 236.82900951213233}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-35/segments/1408500835872.63/warc/CC-MAIN-20140820021355-00464-ip-10-180-136-8.ec2.internal.warc.gz"}