Standard generators of S4(7):2 are c and d where c is in class ??, d has order ? and cd has order ?? ... etc.
< a, b | a2 = b5 = (ab)7 = [a, b2]4 = (ababab2abab2)2 = [a, babab-2abab] = 1 >
Remark: Adding in the redundant relation [a, babab-1]2 = 1 of length 24 (giving a 2-generator, 7-relator, length 115 presentation) eases coset enumeration.
Last updated 27th August 1999,