Janko group J2

Last updated

In the area of modern algebra known as group theory, the Janko groupJ2 or the Hall-Janko groupHJ is a sporadic simple group of order

Contents

   27 ·33 ·52 ·7 = 604800
≈ 6×105.

History and properties

J2 is one of the 26 Sporadic groups and is also called Hall–Janko–Wales group. In 1969 Zvonimir Janko predicted J2 as one of two new simple groups having 21+4:A5 as a centralizer of an involution (the other is the Janko group J3). It was constructed by MarshallHall andDavid Wales ( 1968 ) as a rank 3 permutation group on 100 points.

Both the Schur multiplier and the outer automorphism group have order 2. As a permutation group on 100 points J2 has involutions moving all 100 points and involutions moving just 80 points. The former involutions are products of 25 double transportions, an odd number, and hence lift to 4-elements in the double cover 2.A100. The double cover 2.J2 occurs as a subgroup of the Conway group Co0.

J2 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, [1] 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 w2 + w + 1 = 0, then J2 is generated by the two matrices

and

These matrices satisfy the equations

(Note that matrix multiplication on a finite field of order 4 is defined slightly differently from ordinary matrix multiplication. See Finite field § Field with four elements for the specific addition and multiplication tables, with w the same as a and w2 the same as 1 + a.)

J2 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 G2(4). There is only one conjugacy class of J2 in G2(4). Every subgroup J2 contained in G2(4) extends to a subgroup J2:2 = Aut(J2) in G2(4):2 = Aut(G2(4)) (G2(4) extended by the field automorphisms of F4). G2(4) is in turn isomorphic to a subgroup of the Conway group Co1.

Maximal subgroups

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

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.S4, which contains 6 additional involutions.
Containing 22 × A5 (order 240), centralizer of 3 involutions each moving 100 points

Conjugacy classes

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

OrderNo. elementsCycle structure and conjugacy
1 = 11 = 11 class
2 = 2315 = 32 · 5 · 7240, 1 class
2520 = 23 · 32 · 5 · 7250, 1 class
3 = 3560 = 24 · 5 · 7330, 1 class
16800 = 25 · 3 · 52 · 7332, 1 class
4 = 226300 = 22 · 32 · 52 · 726420, 1 class
5 = 54032 = 26 · 32 · 7520, 2 classes, power equivalent
24192 = 27 · 33 · 7520, 2 classes, power equivalent
6 = 2 · 325200 = 24 · 32 · 52 · 72436612, 1 class
50400 = 25 · 32 · 52 · 722616, 1 class
7 = 786400 = 27 · 33 · 52714, 1 class
8 = 2375600 = 24 · 33 · 52 · 72343810, 1 class
10 = 2 · 560480 = 26 · 33 · 5 · 71010, 2 classes, power equivalent
120960 = 27 · 33 · 5 · 754108, 2 classes, power equivalent
12 = 22 · 350400 = 25 · 32 · 52 · 7324262126, 1 class
15 = 3 · 580640 = 28 · 32 · 5 · 752156, 2 classes, power equivalent

Related Research Articles

<span class="mw-page-title-main">Symmetric group</span> Type of group in abstract algebra

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .

<span class="mw-page-title-main">Monster group</span> Sporadic simple group

In the area of abstract algebra known as group theory, the monster group M (also known as the Fischer–Griess monster, or the friendly giant) is the largest sporadic simple group, having order
   808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
   = 246 · 320 · 59 · 76 · 112 · 133 · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71
   ≈ 8×1053.

<span class="mw-page-title-main">Conway group</span>

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co1, Co2 and Co3 along with the related finite group Co0 introduced by (Conway 1968, 1969).

<span class="mw-page-title-main">Suzuki sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Suzuki groupSuz or Sz is a sporadic simple group of order

<span class="mw-page-title-main">Higman–Sims group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Higman–Sims group HS is a sporadic simple group of order

<span class="mw-page-title-main">Lyons group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Lyons groupLy or Lyons-Sims groupLyS is a sporadic simple group of order

<span class="mw-page-title-main">Held group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Held groupHe is a sporadic simple group of order

<span class="mw-page-title-main">O'Nan group</span> Sporadic simple group

In the area of abstract algebra known as group theory, the O'Nan groupO'N or O'Nan–Sims group is a sporadic simple group of order

<span class="mw-page-title-main">Rudvalis group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Rudvalis groupRu is a sporadic simple group of order

<span class="mw-page-title-main">Harada–Norton group</span> Sporadic simple group

In the area of modern algebra known as group theory, the Harada–Norton groupHN is a sporadic simple group of order

In mathematics, a Ree group is a group of Lie type over a finite field constructed by Ree from an exceptional automorphism of a Dynkin diagram that reverses the direction of the multiple bonds, generalizing the Suzuki groups found by Suzuki using a different method. They were the last of the infinite families of finite simple groups to be discovered.

Janko group J<sub>1</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ1 is a sporadic simple group of order

Janko group J<sub>3</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ3 or the Higman-Janko-McKay groupHJM is a sporadic simple group of order

Janko group J<sub>4</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Janko groupJ4 is a sporadic simple group of order

Mathieu group M<sub>22</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Mathieu groupM22 is a sporadic simple group of order

<span class="mw-page-title-main">McLaughlin sporadic group</span> Sporadic simple group

In the area of modern algebra known as group theory, the McLaughlin group McL is a sporadic simple group of order

Conway group Co<sub>2</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway groupCo2 is a sporadic simple group of order

Conway group Co<sub>1</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway groupCo1 is a sporadic simple group of order

References

  1. "The near octagon on 315 points".