Abstract
To each supersimple 2-(n,4,λ) design D one associates a ‘Conway groupoid’, which may be thought of as a natural generalisation of Conway’s Mathieu groupoid M13 which is constructed from P3.
We show that Sp2m(2) and 22m. Sp2m(2) naturally occur as Conway groupoids associated to certain designs. It is shown that the incidence matrix associated to one of these designs generates a new family of completely transitive F2-linear codes with minimum distance 4 and covering radius 3, whereas the incidence matrix of the other design gives an alternative construction of a previously known family of completely transitive codes.
We also give a new characterization of M13 and prove that, for a fixed λ > 0; there are finitely many Conway groupoids for which the set of morphisms does not contain all elements of the full alternating group.
This is a preview of subscription content, access via your institution.
References
- [1]
L. Babai: On the order of uniprimitive permutation groups, Ann. of Math. (2) 113 (1981), 553–568.
- [2]
J. Borges, J. Rifà and V. A. Zinoviev: On non-antipodal binary completely regular codes, Discrete Math. 308 (2008), 3508–3525.
- [3]
J. Borges, J. Rifà and V. A. Zinoviev: New families of completely regular codes and their corresponding distance regular coset graphs, Des. Codes Cryptogr. 70 (2014), 139–148.
- [4]
J. Borges, J. Rifà and V. A. Zinoviev: On q-ary linear completely regular codes with ρ=2 and antipodal dual, Adv. Math. Commun. 4 (2010), 567–578.
- [5]
A. E. Brouwer, A. M. Cohen and A. Neumaier: Distance-regular graphs, volume 18 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], Springer-Verlag, Berlin, 1989.
- [6]
C. J. Colbourn and J. H. Dinitz: Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications), Chapman & Hall/CRC, 2006.
- [7]
J. H. Conway: M 13, in Surveys in combinatorics, 1997 (London), volume 241 of London Math. Soc. Lecture Note Ser., 1–11. Cambridge Univ. Press, Cambridge, 1997.
- [8]
J. H. Conway, N. D. Elkies and J. L. Martin: The Mathieu group M12 and its pseudogroup extension M13, Experiment. Math. 15 2 (2006), 223–236.
- [9]
P. Delsarte: An algebraic approach to the association schemes of coding theory, Philips Res. Rep. Suppl. 10, 1973.
- [10]
J. D. Dixon and B. Mortimer: Permutation groups, volume 163 of Graduate Texts in Mathematics, Springer-Verlag, 1996.
- [11]
The GAP Group, http://www.gap-system.org}: GAP–Groups, Algorithms, and Programming, Version 4.7.4, 2014.
- [12]
N. Gill, N. I. Gillespie, A. Nixon and J. Semeraro: Generating groups using hypergraphs, Q. J. Math. 67 (2016), 29–52.
- [13]
N. Gill, N. I. Gillespie, C. E. Praeger and J. Semeraro: Conway groupoids, regular two-graphs and supersimple designs, preparation available at http://arxiv.org/abs/1510.06680
- [14]
M. Giudici and C. E. Praeger: Completely transitive codes in Hamming Graphs, European Journal of Combinatorics 20 (1999), 647–662.
- [15]
M. W. Liebeck and J. Saxl: Minimal degrees of primitive permutation groups,with an application to monodromy groups of covers of Riemann surfaces, Proc. London Math. Soc. (3) 63 (1991), 266–314.
- [16]
A. Mann, C. E. Praeger and Á. Seress: Extremely primitive groups, Groups Geom. Dyn. 1 (2007), 623–660.
- [17]
W. A. Manning: The primitive groups of class 2p which contain a substitution of order p and degree 2p, Trans. Amer. Math. Soc. 4 3 (1903), 351–357.
- [18]
W. A. Manning: On the primitive groups of classes six and eight, Amer. J. Math. 3 (1910), 235–256.
- [19]
P. Mihailescu: Primary cyclotomic units and a proof of Catalan’s conjecture, J. Reine Angew. Math. 572 (2004), 167–195.
- [20]
A. Neumaier: Completely regular codes, Discrete Math., 106/107:353–360, 1992, A collection of contributions in honour of Jack van Lint.
- [21]
J. Rifà and V. A. Zinoviev: On a class of binary linear completely transitive codes with arbitrary covering radius, Discrete Math. 309 (2009), 5011–5016.
- [22]
J. Rifà and V. A. Zinoviev: New completely regular q-ary codes based on Kronecker products, IEEE Trans. Inform. Theory 56 (2010), 266–272.
- [23]
J. Rifà and V. A. Zinoviev: On lifting perfect codes, IEEE Trans. Inform. Theory 57 (2011), 5918–5925.
- [24]
D. E. Taylor: The geometry of the classical groups, Helderman, Berlin, 1992.
- [25]
M. Wertheimer: Oval designs in quadrics, in: Finite geometries and combinatorial designs (Lincoln, NE, 1987), 287–297, Contemp. Math., 111, Amer. Math. Soc., Providence, RI, 1990.
Author information
Affiliations
Corresponding author
Additional information
Part of the work for this paper was completed while Nick Gill was a visiting professor at the Universidad de Costa Rica. He would like to thank the mathematics department there for their warm hospitality. In addition, all three authors would like to thank Pro-fessor Noam Elkies for answering our questions about M13, and an anonymous referee for pointing out several inaccuracies in an earlier version of the paper.
Rights and permissions
About this article
Cite this article
Gill, N., Gillespie, N.I. & Semeraro, J. Conway Groupoids and Completely Transitive Codes. Combinatorica 38, 399–442 (2018). https://doi.org/10.1007/s00493-016-3433-7
Received:
Revised:
Published:
Issue Date:
Mathematics Subject Classification (2000)
- 20B15
- 20B25
- 05B05