On the fundamental group of an orbit space

Abstract

Introduction. Let K be a connected simplicial complex, finite or infinite, its polyhedron ((2), page 45) being the space X. Then X is connected. Suppose further that X is simply connected. For any group G of simplicial transformations of X, H will denote the normal subgroup generated by elements which have a non-empty fixed-point set.