Quotients of Some Finite Universal Locally Projective Polytopes

   Abstract. This paper classifies the quotients of a finite and locally projective polytope of type {4,3,5} . Seventy quotients are found, including three regular polytopes, and nine other section regular polytopes which are themselves locally projective. The classification is done with the assistance of GAP, a computer system for algebraic computation. The same techniques are also applied to two finite locally projective polytopes respectively of type {3,5,3} and {5,3,5} . No nontrivial quotients of the latter are found.