English

Characterizing categoricity in several classes of modules

Rings and Algebras 2022-10-11 v3 Logic

Abstract

We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules. Theorem.Theorem. Assume RR is an associative ring with unity. 1. The class of locally pure-injective RR-modules is λ\lambda-categorical in allall λ>R+0\lambda > |R|+\aleph_0 if and only if RMn(D)R \cong M_n(D) for DD a division ring and n1n \geq 1. 2. The class of flat RR-modules is λ\lambda-categorical in allall λ>R+0\lambda > |R| + \aleph_0 if and only if RMn(k)R \cong M_n(k) for kk a local ring such that its maximal ideal is left TT-nilpotent and n1n \geq 1. 3. Assume RR is a commutative ring. The class of absolutely pure RR-modules is λ\lambda-categorical in allall λ>R+0\lambda > |R| + \aleph_0 if and only if RR is a local artinian ring. We show that in the above results it is enough to assume λ\lambda-categoricity in somesome large cardinal λ\lambda. This shows that Shelah's Categoricity Conjecture holds for the class of locally pure-injective modules, flat modules and absolutely pure modules. These classes are not first-order axiomatizable for arbitrary rings. We provide rings such that the class of flat modules is categorical in a tail of cardinals but it is not first-order axiomatizable.

Keywords

Cite

@article{arxiv.2202.07900,
  title  = {Characterizing categoricity in several classes of modules},
  author = {Marcos Mazari-Armida},
  journal= {arXiv preprint arXiv:2202.07900},
  year   = {2022}
}

Comments

15 pages

R2 v1 2026-06-24T09:40:24.929Z