Algebra general exam. August 20th 2010, 9am-2pm
Directions.
Please show all your work and justify any statements that you make.
State clearly and fully any theorem you use.
Vague statements and hand-waving arguments will not be appreciated.
You may assume the statement in an earlier part proven in order to do a later part.
DO EACH PROBLEM ON A SEPARATE SHEET OF PAPER, AND STAPLE THEM TOGETHER IN THE CORRECT ORDER BEFORE TURNING THE EXAM IN.
Problem 1
Let
be prime. Let
be a finite group,
a normal subgroup of
,
and assume that
is divisible by
.
Let
be a Sylow
-subgroup
of
.
(a) (5 pts) Prove that
is a Sylow
-subgroup
of
(b) ( 4 pts ) Prove that
divides
where
denotes the number of Sylow
-subgroups
(c) (3 pts) Prove that
if and only if
is normal in
.
Problem 2
Let
be a field,
the ring of
matrices over
and
the group of invertible elements of
.
(a) ( 4 pts ) Prove that two matrices in
are similar if and only if they have the same minimal polynomial.
(b) ( 5 pts) Assume that
is finite, and let
.
Find the number of conjugacy classes in
.
(c) ( 6 pts) Again assume that
is finite of order
.
Find the number of nilpotent matrices in
.
Hint: If
is nilpotent, what is its Jordan normal form? You may use without proof
that
.
Problem 3
Let
,
the field obtained from
by adjoining
and
.
(a) (3 pts) Prove that
.
(b) ( 10 pts) Let
be the Galois closure of
over
,
that is,
is the minimal Galois extension of
which contains
.
Describe
explcitly in the form
,
determine
and describe the elements of the Galois group
by their actions on
.
(c) (5 pts) Prove that
.
Problem 4
Let
be a field. Let
be a finite-dimensional (possibly non-commutative)
-algebra
(with 1 ), and assume that
is a division ring.
(a) (5 pts) Prove that every
-subalgebra
of
is a division ring. Hint: Let
be a
-subalgebra
of
,
take any
,
and consider the map
given by
.
(b) ( 5 pts ) Assume that
is algebraically closed. Prove that
.
Problem 5
Let
be group. A subgroup
of
will be called essential if
for every non-trivial subgroup
of
.
(a) (2 pts) Let
be a prime and
.
Prove that the group
has a proper essential subgroup.
(b) ( 7 pts) Assume that
is an essential subgroup of
and
is an essential subgroup of
.
Prove that
is an essential subgroup of
.
(c) ( 6 pts) Let
be a finite abelian group. Prove that
does not have a proper essential subgroup if and only if
is a direct product of groups of prime order.
Problem 6
Let
denote the real numbers. The purpose of this problem is to show that the
ring
is not a UFD. For an element
we denote its image in
by
.
(a) ( 2 pts) Show that every element of
can be uniquely represented in the form
where
.
(b) ( 2 pts) Show that
has an automorphism
of order 2 such that
for each
and
.
(c) ( 3 pts) Use (a) and (b) to construct a function
such that
for all
.
(d) ( 6 pts) Use the function
from (c) to show that
is an irreducible element of
and that the only invertible elements of
are (images of) nonzero constant polynomials. Hint: It is essential that
you are working over
,
not over
.
(e) ( 4 pts ) Now show that
is not a UFD.
Problem 7
Recall that a ring
is called graded if
where each
is an additive subgroup and
for all
.
An element
is called homogeneous if
for some
.
An ideal
of
is called a graded ideal if
.
(a) ( 5 pts) Let
be a graded ring and
an ideal of
.
Prove that
is a graded ideal if and only if
is generated (as an ideal) by a set of homogeneous elements.
(b) ( 8 pts) Let
be a commutative ring with 1 and
.
Then
is naturally a graded ring where
.
Assume that there exists
such that every ideal of
can be generated by at most
elements.
Let
be a graded ideal of
.
Prove that
can be written as
where is an ideal of generated by at most elements and is a finitely generated -module. Hint: Adapt the proof of Hilbert’s basis theorem.