Cellular covers of cotorsion-free modules

摘要

In this paper we improve recent results dealing with cellular covers of R-modules. Cellular covers (sometimes called colocalizations) come up in the context of homotopical localization of topological spaces. They are related to idempotent cotriples, idempotent comonads or coreectors in category theory. Recall that a homomorphism of R-modules π: G → H is called a cellular cover over H if π induces an isomorphism π *: Hom _R(G;G) ?= Hom _R(G;H); where π _*(ψ) = πψ for each ψ ε Hom _R(G;G) (where maps are acting on the left). On the one hand, we show that every cotorsion-free R-module of rank κ < 2 ~(?0) is realizable as the kernel of some cellular cover G → H where the rank of G is 3κ + 1 (or 3, if κ = 1). The proof is based on Corner's classical idea of how to construct torsion-free abelian groups with prescribed countable endomorphism rings. This complements results by Buckner-Dugas. On the other hand, we prove that every cotorsion-free R-module H that satisfies some rigid conditions admits arbitrarily large cellular covers G → H. This improves results by Fuchs-G?bel and Farjoun-G?bel-Segev-Shelah.