All polytopes are quotients, and isomorphic polytopes are quotients by conjugate subgroups (Q1283773)

Earlier work by Kato and Davis established that an abstract polytope satisfying some extra conditions can be obtained as the quotient of a regular polytope \({\mathcal M}\) by a subgroup \(N\) of the automorphism group of \({\mathcal M}\). Davis's methods were inspired by those used by Tits to obtain similar results in the theory of buildings. Using more elementary methods, the author manages to prove the preceding result in full generality. He constructs a partially ordered set from a string \(C\)-group and one of its subgroups, and proves that any abstract polytope is isomorphic to a similar poset. He moreover shows that isomorphic polytopes are quotients of a regular polytope \({\mathcal M}\) by conjugate subgroups of the automorphism group of \({\mathcal M}\).