Published online by Cambridge University Press: 14 November 2011
If G is a discontinuous group of homeomorphisms of a connected, locally path connected space X, which acts freely on X, then the projection π: X → X/G is a covering map and has the homotopy lifting property. Here we allow the elements of G to have fixed points and use work of Rhodes to investigate how two loops in X are related if their projections are homotopic in X/G. This enables us to establish a formula for the fundamental group of the orbit space of a discontinuous group under very general conditions. Finally we show by means of an example that some restriction on the action near fixed points is needed for the formula to be valid.