Exercise on simple extensions Let $E/K$ be an extension and $L_1,L_2$ intermediate fields of $E/K$ with $L_i:K$ finite. Then necessarily $L_1L_2:L_2$ $\le$ $L_1:K$. Prove $L_1L_2:L_2$ is not necessarily a factor of $L_1:K$. Hint: Consider $L_1= \mathbb{Q}(2^{\frac{1}{3}})$ and $L_2= \mathbb{Q}(e^{\frac{2\pi i}{3}}2^{\frac{1}{3}})$
My Progress:
Let $K=\mathbb{Q}$. Then $L_1:K=3$
Let $f(X)= X^2+ e^{\frac{2\pi i}{3}}2^{\frac{1}{3}}X+(e^{\frac{2\pi i}{3}}2^{\frac{1}{3}})^{2}$
Then $f(X)$ is an element of $L_2[X]$ and $f(2^{\frac{1}{3}})=0$.
Now I want to show that $f(X)$ is the minimal polynomial of $2^{\frac{1}{3}}$ over $L_2$. So I suppose it’s not i.e. there exists a $g(X)$ element of $L_2[X]$ such that 
$g$ | $f$, $g\not=0$ and most importantly $g(2^{\frac{1}{3}})=0$.Implying $g$ is of degree 1. And this is where I get stuck, how do I show that $2^{\frac{1}{3}}$ is not an element of $L_2$?
 A: I would argue that $2^{1/3}$ is not an element of $L_2$ by proving each of the following claims:


*

*First, that $L_1$ and $L_2$ are isomorphic as field extensions of $\mathbb{Q}$.
(They are both isomorphic to $\mathbb{Q}[X]/(X^3-2)$.)

*Second, that $2^{1/3}\in L_2$ iff $e^{2\pi i/3}\in L_2$ iff there exists $\omega\in L_2$ such that $\omega^2+\omega+1=0$.

*Third, that since there is no real number $\omega$ satisfying $\omega^2+\omega+1=0$, there is no such $\omega$ in $L_1$, and hence no such $\omega$ in $L_2$ by claim 1.  Therefore, by claim 2, $2^{1/3}\notin L_2$.


Good luck!
A: $2^{\frac{1}{3}}$ and $e^{\frac{2\pi i}{3}}2^{\frac{1}{3}}$ are both roots of $X^3 - 2$.
Since $X^3 - 2$ is irreducible over $\mathbb{Q}$, $[L_1 : \mathbb{Q}] = [L_2 : \mathbb{Q}] = 3$.
Since $L_1L_2$ contains $e^{\frac{2\pi i}{3}}$ and $2^{\frac{1}{3}}$, $L_1L_2 = \mathbb{Q}(e^{\frac{2\pi i}{3}}, 2^{\frac{1}{3}})$.
Since $e^{\frac{2\pi i}{3}}$ is not real, it is not contained in $\mathbb{Q}(2^{\frac{1}{3}})$.
Since $e^{\frac{2\pi i}{3}}$ is a root of $X^2 + X + 1$, $[L_1L_2 : L_1] = 2$.
Hence $[L_1L_2 : \mathbb{Q}] = [L_1L_2 : L_1][L_1 : \mathbb{Q}] = 6$.
Since $[L_1L_2 : \mathbb{Q}] = [L_1L_2 : L_2][L_2 : \mathbb{Q}] = 6$,
$[L_1L_2 : L_2] = 2$.
This is not a factor of $[L_1: \mathbb{Q}] = 3$
A: Note that a splitting field for $f:=X^{3}-2\in\mathbb{Q}[x]$ must
be of degree $6$ over $\mathbb{Q}$since it is of degree at most
$3!$ and $X^{3}-2$ have non-real roots hence not in $\mathbb{Q}(\sqrt[3]{2})$
so the the latter can not be the splitting field. 
Also note that both $L_{1},L_{2}$ are simple extensions over $\mathbb{Q}$
generated by roots of $f$ and that $L_{1}L_{2}$is the splitting
field of $f$ since $f$ have two roots $\lambda_{1},\lambda_{2}\in L_{1}L_{2}$
hence in $L_{1}L_{2}[x]$ you have a factorization $$f=(x-\lambda_{1})(x-\lambda_{2})g(x)$$
where $g$ is monic and of degree $1$ thus $g$ is of the form $x-\lambda_{3}$
where $\lambda_{3}\in L_{1}L_{2}$ and must be a root of $f$ .
$[L_{1}L_{2}:\mathbb{Q}]=6$ and you know $[L_{i}:\mathbb{Q}]=3$
since $f$ is irreduciable over $\mathbb{Q}$. Can you see why $[L_{1}L_{2}:L_{2}]$
is not a factor of $[L_{1}:\mathbb{Q}]$ ?
