# Thread:

1. ## Normal extension

I've been asked to decide whether the following extensions are normal
(a) Q(cube root of 5,i):Q
(b) Q(5^(1/4),i):Q
(c) C(t):C(t^3)
(d) Q(t): Q(t^3)

This is my attempts

(a) Let a = 5^(1/3), then a has minimal polynomial m(x) = x^3 -5 which is irreducible over Q by Eisenstein's criterion with p = 5
i has min poly x^2 +1 over Q(5^(1/3)) and since i does not belong to Q(5^(1/3)) , then it is irreducible over Q(5^(1/3))

Then by tower law, [Q(cube root of 5,i):Q] = 3*2 = 6
Also, the polynomial f(x) = x^3 -5 = (x -a)(x-aw)(x-a(w^2)) where w is the cube root of unity.
Is it correct so far?
I've done up to here and dont know how to decide whether normal or not.

Part b is similar to part a

But bart c and d looks a bit hard. Can you give me some hints on these parts please?

Thank you very much

2. Originally Posted by dangkhoa
I've been asked to decide whether the following extensions are normal
(a) Q(cube root of 5,i):Q
(b) Q(5^(1/4),i):Q
(c) C(t):C(t^3)
(d) Q(t): Q(t^3)

This is my attempts

(a) Let a = 5^(1/3), then a has minimal polynomial m(x) = x^3 -5 which is irreducible over Q by Eisenstein's criterion with p = 5
i has min poly x^2 +1 over Q(5^(1/3)) and since i does not belong to Q(5^(1/3)) , then it is irreducible over Q(5^(1/3))

Then by tower law, [Q(cube root of 5,i):Q] = 3*2 = 6
Also, the polynomial f(x) = x^3 -5 = (x -a)(x-aw)(x-a(w^2)) where w is the cube root of unity.
Is it correct so far?
I've done up to here and dont know how to decide whether normal or not.

Part b is similar to part a

But bart c and d looks a bit hard. Can you give me some hints on these parts please?

Thank you very much
If your definition of normal extension is here, (a) is not normal extension. If your w is a non-real cube root of unity, then the splitting field of your $f(x)=x^3-5$ over $\mathbb{Q}$ is $\mathbb{Q}(\sqrt[3]{5},\sqrt{3}i)$ or $\mathbb{Q}(\sqrt[3]{5},\alpha)$ ( $\alpha$ is a root of $x^2+x+1$), which is not equal to $\mathbb{Q}(\sqrt[3]{5},i)$.

For (b), let $f(x)=x^4-5$. The splitting field of f(x) over Q is to adjoin 4th root of 5 to $\mathbb{Q}$. Since two primitive fourth roots of unity are {i, -i}, you can check that (b) is the normal extension.

(c) is the normal extension while (d) is not.

Let $F=\mathbb{C}(t^3)$ and $F'=\mathbb{Q}(t^3)$
Check if $x^3 - t^3 \in F[x]$ ( resp. $x^3 - t^3 \in F'[x]$) splits completely in $\mathbb{C}(t)[x]$ ( resp. $\mathbb{Q}(t)[x]$ ).
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 15, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.913030207157135, "perplexity_flag": "middle"}