Conway group

From Wikipedia, the free encyclopedia

In mathematics, the Conway groups Co₁, Co₂, and Co₃ are three sporadic groups discovered by John Horton Conway. Thomas Thompson 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, which he found with the aid of the binary Golay code; the lattice 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.

The largest of the Conway groups, Co₁, of order

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

is obtained as the quotient of the automorphism group of Λ by its center, which consists of the scalar matrices ±1. The groups Co₂ (of order 42,305,421,312,000) and Co₃ (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. (The type of a vector is half of its square norm, vˑv.) As the scalar −1 fixes no non-zero vector, we can regard these two groups as subgroups of Co₁.

[edit] Other sporadic groups

Conway and Thompson found that 4 subgroups were isomorphic to recently discovered sporadic simple groups.

The groups Co₂ and Co₃ both contain the McLaughlin group McL (of order 898,128,000) and the Higman-Sims group (of order 44,352,000), which can be described as the pointwise stabilizers of a type

2-2-3 triangle

and a type

2-3-3 triangle,

respectively. Identifying R²⁴ with C¹² and Λ with

Z[e^2πi/3]¹²,

the resulting automorphism group, i.e., the group of Leech lattice automorphisms preserving the complex structure, when divided by the 6-element group of complex scalar matrices, gives the Suzuki group Suz (of order 448,345,497,600). Suz is the only proper sporadic subgroup of Co₁ that retains 13 as a prime factor. This group was discovered by Michio Suzuki in 1968.

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

The 7 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 7 groups contain at least some of the 5 Mathieu groups, which comprise the first generation.

There was a conference on group theory held May 2-4, 1968, at Harvard University. Richard Brauer and Chih-Han Shah later published a book of its proceedings. It included important lectures on four groups of the second generation, but was a little too early to include the Conway groups. It has on the other hand been observed that if Conway had started a few years earlier, he could have discovered all 7 groups. Conway's work unified a number of rabbit trails into one system.

[edit] References

• Conway, J. H.: A perfect group of order 8,315,553,613,086,720,000 and the sporadic simple groups, Proc. Nat. Acad. Sci. U.S.A. 61 (1968), 398-400.
• Thompson, Thomas M.: "From Error Correcting Codes through Sphere Packings to Simple Groups", Carus Mathematical Monographs, Mathematical Association of America, 1983.
• Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; Wilson, R. A., Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups. With computational assistance from J. G. Thackray. Eynsham: Oxford University Press, 1985, ISBN 0-19-853199-0
• Griess, Robert L.: "Twelve Sporadic Groups", Springer-Verlag, 1998.
• Richard Brauer and Chih-Han Shah, "Theory of Finite Groups: A Symposium", W. A. Benjamin (1969)