Algebra general exam. January 25 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
Let be a field. Let be an irreducible separable polynomial of degree , let be the Galois group of over , and assume that is abelian.
(a) ( 7 pts) Prove that if is any non-trivial element, then does not fix any of the roots of .
(b) ( 3 pts) Now assume that and is odd. Prove that all roots of must be real.
(c) ( 4 pts) Now let . Prove that there are infinitely many for which there exists as above with a non-real root and cyclic .
Problem 2
(12 pts) Classify conjugacy classes of matrices such that .
Problem 3
(12 pts) Let be a commutative ring with 1 , and assume that . Prove that has at least one minimal prime ideal. Make sure to include all the details. Hint: Use Zorn’s lemma "backwards".
Note: A prime ideal of is called a minimal prime ideal if has no prime ideals strictly contained in . In particular, the zero ideal is a minimal prime whenever it is prime.
Problem 4
( 12 pts) Let be a finite abelian group and let be a prime. Prove that the number of elements of order in is equal to the number of nontrivial homomorphisms from to .
Hint: Calculate both numbers separately.
Problem 5
Let
be an integer, let
and
.
(a) ( 6 pts ) Prove that the centralizer of
in
is equal to
.
(b) ( 7 pts) Now assume that
is prime, and let
be the normalizer of
in
.
Prove that
.
Problem 6
In both parts of this problem, is a commutative ring with 1 , assume that , and is a flat -module, that is, assume that
Whenever we have an injective homomorphism
of
-modules,
the induced map
is also injective.
(1) ( 4 pts) Assume that
is a domain. Prove that
must be torsionfree.
(2) ( 8 pts) Now let
be arbitrary. Prove that the following are equivalent:
(a) for every nonzero
-module
we have
(b) for every maximal ideal
of
we have
.
Note: You may use without proof standard isomorphisms of the form where is an ideal of .
Problem 7
(13 pts) Recall that a field is called perfect if either has characteristic zero or has characteristic and every element of is equal to for some . Prove that admits a finite inseparable extension if and only if is not perfect.
Problem 8
(12 pts) Let be a prime and . Describe the multiplicative group as a direct product of cyclic groups.
Note: Your answer can (and should) involve cases, but should be expressed explicitly in terms of .