Find all the subfield of
clearly the subfields and are there. then and are also there. if you draw the picture correctly i guess you will see that there is no more space to insert any more fields .. as we have broken down all extensions in degree 2 pieces.
i guess it is the correct answer ... if i come up with anything else i will let u know.
to make it clear here that i think by "subfields" ynj means the intermediate subfields, i.e. those subfields which contain including and nirax has found of them but has
subfields because the dihedral group of order , and we know that has subgroups. so, see if you can find missing ones!
actually there isn't much argument. the basic thing to identify are the degree 2 intermediate extensions between them ... since there cannot be any more subfields between such a extension, so this is the end of investigation.
a field contaning fourth root must also contain the square root. so that gives you one intermediate extension and being generated by a square root, it must be of degree two.
after you have found degree two estensions, take compositum of intermediare extensions (that is the smallest subfield containing the two given extensions) .. then you try to insert more degree two extensions wherever you can and take compositums again ... such a approach is suitable only for small textbook problems ... there are more sophisticated ways of finding subfields which are not needed in this case ...
i am sorry if all this sounds sketchy but it is really an elementary problem. I dont think i can explain it any better.
I make those subgroups of D8 the trivial subgroup and the group itself for 2 of them.
Then there are 4 subgroups of order 2 with 1 reflection
1 subgroup of order 2 with 1 half turn
1 subgroup of order 4 generated by a quarter turn
2 subgroups of order 4 generated by two reflections.
But being ignorant of Galois theory I can't quite work out how they correspond to subfields since I guess the elements of the Galois group should be permuting some of the new elements introduced by the field extension. Assuming Q corresponds to the trivial subgroup and the field itself to D8 (or maybe the reverse) we need 8 proper subfields between Q and the starting field.
nirax found 4 of them, and I'm pretty sure mine are two more, but I can't find any more at all, nor see how those we have so far relate to the subgroups of D8.
what??!! those normal extensions correspond to the normal subgroups of the Galois group. see the fundamental theorem of Galois theory again!
to alunw: let where we have where are defined by and
the subfields of containing are exactly the fixed fields of subgroups of for example
So now we can try to do the problem systematically.
Let a be NonCommAlg's
Let b be NonCommAlg's
The 10 subgroups are
{1} which fixes
D8 which fixes
{1,a,a^2,a^3} which fixes
{1,a^2} which fixes
{1,b} which fixes
and
{1,ab}
{1,a^2b}
{1,a^3b}
{1,a^2b,b,a^2}
{1,ab,a^2,a^3b} which I need to think about a little.
Note that a^2b( ) = a^2( )*b(i) (since b fixes and a fixes i) = .
So {1,a^2b} fixes
And Fix {1,a^2b,b,a^2} is the intersection of , and which is
ab fixes since ab( ) = b( ) * a( ) =
And a^3b fixes this element as well.
So Fix {1,ab,a^2,a^3b} is
That accounts for all the subfields we identified already. We haven't found any subfields for the subgroups {1,ab} and {1,a^3b}. Neither ab or a^3b fix any of , or
Am I missing something, or are there actually no subfields for those two subgroups?