Element structure of groups of order 243

Correspondence between degrees of irreducible representations and conjugacy class sizes
See also linear representation theory of groups of order 243.

For groups of order 243, it is true that the list of conjugacy class sizes completely determines the list of degrees of irreducible representations, though the converse does not hold, i.e., the degrees of irreducible representations need not determine the conjugacy class sizes. The details are given below. The middle column, which is the total number of each, separates the description of the list of conjugacy class sizes and the list of degrees of irreducible representations:

Note that there are two possibilities for the conjugacy class size statistics corresponding to the degrees of irreducible representations with 9 of degree 1 and 26 of degree 3.

Facts illustrated by these listings

 * Degrees of irreducible representations need not determine conjugacy class size statistics
 * Nilpotency class and order need not determine conjugacy class size statistics for groups of prime-fifth order
 * Number of conjugacy classes need not determine conjugacy class size statistics for groups of prime-fifth order
 * Conjugacy class size statistics need not determine nilpotency class for groups of prime-fifth order

Pairs where one of the groups is abelian
Of the 67 groups of order 243, 7 are abelian, 28 have nilpotency class exactly two, 26 have nilpotency class exactly three, and 6 have nilpotency class exactly four (i.e., they are maximal class groups). All the groups of nilpotency class exactly two are 1-isomorphic to abelian groups by means of the Baer correspondence. There are 10 other examples arising from class three examples. Of these, four are explained partially. Here is summary information:

Below are the details:

Grouping by abelian member
Below are listed, for each abelian group of order 243, the list of all groups of order 243 that are 1-isomorphic to it:

Order statistics raw data
Here are the order statistics (non-cumulative version):

Here is the GAP code to generate these order statistics:

List([1..67],i ->[OrderStatistics(SmallGroup(243,i)),i]);

after first defining the OrderStatistics function (follow link for GAP code for function definition). The output is:

[ [ [ 1, 2, 6, 18, 54, 162 ], 1 ], [ [ 1, 26, 216, 0, 0, 0 ], 2 ], [ [ 1, 134, 108, 0, 0, 0 ], 3 ], [ [ 1, 80, 162, 0, 0, 0 ], 4 ], [ [ 1, 26, 216, 0, 0, 0 ], 5 ], [ [ 1, 80, 162, 0, 0, 0 ], 6 ], [ [ 1, 26, 216, 0, 0, 0 ], 7 ], [ [ 1, 26, 216, 0, 0, 0 ], 8 ],  [ [ 1, 26, 216, 0, 0, 0 ], 9 ], [ [ 1, 8, 72, 162, 0, 0 ], 10 ], [ [ 1, 8, 72, 162, 0, 0 ], 11 ], [ [ 1, 26, 54, 162, 0, 0 ], 12 ],  [ [ 1, 80, 162, 0, 0, 0 ], 13 ], [ [ 1, 26, 216, 0, 0, 0 ], 14 ], [ [ 1, 26, 216, 0, 0, 0 ], 15 ], [ [ 1, 26, 54, 162, 0, 0 ], 16 ],  [ [ 1, 80, 162, 0, 0, 0 ], 17 ], [ [ 1, 26, 216, 0, 0, 0 ], 18 ], [ [ 1, 26, 54, 162, 0, 0 ], 19 ], [ [ 1, 26, 54, 162, 0, 0 ], 20 ],  [ [ 1, 8, 72, 162, 0, 0 ], 21 ], [ [ 1, 8, 72, 162, 0, 0 ], 22 ], [ [ 1, 8, 18, 54, 162, 0 ], 23 ], [ [ 1, 8, 18, 54, 162, 0 ], 24 ],  [ [ 1, 62, 180, 0, 0, 0 ], 25 ], [ [ 1, 170, 72, 0, 0, 0 ], 26 ], [ [ 1, 8, 234, 0, 0, 0 ], 27 ], [ [ 1, 116, 126, 0, 0, 0 ], 28 ],  [ [ 1, 8, 234, 0, 0, 0 ], 29 ], [ [ 1, 62, 180, 0, 0, 0 ], 30 ], [ [ 1, 26, 216, 0, 0, 0 ], 31 ], [ [ 1, 80, 162, 0, 0, 0 ], 32 ],  [ [ 1, 26, 216, 0, 0, 0 ], 33 ], [ [ 1, 26, 216, 0, 0, 0 ], 34 ], [ [ 1, 80, 162, 0, 0, 0 ], 35 ], [ [ 1, 26, 216, 0, 0, 0 ], 36 ],  [ [ 1, 242, 0, 0, 0, 0 ], 37 ], [ [ 1, 80, 162, 0, 0, 0 ], 38 ], [ [ 1, 80, 162, 0, 0, 0 ], 39 ], [ [ 1, 80, 162, 0, 0, 0 ], 40 ],  [ [ 1, 26, 216, 0, 0, 0 ], 41 ], [ [ 1, 26, 216, 0, 0, 0 ], 42 ], [ [ 1, 26, 216, 0, 0, 0 ], 43 ], [ [ 1, 26, 216, 0, 0, 0 ], 44 ],  [ [ 1, 26, 216, 0, 0, 0 ], 45 ], [ [ 1, 26, 216, 0, 0, 0 ], 46 ], [ [ 1, 26, 216, 0, 0, 0 ], 47 ], [ [ 1, 26, 54, 162, 0, 0 ], 48 ],  [ [ 1, 26, 54, 162, 0, 0 ], 49 ], [ [ 1, 26, 54, 162, 0, 0 ], 50 ], [ [ 1, 134, 108, 0, 0, 0 ], 51 ], [ [ 1, 80, 162, 0, 0, 0 ], 52 ],  [ [ 1, 188, 54, 0, 0, 0 ], 53 ], [ [ 1, 26, 216, 0, 0, 0 ], 54 ], [ [ 1, 80, 162, 0, 0, 0 ], 55 ], [ [ 1, 134, 108, 0, 0, 0 ], 56 ],  [ [ 1, 80, 162, 0, 0, 0 ], 57 ], [ [ 1, 188, 54, 0, 0, 0 ], 58 ], [ [ 1, 26, 216, 0, 0, 0 ], 59 ], [ [ 1, 80, 162, 0, 0, 0 ], 60 ],  [ [ 1, 80, 162, 0, 0, 0 ], 61 ], [ [ 1, 242, 0, 0, 0, 0 ], 62 ], [ [ 1, 80, 162, 0, 0, 0 ], 63 ], [ [ 1, 80, 162, 0, 0, 0 ], 64 ],  [ [ 1, 242, 0, 0, 0, 0 ], 65 ], [ [ 1, 80, 162, 0, 0, 0 ], 66 ], [ [ 1, 242, 0, 0, 0, 0 ], 67 ] ]

Here are the order statistics (cumulative version):

Here is the GAP code to generate these order statistics:

List([1..67],i ->[OrderStatisticsCumulative(SmallGroup(243,i)),i]);

after first defining the OrderStatisticsCumulative function (follow link for GAP code for function definition). The output is:

[ [ [ 1, 3, 9, 27, 81, 243 ], 1 ], [ [ 1, 27, 243, 243, 243, 243 ], 2 ], [ [ 1, 135, 243, 243, 243, 243 ], 3 ], [ [ 1, 81, 243, 243, 243, 243 ], 4 ], [ [ 1, 27, 243, 243, 243, 243 ], 5 ], [ [ 1, 81, 243, 243, 243, 243 ], 6 ], [ [ 1, 27, 243, 243, 243, 243 ], 7 ], [ [ 1, 27, 243, 243, 243, 243 ], 8 ],  [ [ 1, 27, 243, 243, 243, 243 ], 9 ], [ [ 1, 9, 81, 243, 243, 243 ], 10 ], [ [ 1, 9, 81, 243, 243, 243 ], 11 ], [ [ 1, 27, 81, 243, 243, 243 ], 12 ],  [ [ 1, 81, 243, 243, 243, 243 ], 13 ], [ [ 1, 27, 243, 243, 243, 243 ], 14 ], [ [ 1, 27, 243, 243, 243, 243 ], 15 ],  [ [ 1, 27, 81, 243, 243, 243 ], 16 ], [ [ 1, 81, 243, 243, 243, 243 ], 17 ], [ [ 1, 27, 243, 243, 243, 243 ], 18 ], [ [ 1, 27, 81, 243, 243, 243 ], 19 ]   , [ [ 1, 27, 81, 243, 243, 243 ], 20 ], [ [ 1, 9, 81, 243, 243, 243 ], 21 ], [ [ 1, 9, 81, 243, 243, 243 ], 22 ], [ [ 1, 9, 27, 81, 243, 243 ], 23 ],  [ [ 1, 9, 27, 81, 243, 243 ], 24 ], [ [ 1, 63, 243, 243, 243, 243 ], 25 ], [ [ 1, 171, 243, 243, 243, 243 ], 26 ], [ [ 1, 9, 243, 243, 243, 243 ], 27 ],  [ [ 1, 117, 243, 243, 243, 243 ], 28 ], [ [ 1, 9, 243, 243, 243, 243 ], 29 ], [ [ 1, 63, 243, 243, 243, 243 ], 30 ],  [ [ 1, 27, 243, 243, 243, 243 ], 31 ], [ [ 1, 81, 243, 243, 243, 243 ], 32 ], [ [ 1, 27, 243, 243, 243, 243 ], 33 ],  [ [ 1, 27, 243, 243, 243, 243 ], 34 ], [ [ 1, 81, 243, 243, 243, 243 ], 35 ], [ [ 1, 27, 243, 243, 243, 243 ], 36 ],  [ [ 1, 243, 243, 243, 243, 243 ], 37 ], [ [ 1, 81, 243, 243, 243, 243 ], 38 ], [ [ 1, 81, 243, 243, 243, 243 ], 39 ],  [ [ 1, 81, 243, 243, 243, 243 ], 40 ], [ [ 1, 27, 243, 243, 243, 243 ], 41 ], [ [ 1, 27, 243, 243, 243, 243 ], 42 ],  [ [ 1, 27, 243, 243, 243, 243 ], 43 ], [ [ 1, 27, 243, 243, 243, 243 ], 44 ], [ [ 1, 27, 243, 243, 243, 243 ], 45 ],  [ [ 1, 27, 243, 243, 243, 243 ], 46 ], [ [ 1, 27, 243, 243, 243, 243 ], 47 ], [ [ 1, 27, 81, 243, 243, 243 ], 48 ], [ [ 1, 27, 81, 243, 243, 243 ], 49 ]    , [ [ 1, 27, 81, 243, 243, 243 ], 50 ], [ [ 1, 135, 243, 243, 243, 243 ], 51 ], [ [ 1, 81, 243, 243, 243, 243 ], 52 ],  [ [ 1, 189, 243, 243, 243, 243 ], 53 ], [ [ 1, 27, 243, 243, 243, 243 ], 54 ], [ [ 1, 81, 243, 243, 243, 243 ], 55 ],  [ [ 1, 135, 243, 243, 243, 243 ], 56 ], [ [ 1, 81, 243, 243, 243, 243 ], 57 ], [ [ 1, 189, 243, 243, 243, 243 ], 58 ],  [ [ 1, 27, 243, 243, 243, 243 ], 59 ], [ [ 1, 81, 243, 243, 243, 243 ], 60 ], [ [ 1, 81, 243, 243, 243, 243 ], 61 ],  [ [ 1, 243, 243, 243, 243, 243 ], 62 ], [ [ 1, 81, 243, 243, 243, 243 ], 63 ], [ [ 1, 81, 243, 243, 243, 243 ], 64 ],  [ [ 1, 243, 243, 243, 243, 243 ], 65 ], [ [ 1, 81, 243, 243, 243, 243 ], 66 ], [ [ 1, 243, 243, 243, 243, 243 ], 67 ] ]