Skip to content

\(3.\mathrm{Suz}:2\) as a subgroup of Conway group Co1

The presentation and subgroup generators on this page come from Section 4.34, page 122, of Praeger and Soicher's book.

Claim

Let \(G\) be the group defined by the displayed presentation of \(2\times\mathrm{Co}_1\), and let \(z\) generate its direct factor of order \(2\). If

\[ H=\langle a,b,c,d,e,f,g,h,z\rangle \cong 2\times(3.\mathrm{Suz}:2), \]

then \(H/\langle z\rangle\cong 3.\mathrm{Suz}:2\) and

\[ [\mathrm{Co}_1:H/\langle z\rangle]=[G:H]=1,545,600. \]

We verify the claimed index, but not the claimed isomorphism type.

The code

The following self-contained script constructs the presentation and runs the Todd-Coxeter algorithm. The recorded run took about 13 seconds.

Code 
from itertools import combinations

from libsemigroups_pybind11 import (
    Presentation,
    ToddCoxeter,
    congruence_kind,
    presentation,
)


def coxeter_presentation(
    alphabet: str,
    edge_orders: dict[str, int],
) -> Presentation:
    p = Presentation(alphabet)
    p.contains_empty_word(True)

    for generator in alphabet:
        presentation.add_rule(p, generator * 2, "")
    for x, y in combinations(alphabet, 2):
        word = x + y
        presentation.add_rule(p, word * edge_orders.get(word, 2), "")
    return p


p = coxeter_presentation(
    "abcdefghi",
    {
        "ab": 3,
        "bc": 3,
        "cd": 8,
        "de": 3,
        "ef": 3,
        "fg": 3,
        "gh": 3,
        "hi": 3,
    },
)
presentation.add_rule(p, "a", "cd" * 4)
presentation.add_rule(p, "bcde" * 8, "")

# The central involution generating the direct factor of order 2.
centre = (("bcdcdefgh" * 13) + "i") * 3

tc = ToddCoxeter(congruence_kind.onesided, p)
tc.strategy(ToddCoxeter.options.strategy.felsch).use_relations_in_extra(True)
for word in (*"abcdefgh", centre):
    tc.add_generating_pair(word, "")

tc.run()
actual_index = tc.number_of_classes()
print(f"The index of the subgroup is {actual_index}")
if actual_index != 1_545_600:
    raise RuntimeError(f"expected index 1545600, got {actual_index}")

The output

Truncated output from the Python script 
++++++++++++++++++++++++++++++++
#0: ToddCoxeter: RUN 0 START (strategy() = felsch)
#0: ToddCoxeter: |A| = 9, |R| = 47, |u| + |v| ∈ [2, 32], ∑(|u| + |v|) = 229
[... lines omitted ...]
#0: ToddCoxeter: RUN 0 STOP (finished)
#0: ToddCoxeter: run 0                |       lookahead |         lookbehind |               hlt |        felsch
#0: ToddCoxeter: num. phases          |               1 |                  0 |                 0 |             1
#0: ToddCoxeter: time spent in phases |    1.357s (11%) |             - (0%) |            - (0%) | 11.397s (89%)
#0: ToddCoxeter: phase 0.2 = 1.363s   | run 0 = 12.760s | all runs = 12.760s | elapsed = 12.761s
The index of the subgroup is 1545600

The computed index is the claimed index: \(1,545,600\).