{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

College Algebra Exam Review 418

College Algebra Exam Review 418 - 428 9 FIELD EXTENSIONS...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 428 9. FIELD EXTENSIONS – SECOND LOOK Aut.L/. If K  L is a field extension, we denote the set of automorphisms of L that leave each element of K fixed by AutK .L/; we call such automorphisms K -automorphisms of L. Recall from Exercise 7.4.4 that AutK .L/ is a subgroup of Aut.L/. Proposition 9.4.1. Let f .x/ 2 KŒx, let L be a splitting field for f .x/, let p.x/ be an irreducible factor of f .x/, and finally let ˛ and ˇ be two roots of p.x/ in L. Then there is an automorphism 2 AutK .L/ such that .˛/ D ˇ . Proof. Using Proposition 9.2.1, we get an isomorphism from K.˛/ onto K.ˇ/ that sends ˛ to ˇ and fixes K pointwise. Now, applying Corollary 9.2.5 to K.˛/  L and K.ˇ/  L gives the result. I Proposition 9.4.2. Let L be a splitting field for p.x/ 2 KŒx, let M; M 0 be intermediate fields, K  M  L, K  M 0  L, and let be an isomorphism of M onto M 0 that leaves K pointwise fixed. Then extends to a K -automorphism of L. Proof. This follows from applying Proposition 9.2.4 to the situation specified in the following diagram: L ppppppppppppppppp qqqqq qqqq qqq qqqqq qqqqqqqq qqqqq qqqqq qqqqqqqq qqqqq qqqqq   M; p.x/ L qqqqq qqqq qqq qqqqq M 0 ; p.x/ I Corollary 9.4.3. Let L be a splitting field for p.x/ 2 KŒx, and let M be an intermediate field, K  M  L. Write IsoK .M; L/ for the set of field isomorphisms of M into L that leave K fixed pointwise. (a) There is a bijection from the set of left cosets of AutM .L/ in AutK .L/ onto IsoK .M; L/. ...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online