Higman–Sims group

In the area of modern algebra known as group theory, the Higman–Sims group HS is a sporadic simple group of order

2⁹⋅3²⋅5³⋅7⋅11 = 44352000

≈ 4×10⁷.

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.

History[edit]

HS is one of the 26 sporadic groups and was found by Donald G. Higman and Charles C. Sims (1968). They were attending a presentation by Marshall Hall on the Hall–Janko group J₂. It happens that J₂ 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₂₂, which has permutation representations on 22 and 77 points. (The latter representation arises because the M₂₂ Steiner system has 77 blocks.) By putting together these two representations, they found HS, with a one-point stabilizer isomorphic to M₂₂.

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.^[1]

Graham Higman (1969) independently discovered the group as a doubly transitive permutation group acting on a certain 'geometry' on 176 points.

Construction[edit]

GAP code to build the Higman-Sims group is presented as an example in the GAP documentation itself.^[2]

The Higman-Sims group can be constructed with the following two generators:^[2]

$(1,50,65)(2,89,62,52,88,25)(3,46,57,18,74,55)(4,45,10,70,56,39)$ $(5,97,77)(6,84,8,48,99,67)(7,26,92,28,20,100)(9,30,79,66,49,95)(11,72)$ $(12,94,98,27,83,93)(13,31,61,59,40,47)(14,51,68,44,16,34)(15,38)(17,82,87)$ $(19,76,73,71,63,32)(21,37,58,69,75,35)(22,53,81)(23,33,54)(24,43,80,78,29,86)$ $(42,64)(60,90,96)(85,91)$

and

$(1,65,44,13,34,57)(2,10,39,54,42,84)(3,15,69,63,37,11)(5,21,79)$ $(6,89,49,64,46,80)(7,70,93,29,8,38)(9,81,17,23,77,59)(12,68,66,75,96,82)$ $(14,18,95,43,76,32)(16,33,99,26,92,48)(19,50)(20,97,83)(22,88,85,53,24,56)$ $(25,62,67)(27,98)(28,55)(30,58,71,86,94,90)(31,87,52,78,100,60)(35,61,51)$ $(36,73,72)(40,74)(41,45,47)$

Relationship to Conway groups[edit]

Conway (1968) identified the Higman–Sims group as a subgroup of the Conway group Co₀. In Co₀ 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₀, Co₂ and Co₃.

Wilson (2009) (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₃. 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 11,178 = 2⋅3⁵⋅23 and that this Co₃ is transitive on these w.

|HS| = |Co₃|/11,178 = 44,352,000.

In fact, |HS| = 100|M₂₂| and there are instances of HS including a permutation matrix representation of the Mathieu group M₂₂.

If an instance of HS in Co₀ 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.

A Higman-Sims graph[edit]

Wilson (2009) (p. 210) gives an example of a Higman-Sims graph within the Leech lattice, permuted by the representation of M₂₂ on the last 22 coordinates:

22 points of shape (1, 1, −3, 1²¹)
77 points of shape (2, 2, 2⁶, 0¹⁶)
A 100th point (4, 4, 0²²)

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 x = (5, 1²³), y = (1, 5, 1²²), and z the origin. x and y are of type 3 while x-y = (4, −4, 0²²) is of type 2. Any vertex of the graph differs from x, y, and z by vectors of type 2.

Two classes of involutions[edit]

An involution in the subgroup M₂₂ transposes 8 pairs of co-ordinates. As a permutation matrix in Co₀ 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.^[3] As permutations in the alternating group A₁₀₀, being products of an odd number (25) of double transpositions, these involutions lift to elements of order 4 in the double cover 2.A₁₀₀. HS thus has a double cover 2.HS, which is not related to the double cover of the subgroup M₂₂.

Maximal subgroups[edit]

Magliveras (1971) found the 12 conjugacy classes of maximal subgroups of HS as follows:

Subgroup	Order	Index	Orbits on Higman-Sims graph
M₂₂	443520	100	1, 22, 77	one-point stabilizer on Higman-Sims graph
U₃(5):2	252000	176	imprimitive on pair of Hoffman-Singleton graphs of 50 vertices each	one-point stabilizer in doubly transitive representation of degree 176
U₃(5):2	252000	176	like type above	fused in HS:2 to class above
PSL(3,4).2	40320	1100	2, 42, 56	stabilizer of edge
S₈	40320	1100	30, 70
2⁴.S₆	11520	3850	2, 6, 32, 60	stabilizer of non-edge
4³:PSL(3,2)	10752	4125	8, 28, 64
M₁₁	7920	5600	12, 22, 66	classes fused in HS:2
M₁₁	7920	5600	12, 22, 66	classes fused in HS:2
4.2⁴.S₅	7680	5775	20, 80	centralizer of involution class 2A moving 80 vertices of Higman–Sims graph
2 × A₆.2²	2880	15400	40, 60	centralizer of involution class 2B moving all 100 vertices
5:4 × A₅	1200	36960	imprimitive on 5 blocks of 20	normalizer of 5-subgroup generated by class 5B element

Conjugacy classes[edit]

Traces of matrices in a standard 24-dimensional representation of HS are shown. ^[4] Listed are 2 permutation representations: on the 100 vertices of the Higman–Sims graph, and on the 176 points of Graham Higman's geometry.^[5]

Class	Order of centralizer	No. elements	Trace	On 100	On 176
1A	44,352,000	1 = 1	24
2A	7,680	5775 = 3 · 5² · 7 · 11	8	1²⁰,2⁴⁰	1¹⁶,2⁸⁰
2B	2,880	15400 = 2³ · 5² · 5 · 7 · 11	0	2⁵⁰	1¹², 2⁸²
3A	360	123200 = 2⁶ · 5² · 7 · 11	6	1¹⁰,3³⁰	1⁵,3⁵⁷
4A	3,840	11550 = 2 · 3 · 5² · 7 · 11	-4	2¹⁰4²⁰	1¹⁶,4⁴⁰
4B	256	173250 = 2 · 3² · 5³ · 7 · 11	4	1⁸,2⁶,4²⁰	2⁸,4⁴⁰
4C	64	693000 = 2³ · 3² · 5³ · 7 · 11	4	1⁴,2⁸,4²⁰	1⁴,2⁶,4⁴⁰
5A	500	88704 = 2⁷ · 3² · 7 · 11	-1	5²⁰	1,5³⁵
5B	300	147840 = 2⁷ · 3 · 5 · 7 · 11	4	5²⁰	1⁶,5³⁴
5C	25	1774080 = 2⁹ · 3² · 5 · 7	4	1⁵,5¹⁹	1,5³⁵
6A	36	1232000 = 2⁷ · 5³ · 7 · 11	0	2⁵,6¹⁵	1³,2,3³,6²⁷
6B	24	1848000 = 2⁶ · 3 · 5³ · 7 · 11	2	1²,2⁴,3⁶,6¹²	1, 2²,3⁵,6²⁶
7A	7	6336000 = 2⁹ · 3² · 5³ · 11	3	1²,7¹⁴	1,7²⁵
8A	16	2772000 = 2⁵ · 3² · 5³ · 7 · 11	2	1²,2³,4³,8¹⁰	4⁴, 8²⁰
8B	16	2772000 = 2⁵ · 3² · 5³ · 7 · 11	2	2²,4⁴,8¹⁰	1²,2,4³,8²⁰
8C	16	2772000 = 2⁵ · 3² · 5³ · 7 · 11	2	2²,4⁴,8¹⁰	1² 2, 4³, 8²⁰
10A	20	2217600 = 2⁷ · 3² · 5² · 7 · 11	3	5⁴,10⁸	1,5³,10¹⁶
10B	20	2217600 = 2⁷ · 3² · 5² · 7 · 11	0	10¹⁰	1²,2²,5²,10¹⁶
11A	11	4032000 = 2⁹ · 3² · 5³ · 7	2	1¹11⁹	11¹⁶	Power equivalent
11B	11	4032000 = 2⁹ · 3² · 5³ · 7	2	1¹11⁹	11¹⁶	Power equivalent
12A	12	3696000 = 2⁷ · 3 · 5³ · 7 · 11	2	2¹,4²,6³,12⁶	1,3⁵,4,12¹³
15A	15	2956800 = 2⁹ · 3 · 5² · 7 · 11	1	5²,15⁶	3²,5,15¹¹
20A	20	2217600 = 2⁷ · 3² · 5² · 7 · 11	1	10²,20⁴	1,5³,20⁸	Power equivalent
20B	20	2217600 = 2⁷ · 3² · 5² · 7 · 11	1	10²,20⁴	1,5³,20⁸	Power equivalent

Generalized Monstrous Moonshine[edit]

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 $T_{10A}(\tau )$ where one can set a(0) = 4 (OEIS: A058097),

{\begin{aligned}j_{10A}(\tau )&=T_{10A}(\tau )+4\\&={\Big (}{\big (}{\tfrac {\eta (\tau )\,\eta (5\tau )}{\eta (2\tau )\,\eta (10\tau )}}{\big )}^{2}+2^{2}{\big (}{\tfrac {\eta (2\tau )\,\eta (10\tau )}{\eta (\tau )\,\eta (5\tau )}}{\big )}^{2}{\Big )}^{2}\\&={\Big (}{\big (}{\tfrac {\eta (\tau )\,\eta (2\tau )}{\eta (5\tau )\,\eta (10\tau )}}{\big )}+5{\big (}{\tfrac {\eta (5\tau )\,\eta (10\tau )}{\eta (\tau )\,\eta (2\tau )}}{\big )}{\Big )}^{2}-4\\&={\frac {1}{q}}+4+22q+56q^{2}+177q^{3}+352q^{4}+870q^{5}+1584q^{6}+\dots \end{aligned}}

References[edit]

^ Jansen (2009), p. 123
^ ^a ^b "Constructing HS and Co3 in GAP 4".
^ Wilson (2009), p. 213
^ Conway et al. (1985)
^ "ATLAS: Higman–Sims group HS".

Conway, John Horton (1968), "A perfect group of order 8,315,553,613,086,720,000 and the sporadic simple groups", Proceedings of the National Academy of Sciences of the United States of America, 61 (2): 398–400, Bibcode:1968PNAS...61..398C, doi:10.1073/pnas.61.2.398, ISSN 0027-8424, MR 0237634, PMC 225171, PMID 16591697
J. S. Frame (1972) 'Computations of Characters of the Higman-Sims Group and its Automorphism Group' Journal of Algebra, 20, 320-349
Conway, John Horton; Parker, Richard A.; Norton, Simon P.; Curtis, R. T.; Wilson, Robert A. (1985), Atlas of finite groups, Oxford University Press, ISBN 978-0-19-853199-9, MR 0827219
Dixon, John D.; Mortimer, Brian (1996), Permutation groups, Graduate Texts in Mathematics, vol. 163, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-0731-3, ISBN 978-0-387-94599-6, MR 1409812
Gallian, Joseph (1976), "The search for finite simple groups", Mathematics Magazine, 49 (4): 163–180, doi:10.2307/2690115, ISSN 0025-570X, JSTOR 2690115, MR 0414688
Griess, Robert L. Jr. (1998), Twelve sporadic groups, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-662-03516-0, ISBN 978-3-540-62778-4, MR 1707296
Higman, Donald G.; Sims, Charles C. (1968), "A simple group of order 44,352,000" (PDF), Mathematische Zeitschrift, 105 (2): 110–113, doi:10.1007/BF01110435, hdl:2027.42/46258, ISSN 0025-5874, MR 0227269, S2CID 32803979
Higman, Graham (1969), "On the simple group of D. G. Higman and C. C. Sims", Illinois Journal of Mathematics, 13: 74–80, doi:10.1215/ijm/1256053736, ISSN 0019-2082, MR 0240193
Jansen, Christoph (2005). "The minimal degrees of faithful representations of the sporadic simple groups and their covering groups". LMS Journal of Computation and Mathematics. 8: 123. doi:10.1112/S1461157000000930.
Magliveras, Spyros S. (1971), "The subgroup structure of the Higman–Sims simple group", Bulletin of the American Mathematical Society, 77 (4): 535–539, doi:10.1090/S0002-9904-1971-12743-X, ISSN 0002-9904, MR 0283077
Wilson, Robert A. (2009), The finite simple groups., Graduate Texts in Mathematics 251, vol. 251, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, Zbl 1203.20012

External links[edit]

[1] Jansen (2009), p. 123

[gapdoc-2] "Constructing HS and Co3 in GAP 4".

[3] Wilson (2009), p. 213

[4] Conway et al. (1985)

[5] "ATLAS: Higman–Sims group HS".

[1]

[2]

[3]

[4]

[5]