Me gustaría encontrar una referencia apropiada para la siguiente afirmación:
Declaración. Dejemos que $M$ sea una variedad riemanniana compacta con curvatura de Ricci no negativa. Entonces $\pi_1(M)$ es virtualmente abeliana.
Me parece que la afirmación debería desprenderse del artículo de Cheeger y Gromoll "El teorema de spletting para variedades de curvatura Ricci no negativa" http://intlpress.com/JDG/archive/1972/6-1-119.pdf pero como no se dice explícitamente en el artículo no estoy 100% seguro.
Entonces, ¿qué sería una referencia?
