Discrete homotopies and the fundamental group

Conrad Plaut, Jay Wilkins

We generalize and strengthen the theorem of Gromov that every compact Riemannian manifold of diameter at most D has a set of generators g_1,...,g_k of length at most 2D and relator…