Final Exam 2

Alex Jeppson
April 27, 2014
Problem a:
Associativity: The composition of two maps is automatically associative.
Closed: Let , Gal(E, F ). Then : E E and : E E. So
: E E, and therefore Gal(E, F ).
Identity: When is restricted to F , it is the identity map.
Inverses: Them 6.3 property 1 states that if is an isomorphism from G

to G. As : E E, 1 : E E
to G, 1 is an isomorphism from G
1
and therefore Gal(E, F ).
Thus, Gal(E, F ) is a group.
Problem b:
F (a) having a zero a doesnt necessarily mean that it is the splitting
field for p(x) over F . It could be the splitting field, but usually wont be.
Therefore Gal(F (a), F ) is usually not the Galois group of p(x).
Problem c:
An arbitrary element of F (a) looks like c0 + c1 a + + cm1 am1 where

cj F for 0 j < m
(c0 + c1 a + + cm1 am1 ) = (c0 ) + (c1 a) + + (cm1 am1 )
(operation preserving)
= c0 + c1 (a) + + cm1 (am1 )
( acts as identity on elements of F )
= c0 + c1 (a) + + cm1 [(a)]m1
(Theorem 6.2 property 2)
Thus you can see that is completely determined by where it maps a.
Problem d:
If a is a zero of p(x), then:
0 = c0 + c1 a + + cm1 am1
= (c0 + c1 a + + cm1 am1 )
= (c0 ) + (c1 a) + + (cm1 am1 )
= c0 + c1 (a) + + cm1 (am1 )
= c0 + c1 (a) + + cm1 [(a)]m1

So (a) is a zero of p(x).