Characterizing categoricity in several classes of modules

Abstract

We show that the condition of being categorical in a tail of cardinals can be characterized algebraically for several classes of modules. $Theorem.$ Assume $R$ is an associative ring with unity. 1. The class of locally pure-injective $R$-modules is $\lambda$-categorical in $all$ $\lambda >|R|+{\aleph }_0$ if and only if $R\cong M_n(D)$ for $D$ a division ring and $n\ge 1$. 2. The class of flat $R$-modules is $\lambda$-categorical in $all$ $\lambda >|R|+{\aleph }_0$ if and only if $R\cong M_n(k)$ for $k$ a local ring such that its maximal ideal is left $T$-nilpotent and $n\ge 1$. 3. Assume $R$ is a commutative ring. The class of absolutely pure $R$-modules is $\lambda$-categorical in $all$ $\lambda >|R|+{\aleph }_0$ if and only if $R$ is a local artinian ring. We show that in the above results it is enough to assume $\lambda$-categoricity in $some$ 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.

arXiv comment15 pages

Cited by in corpus (1)

• Categoricity for transfinite extensions of modules