Let be a finite normal subgroup of . Prove there is a normal subgroup of such that is finite and for all and .
Hint: You may use the fact that the centralizer is a subgroup of .)
Problem 2
Let denote the symmetric group.
(a) Give an example of two non-conjugate elements of that have the same order.
(b) If has maximal order, what is the order of ?
(c) Does the element that you found in part (b) lie in ? Fully justify your answer.
(d) Determine whether the set is a single conjugacy class in , where is the element you found in part (b).
Problem 3
Let be a commutative ring with . Use theorems in ring theory to prove:
(a) is a prime ideal in if and only if is an integral domain.
(b) is a maximal ideal in if and only if is a field.
Problem 4
Let be a commutative ring with , and be a ring automorphism.
(a) Show that is a subring of (with ).
(b) Show that if is the identity map on , then each element of is the root of a monic polynomial of degree 2 in , where is as in (a).
Problem 5
Let .
(a) Compute the characteristic polynomial of . It has integer roots.
(b) For each eigenvalue of , find a basis for the eigenspace .
(c) Determine if is diagonalizable. If so, give matrices and such that and is diagonal. If no, explain carefully why is not diagonalizable.