This paper introduces the notion of an unravelled abstract regular polytope, and proves
that
, where
is the transpose inverse
automorphism of
,
possesses such polytopes for various congruences of
. A
large number of small examples of such polytopes are given, along with extensive
details of their various properties.
