Prove from the definition along that there are no nonabelian groups of order less than .
Problem 2
Let denote the alternating group on a -element set . The set of automorphisms of form a group, denoted . The group of conjugations of , denoted , is the subgroup of consisting of automorphisms of the form where . Explicitly, for any . (a) Prove that the function , taking to , is a surjective homomorphism. (b) Prove that is isomorphic to .
Problem 3
Let be the ring of polynomials with integer coefficients, and let be the kernel of the "evaluation at " homomorphism
(a) Characterize as a set. (b) Determine whether is a maximal ideal. Fully justify your conclusion. (c) Determine whether is a principal ideal. Justify by either exhibiting a generator or proving that there isn't one.
Problem 4
Let .
(a) Determine whether is diagonalizable, and if so, give its diagonal form along with a diagonalizing matrix. (b) Compute . Remember to show all work.
Problem 5
Let denote the field of nine elements. (a) Show that each nonzero is a root of . (b) Use the Pigeonhole Principle to prove that has an element of multiplicative order 8. (Include a proof that the Pigeonhole Principle applies.)