2
$\begingroup$

Let $E$ be an extension of $F$, and let $a, b \in E$ be algebraic over $F$. Suppose that the extensions $F(a)$ and $F(b)$ of $F$ are of degrees $m$ and $n$, respectively, where $(m,n)=1$. Show that $[F(a,b):F]=mn$.

Since $[F(a,b):F]=[F(a,b):F(a)][F(a):F]$ and $[F(a):F]=n$ we have $n|[F(a,b):F]$ with the same argument we prove that $m|[F(a,b):F]$, then $mn|[F(a,b):F]$ and $mn \le [F(a,b):F]$.

My problem is with the converse, I need help.

Thank you

2 Answers 2

4

You should be able to prove the degree of $F(a,b)$ over $F(a)$ is at most the degree of $F(b)$ over $F$, and what you want follows from that.

-1

Note that $F(a,b)=(F(a))(b)$. Take a basis for $F(a)/F$ and for $F(b)/F$. What is a spanning set for $(F(a))(b)/F$?

  • 1
    The term is "spanning."2012-11-15