# Irreducible Riemannian manifold

From Diffgeom

*This article defines a property that makes sense for a Riemannian metric over a differential manifold*

## Definition

A Riemannian manifold is said to be irreducible if no finite cover of it can be expressed (in the isometric sense) as a direct product of manifolds of smaller dimensions.