Janko group J2

History and properties

J₂ is one of the 26 Sporadic groups and is also called Hall–Janko–Wales group. In 1969 Zvonimir Janko predicted J₂ as one of two new simple groups having 2¹⁺⁴:A₅ as a centralizer of an involution (the other is the Janko group J3). It was constructed by Hall and Wales (1968) as a rank 3 permutation group on 100 points.

Both the Schur multiplier and the outer automorphism group have order 2.

J₂ is the only one of the 4 Janko groups that is a subquotient of the monster group; it is thus part of what Robert Griess calls the Happy Family. Since it is also found in the Conway group Co1, it is therefore part of the second generation of the Happy Family.

Representations

It is a subgroup of index two of the group of automorphisms of the Hall–Janko graph, leading to a permutation representation of degree 100. It is also a subgroup of index two of the group of automorphisms of the Hall–Janko Near Octagon, leading to a permutation representation of degree 315.

It has a modular representation of dimension six over the field of four elements; if in characteristic two we have w² + w + 1 = 0, then J₂ is generated by the two matrices

A = ( w 2 w 2 0 0 0 0 1 w 2 0 0 0 0 1 1 w 2 w 2 0 0 w 1 1 w 2 0 0 0 w 2 w 2 w 2 0 w w 2 1 w 2 0 w 2 0 )

and

B = ( w 1 w 2 1 w 2 w 2 w 1 w 1 1 w w w w 2 w 2 1 0 0 0 0 0 1 1 w 2 1 w 2 w 2 w w 2 w 2 1 w 2 w w 2 w ) .

These matrices satisfy the equations

A 2 = B 3 = ( A B ) 7 = ( A B A B B ) 12 = 1.

J₂ is thus a Hurwitz group, a finite homomorphic image of the (2,3,7) triangle group.

The matrix representation given above constitutes an embedding into Dickson's group G₂(4). There are two conjugacy classes of HJ in G₂(4), and they are equivalent under the automorphism on the field F₄. Their intersection (the "real" subgroup) is simple of order 6048. G₂(4) is in turn isomorphic to a subgroup of the Conway group Co₁.

Maximal subgroups

There are 9 conjugacy classes of maximal subgroups of J₂. Some are here described in terms of action on the Hall–Janko graph.

U₃(3) order 6048 – one-point stabilizer, with orbits of 36 and 63

Simple, containing 36 simple subgroups of order 168 and 63 involutions, all conjugate, each moving 80 points. A given involution is found in 12 168-subgroups, thus fixes them under conjugacy. Its centralizer has structure 4.S₄, which contains 6 additional involutions.

3.PGL(2,9) order 2160 – has a subquotient A₆

2¹⁺⁴:A₅ order 1920 – centralizer of involution moving 80 points

2²⁺⁴:(3 × S₃) order 1152

A₄ × A₅ order 720

Containing 2² × A₅ (order 240), centralizer of 3 involutions each moving 100 points

A₅ × D₁₀ order 600

PGL(2,7) order 336

5²:D₁₂ order 300

A₅ order 60

Conjugacy classes

The maximum order of any element is 15. As permutations, elements act on the 100 vertices of the Hall–Janko graph.