In mathematics, the Higman-Sims group is a finite sporadic simple group of order 44,352,000. It can be characterized as the simple subgroup of index two in the group of automorphisms of the Higman-Sims graph. The Higman-Sims graph has 100 nodes, so the Higman-Sims group, or HS, has a permutation representation of degree 100.

HS is named for Donald G. Higman and Charles C. Sims.

It is said that one day in 1967 Higman and Sims were attending a presentation by Marshall Hall on the Hall-Janko Group, which has a representation of degree 100, with a subgroup with orbits of 36 and 63. It occurred to them to try the Mathieu group M₂₂, which has representations of degree 22 and 77. The M₂₂ Steiner system has 77 blocks. Quickly they found HS, with a one-point stabilizer isomorphic to M₂₂.

"Higman" may also reffer to the mathematician Graham Higman of the University of Oxford who simultaneosly discovered the group as the automorphism group of a certain 'geometry' on 176 points. Consequently, HS has a doubly transitive representation of degree 176.

Relationship with the Conway Groups

In his now classic 1968 paper John Horton Conway showed how the Higman Simms graph could be embedded in the Leech lattice. Here, HS fixes a 332 triangle and a 22 dimensional sublattice. The group thus becomes a subgroup of each of the Conway groups Co₁, Co₂ and Co₃. This provides an explicit way of approaching a low dimensional representation of the group, and with it an straightforward means of computing inside the group.

References

* John H. Conway "A Perfect Group of Order 8,315,553,613,086,720,000 and the Sporadic simple groups" Procedings of the National Academy of Sciences of the USA S. 61 (2): 398. (1968)
* John D. Dixon & Brian Mortimer, 'Permutation Groups', Springer-Verlag (1996).
* Joseph A. Gallian, 'The Search for Finite Simple Groups', Mathematics Magazine, v. 48 (1976), no. 4, p. 163.
* Higman D.G. and Sims C.C. "A simple group of order 44,352,000" Zentralblatt-MATH 1O5 (1968), 110-113.

External links

*The ATLAS of Finite Group Representations - Version 3

Category:Sporadic groups