Infinitary axiomatizability of slender and cotorsion-free groups

MaRDI QIDQ1840642zbMATH OpenFDO

Authors S. Shelah, Oren Kolman

Publication date 7 December 2001

Published in Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9910162, https://projecteuclid.org/euclid.bbms/1103055621

zbMATH Keywords

cotorsion-free abelian groupsinfinitary axiomatizabilityinfinitary logicslender abelian group

Mathematics Subject Classification ID

Set-theoretic model theory (03C55) Model-theoretic algebra (03C60) Other infinitary logic (03C75) Applications of logic to group theory (20A15) Torsion-free groups, infinite rank (20K20)

Abstract: The classes of slender and cotorsion-free abelian groups are axiomatizable in the infinitary logics L_{infty,omega_1} and L_{infty,omega}, respectively. The Baer-Specker group Z^omega is not L_{infty,omega_1}-equivalent to a slender group.

Review text

The paper continues earlier work by \textit{P. C. Eklof} [``Infinitary equivalence of abelian groups, Fundam. Math. 81, 305--314 (1974; Zbl 0327.02050)] in which he characterizes strongly \(\aleph_1\)-free groups as exactly those abelian groups which are \(L_{\infty \omega_1}\)-equivalent to free abelian groups. The authors show that the class of slender abelian groups and the class of cotorsion-free abelian groups respectively are axiomatizable in the logics \(L_{\infty \omega_1}\) and \(L_{\infty \omega}\) respectively. Thus \(\mathbb Z^\omega\) is not \(L_{\infty \omega_1}\)-equivalent to any slender groups. This strengthens the old result that \(\mathbb Z^\omega\) is not freee in another interesting direction.

Recommendations

• Slender groups and related concepts
• On the elementarity of some classes of abelian-by-infinite groups
• On radicals and products
• Automatic continuity of _1-free groups
• Publication:5751071

Cited in

(7)

• Cotorsion theories cogenerated by _1-free Abelian groups.
• Automatic continuity of _1-free groups
• On preservation of automatic continuity
• Slender modules, endo-slender abelian groups and large cardinals
• \(M\)-slenderness
• scientific article; zbMATH DE number 970521 (Why is no real title available?)
• Homomorphisms on infinite direct product algebras, especially Lie algebras

This page was built for publication: Infinitary axiomatizability of slender and cotorsion-free groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840642)