Janko group J3

Last updated

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

Contents

   27 ·35 ·5 ·17 ·19 = 50232960.

History and properties

J3 is one of the 26 Sporadic groups and was predicted by Zvonimir Janko in 1969 as one of two new simple groups having 21+4:A5 as a centralizer of an involution (the other is the Janko group J2). J3 was shown to exist by GrahamHigman and John McKay  ( 1969 ).

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

J3 has an outer automorphism group of order 2 and a Schur multiplier of order 3, and its triple cover has a unitary 9-dimensional representation over the finite field with 4 elements. Weiss (1982) constructed it via an underlying geometry. It has a modular representation of dimension eighteen over the finite field with 9 elements. It has a complex projective representation of dimension eighteen.

Constructions

Using matrices

J3 can be constructed by many different generators. [2] Two from the ATLAS list are 18x18 matrices over the finite field of order 9, with matrix multiplication carried out with finite field arithmetic:

and

Using the subgroup PSL(2,16)

The automorphism group J3:2 can be constructed by starting with the subgroup PSL(2,16):4 and adjoining 120 involutions, which are identified with the Sylow 17-subgroups. Note that these 120 involutions are outer elements of J3:2. One then defines the following relation:

where is the Frobenius automorphism or order 4, and is the unique 17-cycle that sends

Curtis showed, using a computer, that this relation is sufficient to define J3:2. [3]

Using a presentation

In terms of generators a, b, c, and d its automorphism group J3:2 can be presented as

A presentation for J3 in terms of (different) generators a, b, c, d is

Maximal subgroups

Finkelstein & Rudvalis (1974) found the 9 conjugacy classes of maximal subgroups of J3 as follows:

Related Research Articles

<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">Simple group</span> Group without normal subgroups other than the trivial group and itself

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem.

<span class="mw-page-title-main">Sporadic group</span> Finite simple group type not classified as Lie, cyclic or alternating

In the mathematical classification of finite simple groups, there are 26 or 27 groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.

<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">Projective linear group</span> Construction in group theory

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In mathematics, the projective special linear group PSL(2, 7), isomorphic to GL(3, 2), is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A5 with 60 elements, isomorphic to PSL(2, 5).

<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">Hall–Janko graph</span>

In the mathematical field of graph theory, the Hall–Janko graph, also known as the Hall-Janko-Wales graph, is a 36-regular undirected graph with 100 vertices and 1800 edges.

<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

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>2</sub> Sporadic simple group

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

In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements.

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

Mathieu group M<sub>24</sub> sporadic simple group

In the area of modern algebra known as group theory, the Mathieu groupM24 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

In mathematical physics, higher-dimensional gamma matrices generalize to arbitrary dimension the four-dimensional Gamma matrices of Dirac, which are a mainstay of relativistic quantum mechanics. They are utilized in relativistically invariant wave equations for fermions in arbitrary space-time dimensions, notably in string theory and supergravity. The Weyl–Brauer matrices provide an explicit construction of higher-dimensional gamma matrices for Weyl spinors. Gamma matrices also appear in generic settings in Riemannian geometry, particularly when a spin structure can be defined.

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>3</sub> Sporadic simple group

In the area of modern algebra known as group theory, the Conway group 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. Griess (1982): p. 93: proof that J3 is a pariah.
  2. ATLAS page on J3
  3. Bradley, J.D.; Curtis, R.T. (2006), "Symmetric Generationand existence of J3:2, the automorphism group of the third Janko group", Science Direct: Journal of Algebra, 304 (1): 256–270, doi: 10.1016/j.jalgebra.2005.09.046