I would like to find an appropriate reference for the following statement:


**Statement.** Let $M$ be a compact Riemannian manifold with non-negative Ricci curvature.
Then $\pi\_1(M)$ is virtually abelian.


It seems to me that the statement should follow from the article of Cheeger and Gromoll 
"The spletting theorem for manifolds of non-negative Ricci curvature"
<http://intlpress.com/JDG/archive/1972/6-1-119.pdf>
but since it is not stated explicitly in the article I am not 100% sure.


So, what would be a reference?



Fundamental groups of compact manifolds with non-negative Ricci curvature.
The following paper has more than you want.


[Wilking, Burkhard On fundamental groups of manifolds of nonnegative curvature. Differential Geom. Appl. 13 (2000), no. 2, 129–165.](http://wwwmath.uni-muenster.de/sfb/about/publ/wilking3.ps)


