Math 8202 Homework 5 Spring 2015: Tianyu Tao March 5, 2015
Math 8202 Homework 5 Spring 2015: Tianyu Tao March 5, 2015
Tianyu Tao
March 5, 2015
Problem 1:
p. 215 Exx 1.
p.215 Exx 3.
p.215 Exx 5.
Proof: We have [F (u) : F ] = [F (u) : F (u2 )][F (u2 ) : F ]. We claim [F (u) : F (u2 )]
is either 1 or 2, for suppose it is not 1, then since u satisfies the equation f (x) =
x2 u2 F (u2 )[x] we have 1 6= [F (u) : F (u2 )] = [F (u2 )(u) : F (u2 )] 2, which
forces [F (u) : F (u2 )] = 2, but then [F (u) : F ] is even, contradict to hypothesis so
[F (u) : F (u2 )] = 1 and F (u) = F (u2 ).
Problem 4:
p.216 Exx 8.
Tianyu Tao
over K is to show that the extension K(u) is finite dimensional over K, by theorem
4.1. Let g K\F , since K is a subfield of E/F , we have
g=
f (u)
h(u)
where f (x), h(u) F [x] and h 6= 0, at least one of f, g is not constant (an element
in F ) by our choice of g. Thus u satisfies the equation p(u) = 0 with p(x) =
f (x) gh(x) K[x]. So [K(u) : K] < deg p(x) shows u is algebraic over K.
Problem 5:
p.229 Exx 1.
2i
Proof: Let 5 2 denote the image of x in Q[x]/(x5 2), let i = e 5 for i = 0, 1, 2, 3, 4
be the 5th roots of unity, since 5 is prime any i 6= 1 is a primitive 5th root of
unity, let
be one particular choice, then the splitting field of x5 2 over Q is
5
E = Q( 2, ), for there are at most five roots for x5 2, and these are precisely
5
5
5
5
5
2, 2, 2 2 , 2 3 , 2 4
5
Q( 2) and Q() are subfields of E, so 5 and 5 1 = 4 divides [E : F ], since they
are coprime this forces [E : F ] = 20.
Problem 7:
Tianyu Tao
p.229 Exx 3.
xp 1 = (x 1)p ,
e
p.229 Exx 5.
p.233 Exx 1.
Proof: It is clear that any root of g is also a root of f , since f (x) = g(x)d(x), on
the other hand, suppose r is a root for f with multiplicity n 1, so
f (x) = (x r)n h(x)
3
Tianyu Tao
p.234 Exx 4.
e
we have assumed that g(x) F [x], hence trp F since its one of the coefficients
l
of g, since d > 1, t 6= 0 we have rp F , then
e
l el
a = rp = rp p
= ((rp )p
el1
)p F p ,