Conway group

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

The largest of the Conway groups, Co0, is the group of automorphisms of the Leech lattice Λ with respect to addition and inner product. It has order

8,315,553,613,086,720,000

but it is not a simple group. The simple group Co1 of order

4,157,776,806,543,360,000

is defined as the quotient of Co0 by its center, which consists of the scalar matrices ±1.

The inner product on the Leech lattice is defined as 1/8 the sum of the products of respective co-ordinates of the two multiplicand vectors; it is an integer. The square norm of a vector is its inner product with itself. It is common to speak of the type of a Leech lattice vector: half the square norm. This lattice has no vectors of type 1. The groups Co2 (of order 42,305,421,312,000) and Co3 (of order 495,766,656,000) consist of the automorphisms of Λ fixing a lattice vector of type 2 and a vector of type 3 respectively. As the scalar −1 fixes no non-zero vector, these two groups are isomorphic to subgroups of Co1.

History[edit]

Thomas Thompson (1983) relates how John Leech about 1964 investigated close packings of spheres in Euclidean spaces of large dimension. One of Leech's discoveries was a lattice packing in 24-space, based on what came to be called the Leech lattice Λ. He wondered whether his lattice's symmetry group contained an interesting simple group, but felt he needed the help of someone better acquainted with group theory. He had to do much asking around because the mathematicians were pre-occupied with agendas of their own. John Conway agreed to look at the problem. John G. Thompson said he would be interested if he were given the order of the group. Conway expected to spend months or years on the problem, but found results in just a few sessions.

Witt (1998, page 329) stated that he found the Leech lattice in 1940 and hinted that he calculated the order of its automorphism group (the double cover of Conway's largest simple group).

Monomial subgroup N of Co0[edit]

Conway started his investigation of Co0 with a subgroup he called N, a holomorph of the (extended) binary Golay code (as diagonal matrices with 1 or -1 as diagonal elements) by the Mathieu group M24 (as permutation matrices). N ≈ 212:M24

A standard representation, used throughout this article, of the binary Golay code arranges the 24 co-ordinates so that 6 consecutive blocks (tetrads) of 4 constitute a sextet.

The matrices of Co0 are orthogonal, i. e. they leave the inner product invariant. The inverse is the transpose. Co0 has no matrices of determinant -1.

The Leech lattice can easily be defined as the Z-module generated by the set Λ2 of all vectors of type 2, consisting of

(4,4,022)
(28,016)
(-3,123)

and their images under N. Under N Λ2 falls into 3 orbits of sizes 1104, 97152, and 98304.Then |Λ2| = 196560 = 24*33*5*7*13. Conway strongly suspected Co0 was transitive on Λ2, and indeed he found a new matrix, not monomial and not an integer matrix.

Let η be the 4-by-4 matrix


{\mathbf 1/2}  \left ( \begin{matrix}
1 &  -1 & -1 & -1 \\
-1 &  1 & -1 & -1 \\
-1 & -1 &  1 & -1 \\
-1 & -1 & -1 & 1 \end{matrix} \right )

Now let ζ be a block sum of 6 matrices: odd numbers each of η and -η.[1][2] ζ is a symmetric and orthogonal matrix, thus an involution. Some experimenting shows that it interchanges vectors between different orbits of N.

To compute |Co0| it is best to consider Λ4, the set of vectors of type 4. Any type 4 vector is one of exactly 48 type 4 vectors congruent to each other modulo 2Λ, falling into 24 orthogonal pairs {v,–v}. A set of 48 such vectors is called a frame or cross. N has as an orbit the frame of vectors with just one non-zero component, equal ±8. The subgroup fixing a given frame is a conjugate of N. The group 212, isomorphic to the Golay code, acts as sign changes on vectors of the frame, while M24 permutes the 24 pairs of the frame. Co0 can be shown to be transitive on Λ4. Conway multiplied the order 212|M24| of N by the number of frames, the latter being equal to the quotient |Λ4|/48 = 8,252,375 = 36*53*7*13. That product is the order of any subgroup of Co0 that properly contains N; hence N is a maximal subgroup of Co0 and contains 2-Sylow subgroups of Co0. N also is the subgroup in Co0 of all matrices with integer components.

Since Λ includes vectors of the shape (±8,023), Co0 consists of rational matrices whose denominators are all divisors of 8.

The smallest non-trivial representation of Co0 over any field is the 24-dimensional one coming from the Leech lattice, and this is faithful over fields of characteristic other than 2.

Involutions in Co0[edit]

Any involution in Co0 can be shown to be conjugate to an element of the Golay code. Co0 has 4 conjugacy classes of involutions.

A permutation matrix of shape 212 can be shown to be conjugate to a dodecad. Its centralizer has the form 212:M12 and has conjugates inside the monomial subgroup. Any matrix in this conjugacy class has trace 0.

A permutation matrix of shape 2818 can be shown to be conjugate to an octad; it has trace 8. This and its negative (trace -8) have a common centralizer of the form (21+8x2).O8+(2), a subgroup maximal in Co0.

Other sporadic groups[edit]

Conway himself employed a notation for stabilizers of points and subspaces where he prefixed a dot. Exceptional were .0 and .1, being Co0 and Co1. For integer n ≥ 2 let .n denote the stabilizer of a point of type n in the Leech lattice. Conway then named stabilizers of planes defined by triangles. Let .hkl be the pointwise stabilizer of a triangle with vertices of types h, k and l adding up to the origin. In the simplest cases Co0 is transitive on the points or triangles in question and stabilizer groups are defined up to conjugacy.

Conway and Thompson found that four recently discovered sporadic simple groups, described in the conference proceedings (Brauer & Sah 1969), were isomorphic to subgroups or quotients of subgroups of Co0.

Two of these (subgroups both of Co2 and Co3) can be defined as pointwise stabilizers of triangles with vertices, of sum zero, of types 2 and 3. A 2-2-3 triangle is fixed by the McLaughlin group McL or .223 (order 898,128,000). A 2-3-3 triangle is fixed by the Higman-Sims group HS or .233 (order 44,352,000).

Two other sporadic groups can be defined as stabilizers of structures on the Leech lattice. Identifying R24 with C12 and Λ with

Z[ei/3]12,

the resulting automorphism group, i.e., the group of Leech lattice automorphisms preserving the complex structure, when divided by the six-element group of complex scalar matrices, gives the Suzuki group Suz (order 448,345,497,600). This group was discovered by Michio Suzuki in 1968.

A similar construction gives the Hall-Janko group J2 (order 604,800) as the quotient of the group of quaternionic automorphisms of Λ by the group ±1 of scalars.

The seven simple groups described above comprise what Robert Griess calls the second generation of the Happy Family, which consists of the 20 sporadic simple groups found within the Monster group. Several of the seven groups contain at least some of the five Mathieu groups, which comprise the first generation.

Suzuki chain of product groups[edit]

Co0 has 4 conjugacy classes of elements of order 3. In M24 an element of shape 38 generates a group normal in a copy of S3, which commutes with a simple subgroup of order 168. A direct product PSL(2,7) x S3 in M24 permutes the octads of a trio and permutes 14 dodecad diagonal matrices in the monomial subgroup. In Co0 this monomial normalizer 24:PSL(2,7) x S3 is expanded to a maximal subgroup of the form 2.A9 x S3, where 2.A9 is the double cover of the alternating group A9.

John Thompson pointed out it would be fruitful to investigate the normalizers of smaller subgroups of the form 2.An (Conway 1971, p.242). Several other maximal subgroups of Co0 are found in this way. Moreover, two sporadic groups appear in the resulting chain.

There is a subgroup 2.A8 x S4, the only one of this chain not maximal in Co0. Next there is the subgroup (2.A7 x PSL2(7)):2. Next comes (2.A6 x SU3(3)):2. The unitary group SU3(3) (order 6048) possesses a graph of 36 vertices, in anticipation of the next subgroup. That subgroup is (2.A5 o 2.HJ):2. The aforementioned graph expands to the Hall-Janko graph, with 100 vertices. The Hall-Janko group HJ makes its appearance here. Next comes (2.A4 o 2.G2(4)):2, G2(4) being an exceptional group of Lie type.

The chain ends with 6.Suz:2 (Suz=Suzuki sporadic group), which, as mentioned above, respects a complex representation of the Leech Lattice.

Generalized Monstrous Moonshine[edit]

Conway and Norton suggested in their 1979 paper that monstrous moonshine is not limited to the monster. Larissa Queen and others subsequently found that one can construct the expansions of many Hauptmoduln from simple combinations of dimensions of sporadic groups. For the Conway groups, the relevant McKay-Thompson series is T_{2A}(\tau) = {1, 0, 276, -2048, 11202, -49152,..}(OEISA007246) and T_{4A}(\tau) = {1, 0, 276, 2048, 11202, 49152,..}(OEISA097340) where one can set the constant term a(0) = 24,

\begin{align}j_{4A}(\tau)
&=T_{4A}(\tau)+24\\
&=\Big(\tfrac{\eta^2(2\tau)}{\eta(\tau)\,\eta(4\tau)} \Big)^{24} \\
&=\Big(\big(\tfrac{\eta(\tau)}{\eta(4\tau)}\big)^{4}+4^2 \big(\tfrac{\eta(4\tau)}{\eta(\tau)}\big)^{4}\Big)^2\\ 
&=\frac{1}{q} + 24+ 276q + 2048q^2 +11202q^3+49152q^4+\dots
\end{align}

and η(τ) is the Dedekind eta function.

References[edit]

  1. ^ Griess, p. 97.
  2. ^ Thomas Thompson, pp. 148-152.