Regular 4‐polytopes related to general orthogonal groups

For each odd prime p there is a finite regular abstract 4‐dimensional polytope of type {3, 3, p }. Its cells are simplices, and its vertex figures belong to an infinite family of regular polyhedra. We also give a geometric realization for these polytopes.