Preliminary Examination in Algebra

Department of Mathematics & Statistics

August, 2005

Directions: There are 8 questions, all of the same weight. Please take the time to ensure accuracy and completeness, especially for the questions you find easiest. (Completeness does not mean excessive verbosity. You should not attempt to prove standard propositions that you cite except where the proof of a standard proposition is explicitly sought.)

The ring of integers will be denoted by Z and its field of fractions by Q.

  1. Prove that a non-abelian group of order 2p, p an odd prime, must have a trivial center.

  2. When F is a field, let GL_{n}(F) denote the group of all invertible n \times n matrices in F under the operation of matrix multiplication, and let SL_{n}(F) denote its subgroup defined by restricting to matrices of determinant 1. Find a subgroup H of GL_{n}(F) such that GL_{n}(F) is isomorphic to the semi-direct product of H with SL_{n}(F).

  3. Prove that the number of elements in any finite field must be a prime power.

  4. Let Z/mZ denote the ring of integers modulo m. Let r,s be positive integers.

    1. What element of Z generates the ideal rZ + sZ?

    2. What is the kernel of the canonical ring homomorphism Z/rsZ ----> Z/rZ \times Z/sZ?

    3. Find an integer t such that Z/rZ \otimes Z/sZ ~= Z/tZ.

  5. Let M be a 3 \times 3 matrix over the rational field Q whose characteristic polynomial is

     t^{3} + 2t^{2} - 4t - 8    . 

    Find:

    1. all possible sequences of (polynomial) invariant factors for M.

    2. representatives of the different possible similarity classes of such matrices M.

  6. For any integer n >= 3 let D_{n} denote the nth dihedral group, i.e., the group of order 2n that is the semi-direct product of the cylic group Z/nZ with Z/2Z for the unique non-trivial action (by automorphisms) of the latter on the former, or, equivalently, the group of symmetries of a regular n-gon.

    1. Describe D_{n} by generators and relations.

    2. Show that every automorphism of the dihedral group D_{3} is inner, i.e., is the conjugation by some element of D_{3}.

    3. Show that for any n odd, n >= 5, the dihedral group D_{n} has an automorphism that is not inner.

  7. For any integer n > 1, explain how to find a field K and a polynomial f(x)\in K [x] of degree n so that L = K [x]/(f(x)) is a Galois field extension of K with cyclic Galois group of order n.

  8. Let F_{p} denote the field Z/pZ of p elements. In M_{n}(F_{p}), the ring of n \times n matrices with entries in F_{p}, let N be the n \times n Jordan block matrix with 1's on the first superdiagonal (and 0's everywhere else including the main diagonal). Let F_{p} [N] be the F_{p}-algebra of polynomials with coefficients in F_{p} evaluated at N, let U be the group of units in F_{p} [N] .

    1. Describe the elements of U.

    2. Find the exponent of U when p > n.

    3. Describe the isomorphism type of U as a finite abelian group when p > n.