Algebra general exam. January 9, 2013, 9am -1pm
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 a prime and let
denote the symmetric group on
elements.
(a) ( 2 pts) Find the order of a
-Sylow
subgroup of
.
(b) ( 5 pts) Describe explicitly a
-Sylow
subgroup of
(providing a generating set counts as explicit description, but make
sure to prove that your subgroup is indeed
-Sylow).
(c) ( 2 pts) Consider the set of elements of order
in
- clearly, it is a union of conjugacy classes. How many conjugacy
classes does it consist of?
(d) ( 5 pts) Now consider the set of elements of order
in the alternating group
.
How many conjugacy classes (of
) does it consist of? Make sure to justify your answer.
Hint: Distinguish between the cases
and
.
Problem 2
In both parts of this problem
is a commutative domain with 1 and
is the field of fractions of
.
(a) ( 5 pts) Let
,
the ring of polynomials over
in one variable. Let
be a monic polynomial with coefficients in
,
and suppose that
for some
.
Prove that
.
(b) (4 pts) Now let
.
Find a monic polynomial
which has a root in
,
but has no root in
(and prove that
has required properties). Hint: There actually exists a quadratic
polynomial with integer coefficients with required property.
Problem 3
(6 pts) Let be a field, a positive integer, and an infinite sequence of polynomials in . Given a positive integer , let be the set of all -tuples satisfying the following system of equations:
Prove that there exists an integer such that the set is empty for all . Hint: Noetherian rings.
Problem 4
Let
be a prime,
a finite field of order
,
and let
be a fixed algebraic closure of
.
For
,
denote by
the unique subfield of order
inside
.
(a) ( 3 pts) Prove that
is a subfield if and only if
divides
or
divides
.
(b) ( 4 pts ) For a subset
of
,
let
Give an example (with proof) of an infinite set for which is a subfield and .
Problem 5
Let
and consider the field
.
(a) (2 pts) Prove that
.
(b) ( 2 pts) Prove that
is a Galois extension.
(c) ( 3 pts) Let
be any finite Galois extension. Prove that an element
is primitive for
(that is,
) if and only if
for any
.
(d) (4 pts) Now prove that
is a primitive element for
.
(e) ( 3 pts) Let
be the minimal polynomial of
over
.
Prove that
without actually computing the minimal polynomial.
Problem 6
Let
be an algebraically closed field and
an
matrix over
for some
.
(a) ( 6 pts) Prove that there exist a diagonalizable matrix
and a nilpotent matrix
(that is,
for some
) such that
and
and
commute, that is,
.
(b) ( 4 pts) Assume that
itself is diagonalizable. Prove that if
and
satisfy the conditions of part (a), then
(and hence
). Hint: You may use the following fact without proof: if two
diagonalizable matrices
and
commute, then they are simultaneously diagonalizable, that is, there
exists an invertible matrix
such that
and
are both diagonal.