Janko group J1

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable List of group theory topics
Finite groups Classification of finite simple groups cyclic alternating Lie type sporadic Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Symmetric group Sn Klein four-group V Dihedral group Dn Quaternion group Q Dicyclic group Dicn
Discrete groups Lattices Integers (Z) Lattice Modular groups PSL(2,Z) SL(2,Z)
Topological / Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Elliptic curve Linear algebraic group Abelian variety

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

   2³ · 3 · 5 · 7 · 11 · 19 = 175560.

History

J₁ is one of the 26 Sporadic groups and was originally described by Zvonimir Janko in 1965. It is the only Janko group whose existence was proved by Janko himself and was the first sporadic group to be found since the discovery of the Mathieu groups in the 19th century. Its discovery launched the modern theory of sporadic groups.

In 1982 R. L. Griess showed that J₁ cannot be a subquotient of the monster group.^[1] Thus it is one of the 6 sporadic groups called the pariahs.

J₁ has no outer automorphisms and its Schur multiplier is trivial.

Properties

J₁ can be characterized abstractly as the unique simple group with abelian 2-Sylow subgroups and with an involution whose centralizer is isomorphic to the direct product of the group of order two and the alternating group A₅ of order 60, which is to say, the rotational icosahedral group. That was Janko's original conception of the group. In fact Janko and Thompson were investigating groups similar to the Ree groups ²G₂(3²ⁿ⁺¹), and showed that if a simple group G has abelian Sylow 2-subgroups and a centralizer of an involution of the form Z/2Z×PSL₂(q) for q a prime power at least 3, then either q is a power of 3 and G has the same order as a Ree group (it was later shown that G must be a Ree group in this case) or q is 4 or 5. Note that PSL₂(4)=PSL₂(5)=A₅. This last exceptional case led to the Janko group J₁.

J₁ is contained in the O'Nan group as the subgroup of elements fixed by an outer automorphism of order 2.

Construction

Janko found a modular representation in terms of 7 × 7 orthogonal matrices in the field of eleven elements, with generators given by

and

Y has order 7 and Z has order 5. Janko (1966) credited W. A. Coppel for recognizing this representation as an embedding into Dickson's simple group G₂(11) (which has a 7-dimensional representation over the field with 11 elements).

There is also a pair of generators a, b such that

a²=b³=(ab)⁷=(abab⁻¹)¹⁰=1

J₁ is thus a Hurwitz group, a finite homomorphic image of the (2,3,7) triangle group.

Maximal subgroups

Janko (1966) found the 7 conjugacy classes of maximal subgroups of J₁ shown in the table. Maximal simple subgroups of order 660 afford J₁ a permutation representation of degree 266. He found that there are 2 conjugacy classes of subgroups isomorphic to the alternating group A₅, both found in the simple subgroups of order 660. J₁ has non-abelian simple proper subgroups of only 2 isomorphism types.

The notation A.B means a group with a normal subgroup A with quotient B, and D_2n is the dihedral group of order 2n.

Number of elements of each order

The greatest order of any element of the group is 19. The conjugacy class orders and sizes are found in the ATLAS.

References

• Chevalley, Claude (1995) [1967], "Le groupe de Janko", Séminaire Bourbaki, Vol. 10, Paris: Société Mathématique de France, pp. 293–307, MR 1610425 
• R. L. Griess, Jr (1982). The Friendly Giant, Inventiones Mathematicae , vol 69, issue 1, doi:10.1007/BF01389186
• Zvonimir Janko, A new finite simple group with abelian Sylow subgroups, Proc. Natl. Acad. Sci. USA 53 (1965) 657-658.
• Zvonimir Janko, A new finite simple group with abelian Sylow subgroups and its characterization, Journal of Algebra 3: 147-186, (1966) doi:10.1016/0021-8693(66)90010-X
• Zvonimir Janko and John G. Thompson, On a Class of Finite Simple Groups of Ree, Journal of Algebra, 4 (1966), 274-292.
• Robert A. Wilson, Is J₁ a subgroup of the monster?, Bull. London Math. Soc. 18, no. 4 (1986), 349-350.

External links

• MathWorld: Janko Groups
• Atlas of Finite Group Representations: J₁ version 2
• Atlas of Finite Group Representations: J₁ version 3