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 Q⊆K⊆Q(√2),
|Q(√2):Q|=|Q(√2):K|⋅|K:Q|=deg(x2−2)=2 as x2−2 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