Skip to main content
Contents
Embed
Dark Mode Prev Up Next
\(\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\C}{\mathbb C}
\newcommand{\F}{\mathbb F}
\newcommand{\ev}{{\mathrm ev}}
\newcommand{\Inn}[1]{\operatorname{Inn}\left(#1\right)}
\newcommand{\Gal}[2]{\operatorname{Gal}\left(#1/#2\right)}
\newcommand{\Aut}[2]{\operatorname{Aut}\left(#1/#2\right)}
\newcommand{\unit}{1\!\!1}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Worksheet Tutorial-9
Following exercises are taken from Section 14.2 of the book
Abstract Algebra by Dummit and Foote.
1.
Suppose that
\(K/F\) is a Galois extension of degree
\(p^n\) for some prime number
\(p\) and a natural number
\(n\text{.}\) Show that there are Galois extensions of
\(F\) contained in
\(K\) of degrees
\(p\) and
\(p^{n-1}\text{.}\)
2.
Give an example of fields
\(F_1,F_2,F_3\) with
\(\Q\subset F_1\subset F_2\subset F_3\) and
\([F_3:\Q]=8\) and each field is Galois over all its subfields with the exception that
\(F_2/\Q\) is not Galois.
3.
Determine the Galois group of the splitting field of
\(x^4-14x^2+9\) over
\(\Q\text{.}\)
4.
Show that
\(\Q\left(\sqrt{2+\sqrt{2}}\right)/\Q\) is Galois with a cyclic Galois group.
5.
Show that the polynomial
\(p(x)=x^4-2x^2-2\) is irreducible over
\(\Q\text{.}\)
Show that following are roots of \(p(x)\text{.}\)
\begin{align*}
\alpha_1=\sqrt{1+\sqrt{3}} \amp\qquad\alpha_2=-\sqrt{1+\sqrt{3}} \\
\alpha_3=\sqrt{1-\sqrt{3}} \amp\qquad\alpha_4=-\sqrt{1-\sqrt{3}}
\end{align*}
Let
\(K_i=\Q(\alpha_i)\) for
\(i=1,2\) and
\(F=K_1\cap K_2\text{.}\) Show that
\(K_1\neq K_2\) and that
\(F=\Q(\sqrt{3})\text{.}\)
Show that
\(K_i/F\) are Galois for
\(i=1,2\text{.}\) Determine
\(\Gal{K_1K_2}{F}\) and all the subfields of
\(K_1K_2/F\) explicitly.
Prove that the splitting field of
\(p(x)\) over
\(\Q\) is of degree
\(8\) and its Galois group is isomorphic to a dihedral group.