Intereting Posts

How to compute $2^{\text{some huge power}}$
Proof involving Cyclic group, generator and GCD
Sum of sawtooth function not differentiable at dyadic rational points
Bell numbers and moments of the Poisson distribution
Good books for self-studying algebra?
Stronger than Nesbitt inequality
Differential equation with a constant in it
Proving a diagonal matrix exists for linear operators with complemented invariant subspaces
central limit theorem for a product
Extension and contraction of ideals in polynomial rings
Symplectic basis $(A_i,B_i)$ such that $S= $ span$(A_1,B_1,…,A_k,B_k)$ for some $k$ when $S$ is symplectic
Intuition for the Universal Chord Theorem
Is compactness a stronger form of continuity?
How to find the given limits
Converting a rotated ellipse in parametric form to cartesian form

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.

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

- Isomorphic Group with $G=(\mathbb Z_{2^\infty}\oplus \frac{\mathbb Q}{\mathbb Z}\oplus \mathbb Q)\otimes_{\mathbb Z}\mathbb Q $
- Order of element equal to least common multiple
- Are free products of finite groups virtually free?
- Lifting idempotents modulo a nilpotent ideal
- Factoring $X^{16}+X$ over $\mathbb{F}_2$
- What's the explicit categorical relation between a linear transformation and its matrix representation?

- Let $R$ be a Artinian commutative ring with $1 \neq 0$. If $I$ is prime, then $I$ is maximal.
- Is a height one ideal in a UFD principal?
- GCD of gaussian integers
- Recovering a finite group's structure from the order of its elements.
- Identify the ring $\mathbb{Z}/(x^2-3, 2x+4)$
- Finite field satisfies $1+\lambda^{2}-\alpha\mu^{2}=0$
- How to show that $\Bbb Z/(xw-zy)$ is not a UFD
- Cardinality of algebraic extensions of an infinite field.
- Show that an integral domain with finitely many ideals is a field
- continuous map on $\mathbb{R}$ which is the identity on $\mathbb{Q}$ is the identity map, hence Aut$(\mathbb{R}/\mathbb{Q})= 1.$

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\}$$

- geometric multiplicity= algebraic multiplicity for a symmetric matrix
- How to prove that exponential grows faster than polynomial?
- An entire function which is real on the real axis and map upper half plane to upper half plane
- Parabolas through three points
- Please integrate $\int \frac{\sqrt{x}}{\sqrt{x} + \sqrt{a-x}} \, dx$
- The Frobenius Coin Problem
- Why it is important to find largest prime numbers?
- Wrong Wolfram Alpha limit? $\lim\limits_{(x,y)\to(0,0)}\frac{{xy^3}}{{x^2+y^6}}$
- Binary operation (english) terminology
- To prove a Cauchy sequence is convergent.
- Why are the fundamental groups $\pi_{1}(S^3)$ and $\pi_{1}(S^2)$ trivial?
- Is $\mathbb{R}$ a finite field extension?
- Hard Olympiad Inequality
- A ring with IBN which admits a free module with a generator with less elements than a basis
- Evaluate $\int\frac{1}{\sin(x-a)\sin(x-b)}\,dx$