On the fundamental group of an orbit space

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.