加载中…
We prove that for every compactum X and every integer there are a compactum Z of and a surjective -map having the property that: for every finitely generated abelian group G and every integer such that we have $\dim_G Z \leq k$ and r is G-acyclic, or equivalently: for every simply connected CW-complex K with finitely generated homotopy groups such that we have and r is K-acyclic. (A space is K-acyclic if every map from the space to K is null-homotopic. A map is K-acyclic if every fiber is K-acyclic.)

生成讲解博客的中文版本

生成AI智能校验的中文版本