ATLAS: Janko group J4

Order = 86775571046077562880 =
Mult = 1.
Out = 1.

The following information is available for J4:

Standard generators

Type I standard generators of the Janko group J4 are a and b where a is in class 2A, b is in class 4A, ab has order 37 and ababb has order 10.

Type II standard generators of the Janko group J4 are x, y and t where x has order 2 (necessarily class 2B), y has order 3, t has order 2 (necessarily class 2A), (x, y) is a pair of [Type I] standard generators of M24, [t, x] has order 1 and [t, yxyxy2xy2xyxyxy] has order 1.
(Alternatively, x, y and t are non-trivial elements of J4 satisfying the presentation given below.)

We convert from Type I to Type II standard generators by applying this program, which also has a Magma version.

Black box algorithms

Finding generators

To find Type I standard generators for J4:

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

To find Type II standard generators for J4, first find Type I standard generators, and then apply the given word program.

Checking generators

To check that elements x and y of J4 are Type I standard generators:

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


A presentation of J4 on its Type II standard generators is given below:

< x, y, t | x2 = y3 = (xy)23 = [x, y]12 = [x, yxy]5 = (xyxyxy-1)3(xyxy-1xy-1)3 = (xy(xyxy-1)3)4 = t2 = [t, x] = [t, yxy(xy-1)2(xy)3] = (ytyxy-1xyxy-1x)3 = ((yxyxyxy)3tt(xy)3y(xy)6y)2 = 1 >.

This presentation is available in Magma format as follows: J4 on x, y and t.


The representations of J4 available are:

Maximal subgroups

The maximal subgroups of J4 are:

Conjugacy class representatives

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

Additional information

Here we may add additional information which does not necessarily fit into the above categories. It may not have been checked to the same standard as other information.

A subgroup U3(11) has standard generators a, (abababbabb)-8(abb)4(abababbabb)8.
A subgroup L5(2) is generated by b-1ab, (abbb)-2(abababb)8(abbb)2.
A subgroup L2(32) is generated by (ab)-9(ababb)5(ab)9, (abbb)8(abababb)8(abbb)-8.

Checks applied

CheckDateBy whomRemarks
Links work (except representations)27.02.01JNB Except to L2(23) and L2(32)
— but they now (21/5/03) do work.
Links to (meataxe) representations work and have right degree and field24.01.01RAW
All info from v1 is included24.01.01RAW
HTML page standard
Word program syntax24.01.01RAW
Word programs applied
All necessary standard generators are defined24.01.01RAW
All representations are in standard generators

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

Version 2.0 created on 14th April 1999.
Last updated 17.05.06 by JNB.
Information checked to Level 1 on 22.04.99 by JNB.
R.A.Wilson, R.A.Parker and J.N.Bray.