The Janko group ,
also known as the Hall-Janko group HJ, is one of the four Janko
groups. It is a sporadic group and simple
group of group order
(Conway et al. 1985).
The group
acts on the Hall-Janko graph and the Hall-Janko
near octagon. In each case, its action realizes it as a subgroup
of the full automorphism group (Hall and Wales
1968, Brouwer et al. 1989). The full groups are both denoted
and have group order
(DistanceRegular.org). Thus
, of group
order
,
has index 2 in each full group.
The group is implemented in the Wolfram Language as JankoGroupJ2[].