This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: College of the Holy Cross, Fall 2009 Math 351 Homework 12 selected solutions Chapter 32, #4. Let E = Q ( 2 , 5 , 7). The problem tells us to assume that Gal( E/ Q ) = Z 2 Z 2 Z 2 . By the Fundamental Theorem of Galois Theory, a subgroup H Gal / ( E/ Q ) has fixed field E H with [ E H : Q ] = | Gal( E/ Q ) | / | H | , and every subfield of E containing Q is of the form E H for some H . Thus to find subfield K of E with [ K : Q ] = 4, we need to find all subgroups of Gal / ( E/ Q ) with order 8/4 = 2. There is exactly one subgroup of order 2 for each element of order 2, and there are 7 elements of order 2 in Z 2 Z 2 Z 2 . Hence there are 7 subfields of E with [ K : Q ] = 4. Chapter 32, #5. To show E H is a subfield of E , we show it is a subring and that all non- zero elements of E H have inverses in E H . So let a,b E H , which means that for all H , we have ( a ) = a and ( b ) = b . Thus for all H we have ( a- b ) = ( a )- ( b ) (since is a ring homomorphism), and this latter expression is a- b . So a- b E H . Similarly, we have ( ab ) = ( a ) ( b ) = ab . So E H is closed under subtraction and multiplication and thus is a subring of E . Now let a E H with a 6 = 0. Then a- 1 is an element in E since E is a field. Thus for all H , ( a- 1 ) = ( a )- 1 (since is a ring homomorphism), and this equals a- 1 . So a- 1 is fixed by all elements of H and hence is in E H ....
View Full Document