De Rham decomposition theorems for foliated manifolds
We prove that if is a complete simply connected Riemannian manifold and is a totally geodesic foliation of with integrable normal bundle, then is topologically a product and the two foliations are the product foliations. We also prove a decomposition theorem for Riemannian foliations and a structure theorem for Riemannian foliations with recurrent curvature.