Regular quaternionic polytopes (Q1899415)

A polytope in quaternionic space is a finite configuration of points, lines, \dots, hyperplanes with certain connectedness properties, generalizing the combinatorial concept of convex polytope. Such a polytope \(P\) has flags, consisting of mutually incident elements of each dimension; \(P\) is regular if its (affine) automorphism group is transitive on its flags. The author here classifies the regular quaternionic polytopes, showing that their groups are always generated by reflexions.