Misplaced Pages

Janko group J2

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Hall–Janko group) Sporadic simple group For general background and history of the Janko sporadic groups, see Janko group.
Algebraic structureGroup theory
Group theory
Basic notions
Group homomorphisms
Finite groups
Classification of finite simple groups
Modular groups
  • PSL(2, Z {\displaystyle \mathbb {Z} } )
  • SL(2, Z {\displaystyle \mathbb {Z} } )
Topological and Lie groups Infinite dimensional Lie group
  • O(∞)
  • SU(∞)
  • Sp(∞)
Algebraic groups

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

   2 ··· 7 = 604800
≈ 6×10.

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 2:A5 as a centralizer of an involution (the other is the Janko group J3). It was constructed by Marshall Hall and David 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, 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 w + w + 1 = 0, then J2 is generated by the two matrices

A = ( w 2 w 2 0 0 0 0 1 w 2 0 0 0 0 1 1 w 2 w 2 0 0 w 1 1 w 2 0 0 0 w 2 w 2 w 2 0 w w 2 1 w 2 0 w 2 0 ) {\displaystyle {\mathbf {A} }={\begin{pmatrix}w^{2}&w^{2}&0&0&0&0\\1&w^{2}&0&0&0&0\\1&1&w^{2}&w^{2}&0&0\\w&1&1&w^{2}&0&0\\0&w^{2}&w^{2}&w^{2}&0&w\\w^{2}&1&w^{2}&0&w^{2}&0\end{pmatrix}}}

and

B = ( w 1 w 2 1 w 2 w 2 w 1 w 1 1 w w w w 2 w 2 1 0 0 0 0 0 1 1 w 2 1 w 2 w 2 w w 2 w 2 1 w 2 w w 2 w ) . {\displaystyle {\mathbf {B} }={\begin{pmatrix}w&1&w^{2}&1&w^{2}&w^{2}\\w&1&w&1&1&w\\w&w&w^{2}&w^{2}&1&0\\0&0&0&0&1&1\\w^{2}&1&w^{2}&w^{2}&w&w^{2}\\w^{2}&1&w^{2}&w&w^{2}&w\end{pmatrix}}.}

These matrices satisfy the equations

A 2 = B 3 = ( A B ) 7 = ( A B A B B ) 12 = 1. {\displaystyle {\mathbf {A} }^{2}={\mathbf {B} }^{3}=({\mathbf {A} }{\mathbf {B} })^{7}=({\mathbf {A} }{\mathbf {B} }{\mathbf {A} }{\mathbf {B} }{\mathbf {B} })^{12}=1.}

(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 w 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.

  • U3(3) order 6048 – one-point stabilizer, with orbits of 36 and 63
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.
  • 3.PGL(2,9) order 2160 – has a subquotient A6
  • 2:A5 order 1920 – centralizer of involution moving 80 points
  • 2:(3 × S3) order 1152
  • A4 × A5 order 720
Containing 2 × A5 (order 240), centralizer of 3 involutions each moving 100 points
  • A5 × D10 order 600
  • PGL(2,7) order 336
  • 5:D12 order 300
  • A5 order 60

Conjugacy classes

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

Order No. elements Cycle structure and conjugacy
1 = 1 1 = 1 1 class
2 = 2 315 = 3 · 5 · 7 2, 1 class
2520 = 2 · 3 · 5 · 7 2, 1 class
3 = 3 560 = 2 · 5 · 7 3, 1 class
16800 = 2 · 3 · 5 · 7 3, 1 class
4 = 2 6300 = 2 · 3 · 5 · 7 24, 1 class
5 = 5 4032 = 2 · 3 · 7 5, 2 classes, power equivalent
24192 = 2 · 3 · 7 5, 2 classes, power equivalent
6 = 2 · 3 25200 = 2 · 3 · 5 · 7 236, 1 class
50400 = 2 · 3 · 5 · 7 26, 1 class
7 = 7 86400 = 2 · 3 · 5 7, 1 class
8 = 2 75600 = 2 · 3 · 5 · 7 248, 1 class
10 = 2 · 5 60480 = 2 · 3 · 5 · 7 10, 2 classes, power equivalent
120960 = 2 · 3 · 5 · 7 510, 2 classes, power equivalent
12 = 2 · 3 50400 = 2 · 3 · 5 · 7 34612, 1 class
15 = 3 · 5 80640 = 2 · 3 · 5 · 7 515, 2 classes, power equivalent

References

  1. "The near octagon on 315 points".

External links

Groups
Basic notions
Types of groups
Discrete groups
Classification of finite simple groups
Cyclic group Zn
Alternating group An
Sporadic groups
Mathieu group M11..12,M22..24
Conway group Co1..3
Janko groups J1, J2, J3, J4
Fischer group F22..24
Baby monster group B
Monster group M
Other finite groups
Symmetric group Sn
Dihedral group Dn
Rubik's Cube group
Lie groups
Exceptional Lie groups
G2
F4
E6
E7
E8
Infinite dimensional groups
Category:
Janko group J2 Add topic