splitting theorem

on when a complete Riemannian manifold with nonnegative Ricci curvature is a product space