Let $L:K$ be a field extension and let $K_1$ and $K_2$ be two intermediate fields such that $L=K(K_1,K_2)$. Show that $[L:K]\leq[K_1:K][K_2:K]^2$.

I know that to show this I will be using the Tower law, with my tower of fields being something like $K\subset K(K_1) \subset K(K_1, K_2) = L$. But I'm not sure how to go about getting $[K_2:K]^2$.

  • $\begingroup$ What is $K(K_1,K_2)$? $\endgroup$ – carmichael561 Sep 14 '16 at 0:58
  • $\begingroup$ the field extension adjoining $K_1$ and $K_2$ to $K$ $\endgroup$ – Ldog327 Sep 14 '16 at 1:06
  • $\begingroup$ So $K(K_1)$ is just $K_1$ and $L$ is the compositum $K_1K_2$? $\endgroup$ – carmichael561 Sep 14 '16 at 1:09
  • $\begingroup$ L is equal to $K$ adjoined with $K_1$ and $K_2$ $\endgroup$ – Ldog327 Sep 14 '16 at 1:11

If $L$ is the composite field of $K_1$ and $K_2$, then $[L : K] \leq [K_1 : K][K_2 : K]$. To show this, pick bases $B_1$ and $B_2$ for $K_1$ and $K_2$, then show that $\{\alpha\beta : \alpha \in B_1, \beta \in B_2\}$ is a spanning set for $L$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.