In the area of modern algebra known as group theory, the HigmanâÂÂSims group HS is a sporadic simple group of order
The Schur multiplier has order 2, the outer automorphism group has order 2, and the group 2.HS.2 appears as an involution centralizer in the HaradaâÂÂNorton group.
HS is one of the 26 sporadic groups and was found by . They were attending a presentation by Marshall Hall on the HallâÂÂJanko group J<sub>2</sub>. It happens that J<sub>2</sub> acts as a permutation group on the HallâÂÂJanko graph of 100 points, the stabilizer of one point being a subgroup with two other orbits of lengths 36 and 63. Inspired by this they decided to check for other rank 3 permutation groups on 100 points. They soon focused on a possible one containing the Mathieu group M<sub>22</sub>, which has permutation representations on 22 and 77 points. (The latter representation arises because the M<sub>22</sub> Steiner system has 77 blocks.) By putting together these two representations, they found HS, with a one-point stabilizer isomorphic to M<sub>22</sub>.
HS is 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 HS is a transitive group of permutations of a 100 element set. The smallest faithful complex representation of HS has dimension 22.
independently discovered the group as a doubly transitive permutation group acting on a certain "geometry" on 176 points.
GAP code to build the Higman-Sims group is presented as an example in the GAP documentation itself.
The Higman-Sims group can be constructed with the following two generators:
and
identified the HigmanâÂÂSims group as a subgroup of the Conway group Co<sub>0</sub>. In Co<sub>0</sub> HS arises as a pointwise stabilizer of a 2-3-3 triangle, one whose edges (differences of vertices) are type 2 and 3 vectors. HS thus is a subgroup of each of the Conway groups Co<sub>0</sub>, Co<sub>2</sub> and Co<sub>3</sub>.
(p. 208) shows that the group HS is well-defined. In the Leech lattice, suppose a type 3 point v is fixed by an instance of Co<sub>3</sub>. Count the type 2 points w such that the inner product v÷w = 2 (and thus v-w is type 3). He shows that their number is and that this Co<sub>3</sub> is transitive on these w.
In fact, , and there are instances of HS including a permutation matrix representation of the Mathieu group M<sub>22</sub>.
If an instance of HS in Co<sub>0</sub> fixes a particular point of type 3, this point is found in 276 triangles of type 2-2-3 that this copy of HS permutes in orbits of 176 and 100. This fact leads to Graham Higman's construction as well as to the HigmanâÂÂSims graph. HS is doubly transitive on the 176 and rank 3 on the 100.
A 2-3-3 triangle defines a 2-dimensional subspace fixed pointwise by HS. The standard representation of HS can thus be reduced to a 22-dimensional one.
(p. 210) gives an example of a Higman-Sims graph within the Leech lattice, permuted by the representation of M<sub>22</sub> on the last 22 coordinates:
Differences of adjacent points are of type 3; those of non-adjacent ones are of type 2.
Here, HS fixes a 2-3-3 triangle with vertices , , and z the origin. x and y are of type 3 while is of type 2. Any vertex of the graph differs from x, y, and z by vectors of type 2.
An involution in the subgroup M<sub>22</sub> transposes 8 pairs of co-ordinates. As a permutation matrix in Co<sub>0</sub> it has trace 8. It can shown that it moves 80 of the 100 vertices of the Higman-Sims graph. No transposed pair of vertices is an edge in the graph.
There is another class of involutions, of trace 0, that move all 100 vertices. As permutations in the alternating group A<sub>100</sub>, being products of an odd number (25) of double transpositions, these involutions lift to elements of order 4 in the double cover 2.A<sub>100</sub>. HS thus has a double cover 2.HS, which is not related to the double cover of the subgroup M<sub>22</sub>.
found the 12 conjugacy classes of maximal subgroups of HS as follows:
Traces of matrices in a standard 24-dimensional representation of HS are shown. Listed are 2 permutation representations: on the 100 vertices of the HigmanâÂÂSims graph, and on the 176 points of Graham Higman's geometry.
Conway and Norton suggested in their 1979 paper that monstrous moonshine is not limited to the monster group, but that similar phenomena may be found for other groups. Larissa Queen and others subsequently found that one can construct the expansions of many Hauptmoduln from simple combinations of dimensions of sporadic groups. For HS, the McKay-Thompson series is where one can set (),