Janko group J2

Last updated July 30, 2023

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

History and properties

J₂ is one of the 26 Sporadic groups and is also called Hall–Janko–Wales group. In 1969 Zvonimir Janko predicted J₂ as one of two new simple groups having 2¹⁺⁴:A₅ 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 J₂ 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.A₁₀₀. The double cover 2.J₂ occurs as a subgroup of the Conway group Co₀.

J₂ 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 w² + w + 1 = 0, then J₂ is generated by the two matrices

{\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

{\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

{\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.)

J₂ 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 G₂(4). There is only one conjugacy class of J₂ in G₂(4). Every subgroup J₂ contained in G₂(4) extends to a subgroup J₂:2 = Aut(J₂) in G₂(4):2 = Aut(G₂(4)) (G₂(4) extended by the field automorphisms of F₄). G₂(4) is in turn isomorphic to a subgroup of the Conway group Co₁.

Maximal subgroups

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

U₃(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.S₄, which contains 6 additional involutions.

3.PGL(2,9) order 2160 – has a subquotient A₆
2¹⁺⁴:A₅ order 1920 – centralizer of involution moving 80 points
2²⁺⁴:(3 × S₃) order 1152
A₄ × A₅ order 720

Containing 2² × A₅ (order 240), centralizer of 3 involutions each moving 100 points

A₅ × D₁₀ order 600
PGL(2,7) order 336
5²:D₁₂ order 300
A₅ 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
2 = 2	2520 = 2³ · 3² · 5 · 7	2⁵⁰, 1 class
3 = 3	560 = 2⁴ · 5 · 7	3³⁰, 1 class
3 = 3	16800 = 2⁵ · 3 · 5² · 7	3³², 1 class
4 = 2²	6300 = 2² · 3² · 5² · 7	2⁶4²⁰, 1 class
5 = 5	4032 = 2⁶ · 3² · 7	5²⁰, 2 classes, power equivalent
5 = 5	24192 = 2⁷ · 3³ · 7	5²⁰, 2 classes, power equivalent
6 = 2 · 3	25200 = 2⁴ · 3² · 5² · 7	2⁴3⁶6¹², 1 class
6 = 2 · 3	50400 = 2⁵ · 3² · 5² · 7	2²6¹⁶, 1 class
7 = 7	86400 = 2⁷ · 3³ · 5²	7¹⁴, 1 class
8 = 2³	75600 = 2⁴ · 3³ · 5² · 7	2³4³8¹⁰, 1 class
10 = 2 · 5	60480 = 2⁶ · 3³ · 5 · 7	10¹⁰, 2 classes, power equivalent
10 = 2 · 5	120960 = 2⁷ · 3³ · 5 · 7	5⁴10⁸, 2 classes, power equivalent
12 = 2² · 3	50400 = 2⁵ · 3² · 5² · 7	3²4²6²12⁶, 1 class
15 = 3 · 5	80640 = 2⁸ · 3² · 5 · 7	5²15⁶, 2 classes, power equivalent

Related Research Articles

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 .$

In mathematics, a sporadic group is one of the 26 exceptional groups found in the classification of finite simple groups.

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co₁, Co₂ and Co₃ along with the related finite group Co₀ introduced by (Conway 1968, 1969).

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

In group theory, the Tits group²F₄(2)′, named for Jacques Tits (French: [tits]), is a finite simple group of order

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

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

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

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.

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

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

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

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

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

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

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

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

References

↑ "The near octagon on 315 points".

Robert L. Griess, Jr., "Twelve Sporadic Groups", Springer-Verlag, 1998.
Hall, Marshall; Wales, David (1968), "The simple group of order 604,800", Journal of Algebra , 9 (4): 417–450, doi: 10.1016/0021-8693(68)90014-8 , ISSN 0021-8693, MR 0240192 (Griess relates [p. 123] how Marshall Hall, as editor of The Journal of Algebra, received a very short paper entitled "A simple group of order 604801." Yes, 604801 is prime.)
Janko, Zvonimir (1969), "Some new simple groups of finite order. I", Symposia Mathematica (INDAM, Rome, 1967/68), Vol. 1, Boston, MA: Academic Press, pp. 25–64, MR 0244371
Wales, David B., "The uniqueness of the simple group of order 604800 as a subgroup of SL(6,4)", Journal of Algebra 11 (1969), 455–460.
Wales, David B., "Generators of the Hall–Janko group as a subgroup of G2(4)", Journal of Algebra 13 (1969), 513–516, doi : 10.1016/0021-8693(69)90113-6, MR 0251133, ISSN 0021-8693

External links

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] "The near octagon on 315 points".

[1]

v t e Groups
Basic notions	Subgroup Normal subgroup Commutator subgroup Quotient group Group homomorphism (Semi-) direct product direct sum
Types of groups	Finite groups Abelian groups Cyclic groups Infinite group Simple groups Solvable groups Symmetry group Space group Point group Wallpaper group Trivial group
Discrete groups	Classification of finite simple groups Cyclic group Z_n Alternating group A_n Sporadic groups Mathieu group M_11..12,M_22..24 Conway group Co_1..3 Janko groups J₁, J₂, J₃, J₄ Fischer group F_22..24 Baby monster group B Monster group M Other finite groups Symmetric group S_n Dihedral group D_n Rubik's Cube group
Lie groups	General linear group GL(n) Special linear group SL(n) Orthogonal group O(n) Special orthogonal group SO(n) Unitary group U(n) Special unitary group SU(n) Symplectic group Sp(n) Exceptional Lie groups G₂ F₄ E₆ E₇ E₈ Circle group Lorentz group Poincaré group Quaternion group
Infinite dimensional groups	Conformal group Diffeomorphism group Loop group Quantum group O(∞) SU(∞) Sp(∞)
History Applications Abstract algebra