Conway Groupoids and Completely Transitive Codes

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

    L. Babai: On the order of uniprimitive permutation groups, Ann. of Math. (2) 113 (1981), 553–568.

    MathSciNet  Article  MATH  Google Scholar 

  2. [2]

    J. Borges, J. Rifà and V. A. Zinoviev: On non-antipodal binary completely regular codes, Discrete Math. 308 (2008), 3508–3525.

    MathSciNet  Article  MATH  Google Scholar 

  3. [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.

    MathSciNet  Article  MATH  Google Scholar 

  4. [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.

    MathSciNet  Article  MATH  Google Scholar 

  5. [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.

    Google Scholar 

  6. [6]

    C. J. Colbourn and J. H. Dinitz: Handbook of Combinatorial Designs, Second Edition (Discrete Mathematics and Its Applications), Chapman & Hall/CRC, 2006.

    Book  Google Scholar 

  7. [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.

    Google Scholar 

  8. [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.

    Article  MATH  Google Scholar 

  9. [9]

    P. Delsarte: An algebraic approach to the association schemes of coding theory, Philips Res. Rep. Suppl. 10, 1973.

  10. [10]

    J. D. Dixon and B. Mortimer: Permutation groups, volume 163 of Graduate Texts in Mathematics, Springer-Verlag, 1996.

    Book  MATH  Google Scholar 

  11. [11]

    The GAP Group, http://www.gap-system.org}: GAP–Groups, Algorithms, and Programming, Version 4.7.4, 2014.

  12. [12]

    N. Gill, N. I. Gillespie, A. Nixon and J. Semeraro: Generating groups using hypergraphs, Q. J. Math. 67 (2016), 29–52.

    MathSciNet  Article  MATH  Google Scholar 

  13. [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. [14]

    M. Giudici and C. E. Praeger: Completely transitive codes in Hamming Graphs, European Journal of Combinatorics 20 (1999), 647–662.

    MathSciNet  Article  MATH  Google Scholar 

  15. [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.

    MathSciNet  Article  MATH  Google Scholar 

  16. [16]

    A. Mann, C. E. Praeger and Á. Seress: Extremely primitive groups, Groups Geom. Dyn. 1 (2007), 623–660.

    MathSciNet  Article  MATH  Google Scholar 

  17. [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.

    MathSciNet  MATH  Google Scholar 

  18. [18]

    W. A. Manning: On the primitive groups of classes six and eight, Amer. J. Math. 3 (1910), 235–256.

    MathSciNet  Article  MATH  Google Scholar 

  19. [19]

    P. Mihailescu: Primary cyclotomic units and a proof of Catalan’s conjecture, J. Reine Angew. Math. 572 (2004), 167–195.

    MathSciNet  MATH  Google Scholar 

  20. [20]

    A. Neumaier: Completely regular codes, Discrete Math., 106/107:353–360, 1992, A collection of contributions in honour of Jack van Lint.

    MATH  Google Scholar 

  21. [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.

    MathSciNet  Article  MATH  Google Scholar 

  22. [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.

    MathSciNet  Article  MATH  Google Scholar 

  23. [23]

    J. Rifà and V. A. Zinoviev: On lifting perfect codes, IEEE Trans. Inform. Theory 57 (2011), 5918–5925.

    MathSciNet  Article  MATH  Google Scholar 

  24. [24]

    D. E. Taylor: The geometry of the classical groups, Helderman, Berlin, 1992.

    MATH  Google Scholar 

  25. [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.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Nick Gill.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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

Download citation

Mathematics Subject Classification (2000)

  • 20B15
  • 20B25
  • 05B05