1. a) The eigenvalues of r(x), where r is a representation of G, are nth roots of unity. Hence the characters evaluated on x are sums of nth roots of unity.

b) Since chi(x) is a sum of roots of unity, it is an algebraic integer. Hence it is rational if and only if it is integral. If s is the automorphism sending the nth roots of unity to their jth powers, then note that s(chi(x)) = chi(x

c) The field generated by the chi(x) is the subfield of the field of nth roots of unity which is fixed by H, where H is the subgroup of (Z/nZ)

d) Let r be a non-trivial representation. Its kernel consists only of 1, since G has no non-trivial normal subgroup, so that M=r(x) is a matrix of order p. The fact that x is conjugate to x

e) If r is such a representation, it must map an element x of order p to a matrix M of order p, since any normal subgroup containing x contains SL

2. Most of you had no difficulties with a) and the first part of 2), but no one was able to do the second part. The idea here was to let G be a finite group and A and B be two subgroups with the property that the permutation represesentations on G/A and on G/B are isomorphic as linear representations, even though they are not isomorphic as permutation representations. (We saw some examples of this in the assignment, involving two types of parabolic subgroup of GL

3. People did fairly well on this question - this came as a pleasant surprise to me, since I thought it was the most difficult in the exam! The main difficulties seemed to occur with part c: most of the solutions were too computational, involving alot of calculations with 3 by 3 matrices. Here is a short conceptual solution. Using the formula of b, one can se that Sigma(C3,C7,C7') has cardinality 168, where C3 is the conjugacy class of elements of order 3 and C7 and C7' are the two conjugacy classes of elements of order 7. Let (x,y,z) be an element of Sigma(C3,C7,C7'). To see that the group H generated by x,y, and z is equal to G, note that 21 divides the order of H, and that this order cannot be 42, or 84, since G has no subgroup of index 4 or 2 (it can be seen by glancing at the character table of G, that G has no permutation representation of degree 4 or 2.) If H is of order 21, it has a unique Sylow 7-subgroup by the Sylow theorem, so that y and z must commute. But this is impossible, since yz is of order 3. Therefore, H must be equal to G. Now, it becomes immediate that G acts transitively on Sigma. For the stabilizer of (x,y,z) consists of elements which commute with x, y and z, and hence with all of G. But G has trivial center. It follows that the orbit of (x,y,z) has cardinality 168, and so is equal to all of Sigma(C3,C7,C7').

5. People seemed to have a surprising amount of difficultly with this question - surprising, because we covered something similar in the asigments. Here is a short solution. Let L be the splitting field of x

6. Many people found a counterexample here; it helped that something very close to this question was covered in an assigment. The standard counterexample was to take G-tilde = Z/4Z, H = 2Z/4Z, G= Z/2Z, and E=Q(i). A solution E-tilde to the embedding problem does not exist. If it did, the generator of gal(Q(i)/Q) would lift to an element of order 2 in gal(E-tilde/Q), induced by a complex conjugation in gal(E-tilde/Q) attached to a complex embedding of E-tilde. But the generator of G does not lift to an element of order 2 in G-tilde.