Prove that the extension is Normal

  • Thread starter Thread starter Oster
  • Start date Start date
  • Tags Tags
    Extension Normal
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Oster
Messages
84
Reaction score
0
Prove that the field Q(√2,√3,u) where u^2=(9-5√3)(2√2) is normal over Q.
I'm supposed to show that this field is the splitting field of some polynomial over Q. u is clearly algebraic over Q. Do i just take the higher powers of u and try to find the minimal polynomial over Q or is there a smarter way to do this?
 
Physics news on Phys.org
Your first idea seems reasonable. There are various definitions of normal extensions, but the one most amenable to actually showing normality is showing that the extension is a splitting field.

I found that the minimal polynomial of u is [itex]u^8-2496u^4+2304[/itex], though you should check my work. Of course, you then need to show that [itex]\sqrt 2, \sqrt 3, u[/itex] generate the roots, and that no subextension will work.