If \(X\) and \(Y\) are compact connected smooth \(n\)-manifolds then for \(0<k<n\), the singular homology satisfies \[ H_k(X\times Y,\mathbb {Z})=H_k(X,\mathbb {Z})\oplus H_k(Y,\mathbb {Z}). \]
Question
Math 6510 • Differentiable Manifolds
Fall 1994 • Question 5