Let \(Y\) be a space obtained from a space \(X\) by attaching an \(n\)-cell. What is the relationship between the homology groups of \(X\) and of \(Y\)? Specifically, prove the following, where \(f:X\to Y\) is inclusion.
- \(f_*:H_i(X)\to H_i(Y)\) is an isomorphism for \(i\ne n-1,n\).
- \(f_*:H_{n-1}(X)\to H_{n-1}(Y)\) is surjective.
- \(f_*:H_n(X)\to H_n(Y)\) is injective.
- Either \(f_*:H_{n-1}(X)\to H_{n-1}(Y)\) has finite kernel or \(f_*:H_n(X)\to H_n(Y)\) is an isomorphism (but not both).
Assuming the ranks of \(H_{n-1}(X)\) and \(H_n(X)\) are finite, also prove that \[ \operatorname {rank}(H_n(X))-\operatorname {rank}(H_{n-1}(X)) =\operatorname {rank}(H_n(Y))-\operatorname {rank}(H_{n-1}(Y))-1. \]