Find an example of an infinite algebraic extension over the field of rational numbers $\Q$ other than the algebraic closure $\bar{\Q}$ of $\Q$ in $\C$.

Definition (Algebraic Element, Algebraic Extension).

Let $F$ be a field and let $E$ be an extension of $F$.

• The element $\alpha \in E$ is said to be algebraic over $F$ is $\alpha$ is a root of some nonzero polynomial with coefficients in $F$.
• The extension $E/F$ is said to be algebraic if every element of $E$ is algebraic over $F$.

Proof.

Consider the field
\[K=\Q(\sqrt[3]{2}, \sqrt[5]{2}, \dots, \sqrt[2n+1]{2}, \dots).\] That is, $K$ is the field extension obtained by adjoining all numbers of the form $\sqrt[2n+1]{2}$ for any positive integers $n$.

Note that $\sqrt[2n+1]{2}$ is a root of the monic polynomial $x^{2n+1}-2$, hence $\sqrt[2n+1]{2}$ is algebraic over $\Q$.

By Eisenstein’s criterion with prime $2$, we know that the polynomial $x^{2n+1}-2$ is irreducible over $\Q$.
Thus the extension degree is $[\Q(\sqrt[2n+1]{2}):\Q]=2n+1$.

Since the field $K$ contains the subfield $\Q(\sqrt[2n+1]{2})$, we have
\[2n+1=[\Q(\sqrt[2n+1]{2}):\Q] \leq [K:\Q]\] for any positive integer $n$.
Therefore, the extension degree of $K$ over $\Q$ is infinite.

Observe that any element $\alpha$ of $K$ belongs to a subfield $\Q(\sqrt[3]{2}, \sqrt[5]{2}, \dots, \sqrt[2n+1]{2})$ for some $n \in \Z$.
Since each number $\sqrt[2k+1]{2}$ is algebraic over $\Q$, we know that this subfield is algebraic, hence $\alpha$ is algebraic.
Thus, the field $K$ is algebraic over $\Q$.

Is $K$ different from $\bar{\Q}$?

It remains to show that $K\neq \bar{\Q}$.

Consider $\sqrt{2}$.
Since $\sqrt{2}$ is a root of $x^2-2$, it is algebraic, hence $\sqrt{2}\in \bar{\Q}$.

We claim that $\sqrt{2}\not \in K$.
Assume on the contrary that $\sqrt{2} \in K$.
Then $\sqrt{2} \in F:=\Q(\sqrt[3]{2}, \sqrt[5]{2}, \dots, \sqrt[2n+1]{2}) \subset K$ for some $n \in \Z$.

Note that the extension degree of this subfield $F$ is odd since each extension degree of $\Q(\sqrt[2k+1]{2})/\Q$ is odd.

Since $\sqrt{2}\in F$, we must have
\begin{align*}
[F:\Q]=[F:\Q(\sqrt{2})][\Q(\sqrt{2}):\Q]=2[F:\Q(\sqrt{2})],
\end{align*}
which is even.

This is a contradiction, and hence $\sqrt{2}\not \in K$.
Thus, $K\neq \bar{\Q}$.

Comment.

With the same argument, we can prove that the field
\[K=\Q(\sqrt[2]{2}, \sqrt[3]{2}, \dots, \sqrt[n]{2}, \dots)\] is infinite algebraic extension over $\Q$.

However, it is not trivial to show that this field is different from $\bar{\Q}$.

That’s why we used only $\sqrt[2k+1]{2}$ in $K$.

We can also use $\sqrt[p]{2}$ for odd prime $p$.

The post Example of an Infinite Algebraic Extension first appeared on Problems in Mathematics.

Let $\zeta_8$ be a primitive $8$-th root of unity.
Prove that the cyclotomic field $\Q(\zeta_8)$ of the $8$-th root of unity is the field $\Q(i, \sqrt{2})$.

Proof.

Recall that the extension degree of the cyclotomic field of $n$-th roots of unity is given by $\phi(n)$, the Euler totient function.
Thus we have
\[[\Q(\zeta_8):\Q]=\phi(8)=4.\]

Without loss of generality, we may assume that
\[\zeta_8=e^{2 \pi i/8}=\frac{1}{\sqrt{2}}+\frac{1}{\sqrt{2}}i.\]

Then $i=\zeta_8^2 \in \Q(\zeta_8)$ and $\zeta_8+\zeta_8^7=\sqrt{2}\in \Q(\zeta_8)$.
Thus, we have
\[\Q(i, \sqrt{2}) \subset \Q(\zeta_8).\]

It suffices now to prove that $[\Q(i, \sqrt{2}):\Q]=4$.
Note that we have $[\Q(i):\Q]=[\Q(\sqrt{2}):\Q]=2$.
Since $\Q(\sqrt{2}) \subset \R$, we know that $i\not \in \Q(\sqrt{2})$.
Thus, we have
\begin{align*}
[\Q(i, \sqrt{2}):\Q]=[[\Q(\sqrt{2})(i):\Q(\sqrt{2})][\Q(\sqrt{2}):\Q]=2\cdot 2=4.
\end{align*}

It follows that
\[\Q(\zeta_8)=\Q(i, \sqrt{2}).\] Click here if solved 24

The post The Cyclotomic Field of 8-th Roots of Unity is $\Q(\zeta_8)=\Q(i, \sqrt{2})$ first appeared on Problems in Mathematics.