Talk:Hall–Janko group

From Wikipedia, the free encyclopedia

[edit] Involutions

The Hall-Janko group has 2 conjugacy classes of involutions. I want to find out how many points each moves. Then I will mention that in reference to the centralizers of involutions. So in the list of maximal subgroups there will soon be more than one reference to the Hall-Janko graph. Scott Tillinghast, Houston TX (talk) 04:24, 5 April 2008 (UTC)

In one class, each involution moves 80 points. In the other class, each involution moves 100 points. The 80 pointer has the centralizer of type 2^(4+1).A5, where the 2-group is extraspecial of order 2^5 and of quaternion type. The 100 pointer has the centralizer of type 2^2.A5, where the 2-group is elementary abelian.

Thanks for specifying the maximal subgroups and correcting/clarifying whether J2 contains A6 as a subgroup (it does not, but 3.PGL(2,9) contains the triple cover 3.A6 as an index 2 subgroup, and so J2 contains A6 as a nice subquotient). JackSchmidt (talk) 04:43, 5 April 2008 (UTC)

Thank you.

There are a few other matters I would like to include.

The simple group U₃(3) of order 6048 has orbits of 36 and 63 in J2. It permutes 36 simple subgroups of order 168. There are 2 conjugacy classes of 63 maximal subgroups of order 96, non-isomorphic. There are 63 involutions, all conjugate; in J2 they would have to move 80 points. Also U₃(3) acts on rays of a projective space over field F₉ in orbits of 28 and 63. So I would like to identify the right objects with the 63 vertices of the Hall-Janko graph.

It looks likely that there are multiple conjugate sets of A₅. Maybe with different involutions, 3-elements, etc. Scott Tillinghast, Houston TX (talk) 06:29, 5 April 2008 (UTC)

My error: I looked at some old files I had made on G6048 and found that the centralizer of an involution IS the stabilizer of one ray of the 63. Consider, for example the subgroup of matrices having zero in the top row and left column except at top left corner. These commute with the diagonal matrix with diagonal 1,-1,-1 and also fix the ray (x,0,0). This group has order 96. Scott Tillinghast, Houston TX (talk) 21:06, 7 April 2008 (UTC)

The other maximal subgroup of G6048 of order 96 has structure 4²:S₃ and contains at least 9 involutions: 3 permutation matrices, 3 diagonal matrices, and 3 products of these. Scott Tillinghast, Houston TX (talk) 20:27, 9 April 2008 (UTC)