English

Failure of singular compactness for Hom

Group Theory 2026-02-10 v2 Commutative Algebra Logic

Abstract

Assuming G\"odel's axiom of constructibility V=LV=L, we construct a χ\chi-free abelian group GG of singular cardinality for some suitable cardinal χ\chi which is regular and uncountable, equipped with the property that for every nontrivial subgroup GGG' \subseteq G of smaller cardinality, Hom(G,Z)0Hom(G',\mathbb{Z}) \neq 0, while Hom(G,Z)=0Hom(G,\mathbb{Z}) = 0. This provides a consistent counterexample to the singular compactness of nontrivial duality with respect to the functor Hom(,Z)Hom(-,\mathbb{Z}).

Cite

@article{arxiv.2506.03633,
  title  = {Failure of singular compactness for Hom},
  author = {Mohsen Asgharzadeh and Mohammad Golshani and Saharon Shelah},
  journal= {arXiv preprint arXiv:2506.03633},
  year   = {2026}
}
R2 v1 2026-07-01T02:58:26.118Z