ATLAS: Hall–Janko group HJ = J2

Order = 604800 = 27.33.52.7.
Mult = 2.
Out = 2.

The following information is available for J2:


Standard generators

Standard generators of the Janko group J2 are a and b where a is in class 2B, b is in class 3B, ab has order 7 and ababb has order 12.
Standard generators of the double cover 2.J2 are preimages A and B where B has order 3, and AB has order 7.

Standard generators of the automorphism group J2:2 are c and d where c is in class 2C, d is in class 5AB and cd has order 14.
Standard generators of either group 2.J2.2 are preimages C and D where D has order 5.

A pair of generators conjugate to A, B can be obtained as
A' = (CDCDCDD)18, B' = (CDD)−3(CDCDCDD)16(CDD)3


Automorphisms

An outer automorphism of J2 maps (a, b) to (a, bb) = (a, b−1); an outer automorphism of 2.J2 maps (A, B) to (A−1, BB) = (A−1, B−1). This automorphism resides in class 2C.

Black box algorithms

Finding generators

To find standard generators for J2:

This algorithm is available in computer readable format: finder for J2.

To find standard generators for J2.2:

This algorithm is available in computer readable format: finder for J2.2.

Checking generators

To check that elements x and y of J2 are standard generators:

This algorithm is available in computer readable format: checker for J2.

To check that elements x and y of J2.2 are standard generators:

This algorithm is available in computer readable format: checker for J2.2.

Presentations

Presentations of J2 and J2:2 in terms of their standard generators are given below. [The second J2 presentation is shorter, and the former is better for coset enumeration.]

< a, b | a2 = b3 = (ab)7 = [a, b]12 = (ababab−1abab−1ab−1ababab−1ab−1abab−1)3 = 1 >.

< a, b | a2 = b3 = (ab)7 = [a, b]12 = (ababab−1abab−1)6 = 1 >.

< c, d | c2 = d5 = (cd)14 = [c, d]7 = (cdcdcd−2cd−2)3 = [c, dcd]3 = (cdcdcd2)3cd−1cdcdcd−1cd2 = 1 >.

The relation [c, dcd]3 = 1 is redundant. These presentations, and those of the covering groups, are available in Magma format as follows:
J2 on a and b [v1], J2 on a and b [v2], 2.J2 on A and B [v1], 2.J2 on A and B [v2], J2:2 on c and d, 2.J2.2 (+) on C and D and 2.J2:2 (−) on C and D.


Representations

The representations of J2 available are: The representations of 2.J2 available are: The representations of J2:2 available are: The representations of 2.J2.2 available are:

Maximal subgroups

The maximal subgroups of J2 are as follows. Words provided by Peter Walsh, implemented and checked by Ibrahim Suleiman. The maximal subgroups of J2:2 are:

Conjugacy classes

A set of generators for the maximal cyclic subgroups of J2 can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements.

A set of generators for the maximal cyclic subgroups of J2:2 can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements.


Main ATLAS page Go to main ATLAS (version 2.0) page.
Sporadic groups page Go to sporadic groups page.
Old J2 page Go to old J2 page - ATLAS version 1.
ftp access Anonymous ftp access is also available. See here for details.

Version 2.0 created on 20th June 2000.
Last updated 02.08.06 by JNB.
Information checked to Level 0 on 20.06.00 by RAW.
R.A.Wilson, R.A.Parker and J.N.Bray.