Friday, July 8, 2016

Find all intermediate fields of extension mathbbQ(sqrt2,sqrt3):mathbbQ without using Galois correspondence.

I'm in the middle of some notes which claim it should be possible to show that all the intermediate fields of the extension Q(2,3):Q are -



Q(2,3),Q,Q(2),Q(3),Q(6).



But this is before covering the Galois correspondence so we can't just find all subgroups of Gal(Q(2,3):Q) and count the number of subgroups to tell us there can be no more intermediate fields.






For example, one can show that the only intermediate fields of Q(2):Q are Q(2) and Q as follows:




By the Tower law, for an intermediate field K where QKQ(2),



|Q(2):Q|=|Q(2):K||K:Q|=deg(x22)=2 as x22 is irreducible over Q.



Thus either |Q(2):K|=1, in which case K=Q(2)



or



|K:Q|=1, in which case K=Q







Using a similar method, I can get as far as showing that, since |Q(2,3):Q|=|Q(2,3):K||K:Q|=4 for an intermediate field K,



either |Q(2,3):K|=1, in which case K=Q(2,3)



or |K:Q|=1, in which case K=Q



or |Q(2,3):K|=|K:Q|=2




which is where I get stuck...



Any pointers appreciated!

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...