ATLAS: Janko group J1

Order = 175560 =
Mult = 1.
Out = 1.

The following information is available for J1:

Standard generators

Standard generators of the Janko group J1 are a and b where a has order 2, b has order 3, ab has order 7 and ababb has order 19.

Black box algorithms

To find standard generators for J1: Alternatively, we can use:


A presentation for J1 in terms of its standard generators is given below.

< a, b | a2 = b3 = (ab)7 = (ab(abab-1)3)5 = (ab(abab-1)6abab(ab-1)2)2 = 1 >.


The representations of J1 available are as follows. Choose from
permutation representations and matrix representations in characteristic 2, 3, 5, 7, 11 or 19. They should be in the Atlas order, defined by the conjugacy class representatives: ababb in 19A, and either abababbababb in 15B, or ababababbababbabb in 10B (these last two statements are equivalent). Source: Janko's original 7 × 7 matrices over GF(11), from which most of the given representations can be derived with the Meat-axe. Some of this work has been done by Peter Walsh in his Ph.D. thesis (Birmingham, 1996), with details given in his M.Phil. thesis (Birmingham, 1994). The matrix representations were mostly made by uncondensing them out of condensed permutation representations.

Maximal subgroups

The maximal subgroups of J1 are as follows. Some words provided by Peter Walsh.

Conjugacy classes

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. Notation for algebraically conjugate elements is consistent with the Atlas of Brauer Characters.
- Return to main ATLAS page.

Last updated 18th March 1998,
R.A.Wilson, R.A.Parker and J.N.Bray