• Support PF! Buy your school textbooks, materials and every day products Here!

Galois Theory - Algebraic extensions

  • Thread starter adavies
  • Start date
  • #1
2
0

Homework Statement



Let M/L and L/K be algebraic field extensions. Is M/K necessarily algebraic?

Homework Equations



Tower law: [M:K]=[M:L][L:K]

The Attempt at a Solution



If both M/L and M/K are finite extensions then by the tower law M/K is also a finite extension, hence is algebraic. So one or both of them must be infinite. The only infinite algebraic extensions I can think of are similar in construction to the algebraic closure of the rationals.
An element [tex]m \in M[/tex] is algebraic over L so we can write [tex]\sum a_{i}m^i=0[/tex] for some [tex]a_i \in L[/tex], where i runs from 0 to some n. Might be able to use the fact that L/K is algebraic now?

Thanks for any help!
 

Answers and Replies

  • #2
430
3
You have now singled out an element m and want to show that it's algebraic over K. Consider the tower:
[tex]K \subseteq K(a_1,\ldots,a_n) \subseteq K(a_1,\ldots,a_n,m)[/tex]
You can show that m is algebraic over [itex]K(a_1,\ldots,a_n)[/itex] and you should therefore be able to get back to your finite case.
 
  • #3
2
0
Funnily enough I was just working via this argument on paper to see whether I could delete the thread. At least now I know I was on the right lines, thanks very much!
 

Related Threads for: Galois Theory - Algebraic extensions

Replies
1
Views
1K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
5
Views
649
  • Last Post
Replies
0
Views
1K
Replies
3
Views
637
Replies
3
Views
1K
  • Last Post
Replies
1
Views
501
Top