Kaplansky decompositions of Polish modules
Abstract
Let R be a countable ring. Given an R-module A, we call a decomposition A = ⨁i ∈ I Ni a Kaplansky decomposition if each Ni is countable. We characterize the uncountable Polish R-modules that admit a Kaplansky decomposition: they are exactly the modules of the form B ⊕ Mω, where B and M are countable and M is Σ-algebraically compact. The countable summand B may moreover be taken to be an elementary submodule satisfying a closure condition, which makes Mω unique up to isomorphism, and hence an invariant of A. We use this to characterize the countable rings admitting a free uncountable Polish R-module, generalizing results of Shelah and Solecki. This class of rings has a purely ring-theoretic description: it consists exactly of the countable left perfect and right coherent rings, i.e. the rings identified by Chase's theorem on products of projective modules. We observe that these are also exactly the countable F-rings, i.e. those countable rings R for which Rω is free. Finally, we give a ring-theoretic characterization of the countable rings R for which there exists an uncountable projective Polish R-module.
Related
- The Kaplansky-Walker Lemma for additive categories
- A Note on the OpenAI Construction of Counterexamples to the Kaplansky Direct-Finiteness Conjecture
- The Ulam--Kaplansky problem in operator algebras
- Semifields in prime dimensions and counterexamples to Kaplansky's conjecture
- Kaplansky's conjectures fail for torsion-free hyperbolic groups in positive characteristic
BibTeX
@misc{herzog2026kaplansky,
title = {{Kaplansky decompositions of Polish modules}},
author = {Ivo Herzog and Gianluca Paolini and Saharon Shelah},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.34505},
eprint = {2609.34505},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.34505},
}
RIS
TY - UNPB
TI - Kaplansky decompositions of Polish modules
AU - Ivo Herzog
AU - Gianluca Paolini
AU - Saharon Shelah
PY - 2026
DA - 2026/10/08
PB - arXiv
DO - 10.48550/arxiv.2609.34505
UR - https://arxiv.org/abs/2609.34505
AB - Let R be a countable ring. Given an R-module A, we call a decomposition A = ⨁_i ∈ I N_i a Kaplansky decomposition if each N_i is countable. We characterize the uncountable Polish R-modules that admit a Kaplansky decomposition: they are exactly the modules of the form B ⊕ M^ω, where B and M are countable and M is Σ-algebraically compact. The countable summand B may moreover be taken to be an elementary submodule satisfying a closure condition, which makes M^ω unique up to isomorphism, and hence an invariant of A. We use this to characterize the countable rings admitting a free uncountable Polish R-module, generalizing results of Shelah and Solecki. This class of rings has a purely ring-theoretic description: it consists exactly of the countable left perfect and right coherent rings, i.e. the rings identified by Chase's theorem on products of projective modules. We observe that these are also exactly the countable F-rings, i.e. those countable rings R for which R^ω is free. Finally, we give a ring-theoretic characterization of the countable rings R for which there exists an uncountable projective Polish R-module.
ER -