Conway group

Conway group
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	Conway group
Type	Sporadic simple group
Order	2^21·3^9·5^4·7^2·11·13·23
Notation	Co1, Co2, Co3 (Conway groups)
Discovered	1968
Discoverer	John Horton Conway; Robert Griess
Related	Monster group, Leech lattice, Mathieu groups

Conway group

Introduction

The Conway group is a family of three sporadic simple groups arising from the automorphism structure of the Leech lattice and connected to the classification of finite simple groups. Discovered in the context of lattice theory and finite group theory, the Conway groups play roles in the theory surrounding the Monster group, John Horton Conway, Richard Borcherds, Robert Griess, and the network of sporadic groups including the Mathieu group M24, Fischer group, and Janko group. These groups link geometry of lattices, modular forms, and vertex operator algebras such as those studied by Igor Frenkel and James Lepowsky.

Definition and Construction

The three Conway groups arise from the full automorphism group of the Leech lattice: the largest quotient yields a simple group denoted Co1, with two other important subquotients denoted Co2 and Co3 obtained by stabilizers of certain lattice vectors and substructures. The lattice itself was constructed by John Leech and later analyzed by Conway in connection with sphere packing and kissing number problems related to work by Korkine and Zolotarev and studied alongside the E8 lattice. The formal construction uses orthogonal and isometry groups in 24 dimensions, embedding into the orthogonal group over the real numbers examined in the context of Harold Davenport’s lattice studies and later connected to automorphic forms investigated by Yakov Sinai and Goro Shimura.

Properties and Representations

Co1, Co2, and Co3 are finite simple groups with orders determined by their prime power decompositions; Co1 is the largest with order equal to 2^21·3^9·5^4·7^2·11·13·23. Representations of these groups appear in 24-dimensional faithful representations tied to the Conway–Sloane theory and in permutation representations on sets related to the minimal vectors of the Leech lattice studied by Neil Sloane and J. H. Conway. Modular character tables and ordinary representation theory were worked out in the tradition of Issai Schur and Richard Brauer and later computerized in the Atlas of Finite Groups project coordinated by John Conway and J. H. Conway’s collaborators. Connections to vertex operator algebras provide infinite-dimensional graded representations as in the constructions by Igor Frenkel and Arne Meurman.

Subgroups and Related Sporadic Groups

The Conway groups contain many important subgroups and local substructures; stabilizers of vectors or frames in the Leech lattice yield subgroups isomorphic to groups such as McLaughlin group and other sporadic examples like the Higman–Sims group. The relationship between Conway groups and the Monster group is mediated through shared subquotients and centralizers studied by Bernd Fischer and Robert Griess during the Monster construction, with the centralizer of an involution in the Monster containing copies related to Conway’s groups. Parabolic and 2-local subgroups reflect theory developed by Michael Aschbacher and Daniel Gorenstein in the broader classification program.

Applications and Connections

Beyond group theory, Conway groups appear in sphere-packing problems linked to the Kepler conjecture lineage and in coding theory through connections with the Golay code and binary codes explored by Marcel J. E. Golay and F. J. MacWilliams. They have influenced the development of vertex operator algebra theory in the work of Borcherds, which in turn linked to modular functions such as the j-invariant studied by Srinivasa Ramanujan and Martin Eichler. Computational group theory implementations in systems like GAP and MAGMA include libraries derived from the Atlas of Finite Groups, enabling explicit computations used in research by groups at institutions such as Cambridge University and the University of California, Berkeley.

Historical Development and Discoveries

The discovery narrative begins with John Leech’s 1960s work on sphere packings and the Leech lattice, followed by John Conway’s analysis leading to the identification of the automorphism groups in 1968; subsequent classification and naming occurred with contributions by Robert Griess during the 1970s and 1980s when the Monster and other sporadic groups were being organized in the Atlas project. Later developments involved explicit construction of the Monster via the Griess algebra and Borcherds’ proof of the moonshine conjectures linking sporadic groups to modular objects, influenced by the earlier computations of Conway and collaborators such as Simon Norton and John McKay. Modern computational and theoretical advances continue via collaboration among researchers at institutions like Princeton University, University of Cambridge, and Institut des Hautes Études Scientifiques.

Category:Sporadic simple groups