A new algorithm to classify chiral polytopes with a given automorphism group


We present a new algorithm to compute all the chiral polytopes that have a given group as full automorphism group. This algorithm uses a new set of generators that characterize the group, all of them except one being involutions. It permits to compute all chiral polytopes of groups that were previously unreachable by other known algorithms.

This is a preview of subscription content, access via your institution.

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.


  1. 1.

    See https://www.math.auckland.ac.nz/~conder/.


  1. Bosma, W., Cannon, J., Playoust, C.: The Magma algebra system. I. The user language. J. Symbol. Comput. 24, 235–265 (1997)

    MathSciNet  Article  Google Scholar 

  2. Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A., Wilson, R.A.: Atlas of Finite Groups. Oxford U.P, Oxford (1985)

    Google Scholar 

  3. Coxeter, H.S.M., Moser, W.O.J.: Generators and Relations for Discrete Groups, 3rd edn. Springer, New York (1972)

    Google Scholar 

  4. Fernandes, M.E.: Dimitri Leemans, and Asia Ivić Weiss. Highly symmetric hypertopes. Aequat. Math. 90, 1045–1067 (2016)

    Article  Google Scholar 

  5. Hartley, M.I.: An atlas of small regular polytopes. Per. Math. Hung. 53, 149–156 (2006). Full atlas online athttp://www.abstract-polytopes.com/atlas/

  6. Hartley, M.I., Hulpke, A.: Polytopes derived from sporadic simple groups. Contrib. Discrete Math. 5, 106–118 (2010). Full atlas online at http://www.abstract-polytopes.com/sporpolys/

  7. Hartley, M.I., Hubard, I., Leemans, D.: Two atlases of abstract chiral polytopes for small groups. Ars Mathematica Contemporanea 5, 371–382 (2012)

    MathSciNet  Article  Google Scholar 

  8. Leemans, D.: String C-group representations of almost simple groups: a survey. Contemp. Math. (to appear) (2019)

  9. Leemans, D., Mixer, M.: Algorithms for classifying regular polytopes with a fixed automorphism group. Contrib. Discrete Math. 7(2), 105–108 (2012)

    MathSciNet  MATH  Google Scholar 

  10. Leemans, D., Vauthier, L.: An atlas of abstract regular polytopes for small groups. Aequat. Math., 72, 313–320 (2006). Full atlas online at http://homepages.ulb.ac.be/~dleemans/polytopes/

  11. Liebeck, M.W., Shalev, A.: Classical groups, probabilistic methods and the \((2,3)\)-generation problem. Ann. Math. Sec. Ser. 144(1), 77–125 (1996)

    MathSciNet  Article  Google Scholar 

  12. McMullen, P., Schulte, E.: Abstract Regular Polytopes. Cambridge University Press, Cambridge (2002)

    Google Scholar 

  13. Schulte, E., Weiss, A.I.: Chiral polytopes. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4 (1991)

Download references


The authors would like to thank an anonymous referee for fruitful comments on a preliminary version of this paper.

Author information



Corresponding author

Correspondence to Francis Buekenhout.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Buekenhout, F., Leemans, D. & Tranchida, P. A new algorithm to classify chiral polytopes with a given automorphism group. Beitr Algebra Geom (2021). https://doi.org/10.1007/s13366-020-00536-1

Download citation


  • Chiral polytopes
  • \(C^+\)-groups
  • Hypertopes