Algebra general exam. August 17 2021, 9am -1pm
Your UVa ID Number:
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.
Sign below the pledge:
"On my honor, I pledge that I have neither given nor received help on
this assignment."
Problem 1
(12 pts) Let and let be the matrix given by for , that is,
Compute
(a) The characteristic polynomial of
(b) The minimal polynomial of
(c) The Jordan canonical form of
(d) The rational canonical form of
Problem 2
Given a group
,
denote by
its group of automorphisms.
(a) ( 7 pts) Let
where
.
Show that
is non-abelian by explicitly constructing two noncommuting
automorphisms. Hint: It may be helpful to start with the case
.
(b) ( 8 pts) Let
be a finite abelian group. Show that
is abelian
is cyclic. Hint: Use (a). Remember that you are allowed to do this even
if you did not solve (a).
Problem 3
(a) ( 8 pts) Let
be a prime and
a group or order
.
Prove that any two elements
of
which are conjugate in
commute (that is,
.
Hint: Prove that any element
of
is contained in some abelian normal subgroup of
(which depends on
).
(b) ( 7 pts ) Give, with arguments, an example of a group
of order 16 and two elements
of
which are conjugate in
but do not commute.
Problem 4
( 14 pts ) Let be a (commutative) UFD (with 1 ), let , and assume that is non-unit and nonzero. Let (you can think of as the ring of fractions of with the set of denominators or as the subring of the field of fractions generated by and . Prove that
(Here is the multiplicative group of ). Give a detailed argument.
Problem 5
Let
be a commutative ring with 1 and let
and
be finitely generated
-modules.
(a) ( 5 pts) Prove that
is finitely generated.
(b) ( 9 pts) Assume in addition that
is Noetherian. Prove that
is Noetherian. Note: You can use standard properties of Noetherian
modules (unless they are equivalent or almost equivalent to the
statement of (b)), but state clearly what you are using.
Problem 6
Consider
where
.
Let
be the splitting field of
over
.
(a) ( 5 pts) Show that
is irreducible
(b) ( 4 pts) Show that
(c) ( 7 pts) Determine the isomorphism class of the Galois group
(your answer should be of the form
where
is a familiar group).
Problem 7
(a) ( 7 pts) Let
,
let
be an algebraically closed field either of characteristic 0 or of
characteristic
where
does not divide
.
Prove that
contains a primitive
root of unity.
(b) ( 7 pts) According to (a)
(the algebraic closure of a field with 3 elements) contains a primitive
root of unity, call it
.
Compute
(with proof).