I've been reading Irving Stringham's 1880 thesis, "Regular Figures in n-dimensional Space" (only 14 pages!), after it was mentioned by Coxeter in Regular Polytopes (§7.x). I'm confused about what Stringham considers "regular".
The only definition he seems to give is for a regular angle: "one all of whose boundaries of any given number of dimensions are the same in form and magnitude." It seems to be implied that the same definition applies to a "regular figure". I would express this as saying "All $j$-faces are congruent, for each $j$."
This is not the same as the usual definition of regularity, which is that the symmetry group acts transitively on flags. For instance, the deltahedra, such as the equilateral triangular bipyramid, have the property that all faces of a given rank are congruent. So do the rhombic dodecahedron and rhombic triacontahedron.
So, fine; we can just bear in mind that Stringham is using "regular" to mean something different. But on page 2, he says "the number of regular 4-fold angles that can be made up of regular polyhedral angles is five", i.e., the vertex figure must be one of the five Platonic solids.
This seems to be false under his definition of regular. My questions are:
- Is this indeed an error, or is the defect in my understanding?
- If it is an error, does it impact the further conclusions of the paper? Or can we just replace the definition of "regular angle" with "one whose symmetry group acts transitively on all maximal chains of mutually incident faces" and then everything follows?