Solution
ID: past-exam-of-the-algebra-course-of-the-university-of-oxford/2011/5/solution
The class equation implies that a nontrivial finite -group has nontrivial center of a group. Here a center of order would make cyclic; a group with cyclic quotient by its center of a group is abelian, contradicting the hypothesis. ThusThe quotient of order nine must be noncyclic for the same reason. For , has order at least nine and lies in the proper centralizer . Lagrange's theorem therefore forces . Also , so and all commutators are central of order dividing three.
Classification and splitting. First suppose has order nine. Then is normal of index three and . For , conjugation on is nontrivial, since otherwise would generate an abelian group. Its order divides three, so, after replacing by its inverse if needed, . Write . Central commutators and give ; choose modulo three to obtain an element of order three outside . This provesThere is a unique resulting isomorphism type, since the two nontrivial actions of order three are interchanged by reversing the complement's generator.
If there is no element of order nine, every nonidentity element has order three. Choose whose images form a basis of and put . These elements generate , and generates . The subgroup has index three and is normal. The line meets trivially and complements it. Conjugation by fixes and sends to or ; choosing the central generator removes this sign. Thus there is one isomorphism type,with the nontrivial unipotent action on . These presentations are realized by the indicated semidirect products and have order 27. Their exponents are nine and three respectively, so they are not isomorphic. This proves both existence and completeness of the two cases.
Their ordinary character tables are the same, up to relabelling. In either group each of the 24 noncentral elements has conjugacy class of size three, giving eight noncentral classes and three central singleton classes. Each noncentral class is , since conjugates of differ from by central commutators and its class has size three. There are nine linear characters, arising from , and eleven irreducible characters altogether. The two remaining degrees satisfy , so both are three.
Put and . Label the noncentral classes by nonzero . For the nine linear characters have valuesAt a noncentral element, column orthogonality gives a squared column norm of nine. The nine linear characters already contribute nine, so both degree-three characters vanish there. By the Schur lemma, a central element has value in an irreducible representation of degree three. The central character cannot be trivial, since that would factor the representation through the abelian quotient. Orthogonality of the identity and columns then forces the two nontrivial central characters to occur once each. The final two rows, on and the eight other columns, areThis description gives the same entire character table in both cases. The differing element orders are additional power-map data, which an ordinary character table need not determine.
New to topics? Read the docs here!