Intereting Posts

Isomorphism types of semidirect products $\mathbb Z/n\mathbb Z\rtimes\mathbb Z/2\mathbb Z$
Simplicial maps commute with face maps (that delete vertex)?
K theory of finite dimenional Banach algebras
the logarithm of quaternion
Finite Series – reciprocals of sines
fitting points into partitions of a square
Is an ultrafilter free if and only if it contains the cofinite filter?
Why $\arccos(\frac{1}{3})$ is an irrational number?
2011 AIME Problem 12 — Probability: 9 delegates around a round table
What is the integral of $e^{a \cdot x+b \cdot y}$ evaluated over the Koch Curve
How do I transform the equation based on this condition?
Weird limit $\lim \limits_{n\mathop\to\infty}\frac{1}{e^n}\sum \limits_{k\mathop=0}^n\frac{n^k}{k!} $
How to prove periodicity of $\sin(x)$ or $\cos(x)$ starting from the Taylor series expansion?
“Modus moron” rule of inference?
probability that he will be selected in one of the firms

Let $\alpha$ denote the real $6^{th}$ root of $2$, and let $L$ denote the normal closure of $\Bbb Q(\alpha)$ over $\Bbb Q$.

I want to give an explicit basis for $L$ as a $\Bbb Q$-vectorspace.

- Subgroup generated by $1 - \sqrt{2}$, $2 - \sqrt{3}$, $\sqrt{3} - \sqrt{2}$
- Splitting field of a separable polynomial is separable
- Can any monomorphism of a subfield of a splitting field be extended to an automorphism?
- Why is the product of all units of a finite field equal to $-1$?
- If $F$ is a formally real field then is $F(\alpha)$ formally real?
- Finding the degree of a field extension over the rationals

In the answer below, I have attempted to rigorously find this explicit basis.

- How (possibly) many subfields does $\mathbb{F}$ has that extend $\mathbb{Q}$?
- Tensor products of fields
- What are some algebraically closed fields?
- Why is the product of all units of a finite field equal to $-1$?
- How to solve polynomial equations in a field and/or in a ring?
- Lüroth's Theorem
- Rigidity of the category of fields
- Why should I consider the components $j^2$ and $k^2$ to be $=-1$ in the search for quaternions?

We have that $\alpha$ is the real $6^{th}$ root of $2$. The normal closure of $\Bbb Q(\alpha)$ is the smallest normal extension over $\Bbb Q(\alpha)$.

Since $f(x)=x^6-2\in \Bbb Q(\alpha)$ has root $\alpha$, the normal closure of $\Bbb Q(\alpha)$ must be the splitting field of $f$. Now let $\zeta$ be a primitive $6^{th}$ root of $1$, then $\alpha\zeta^i$ where $i\in \{0,\cdots,5\}$ are the roots of $f(x)$.

Now $\zeta$ has minimal polynomial $x^2-x+1$, and clearly this minimal polynomial is irreducible(rational roots) so $\zeta\not\in \Bbb Q$ so $[\Bbb Q(\zeta):\Bbb Q]=2$

Now then $[\Bbb Q(\zeta,\alpha):\Bbb Q]\leq 12$ and $x^6-2$ splits over $\Bbb R$ while $x^2-x+1$ has complex roots. I.e. $\Bbb Q(\alpha)\subseteq \Bbb R$ and $[\Bbb Q(\alpha):\Bbb Q]=6$, and $\Bbb Q(\zeta)\not\subseteq \Bbb R$, so $[\Bbb Q(\alpha,\zeta):\Bbb Q]=12$.

And since $\Bbb Q(\alpha)$ has basis $\{1,\alpha,\alpha^2,\alpha^3,\alpha^4,\alpha^5\}$ as a $6$-dimensonal $\Bbb Q$-vectorspace, and $\Bbb Q(\zeta)$ has basis $\{1,\zeta\}$ as a $2$-dimensional $\Bbb Q$-vectorspace.

We know that the basis of the vectorspace basis formed by adjoining both is meant to be $u_iv_j$(the product of each basis element)

So we obtain basis:

$$\{1,\alpha,\alpha^2,\alpha^3,\alpha^4,\alpha^5,\zeta,\alpha\zeta,\alpha^2\zeta,\alpha^3\zeta,\alpha^4\zeta,\alpha^5\zeta\}$$

- How was the determinant of matrices generalized for matrices bigger than $2 \times 2$?
- How to compute the gcd of $x+a$ and $x+b$, where $a\neq b$?
- QM-AM-GM-HM proof help
- Which rational functions are derivatives of rational functions?
- Most wanted reproducible results in computational algebra
- Distribute small number of points on a disc
- Proving limit doesn't exist using the $\epsilon$-$\delta$ definition
- Why a linear numerator for fractions with irreducible denominators?
- Proving trigonometric equation $\cos(36^\circ) – \cos(72^\circ) = 1/2$
- Derivative of the inverse of a matrix
- Etymology of Tor and Ext
- Relative countable weak$^{\ast}$ compactness and sequences
- Is Inner product continuous when one arg is fixed?
- In the change-of-variables theorem, must $ϕ$ be globally injective?
- Small Representations of $2016$