The classification of Z_p-modules with partial decomposition bases in L_

DOI10.1007/S00153-016-0506-7MaRDI QIDQ334996zbMATH OpenOpenAlexFDO

Authors Carol Jacoby, Peter Loth

Publication date 1 November 2016

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.06572

zbMATH Keywords

infinitary equivalencepartial decomposition basispartial isomorphismUlm-Kaplansky invariantsWarfield invariants

Mathematics Subject Classification ID

Properties of classes of models (03C52) Structure, classification theorems for modules and ideals in commutative rings (13C05) Mixed groups (20K21) Direct sums, direct products, etc. for abelian groups (20K25) Extensions of abelian groups (20K35)

Abstract: Ulm's Theorem presents invariants that classify countable abelian torsion groups up to isomorphism. Barwise and Eklof extended this result to the classification of arbitrary abelian torsion groups up to $L_{inftyomega}$-equivalence. In this paper, we extend this classification to a class of mixed $mathbb{Z}_p$-modules which includes all Warfield modules and is closed under $L_{inftyomega}$-equivalence. The defining property of these modules is the existence of what we call a partial decomposition basis, a generalization of the concept of decomposition basis. We prove a complete classification theorem in $L_{inftyomega}$ using invariants deduced from the classical Ulm and Warfield invariants.

Review text

This self-contained paper is another in a series of papers regarding related subjects (see e.g. [Rocky Mt. J. Math. 47, No. 2, 463--477 (2017; Zbl 1401.20062); Commun. Algebra 44, No. 8, 3262--3277 (2016; Zbl 1401.20060); Houston J. Math. 40, No. 4, 1007--1019 (2014; Zbl 1330.13010); Commun. Algebra 42, No. 10, 4333--4349 (2014; Zbl 1352.13006)]), by the authors. The aim is to extend Barwise and Eklof's classification of arbitrary torsion groups up to \(L_{\infty\omega}\)-equivalence to a class of mixed \(\mathbb Z_p\)-modules with partial decomposition basis. To this end the authors generalized the concept of decomposition basis for modules over PID's to that of partial decomposition basis. While the classification encompasses classification work of Warfield and Barwise-Eklof, the classification Theorem 4.7 seems to be in need of simplification (if possible) as it is in a user unfriendly form at the present state.

Recommendations

• Undefinability of local Warfield groups in \(L_{\infty\omega}\)
• Abelian groups. Structures and classifications
• scientific article; zbMATH DE number 6419780
• The classification of infinite abelian groups with partial decomposition bases in \(L_{\infty\omega}\)
• Abelian groups with partial decomposition bases in \(L^{\delta}_{\infty\omega}\). I

Cites work

• Abelian groups with partial decomposition bases in \(L^{\delta}_{\infty\omega}\). I
• Abelian groups with partial decomposition bases in \(L^{\delta}_{\infty\omega}\). II
• Abelian groups without elements of finite order
• Classification Theory of Abelian Groups. I: Balanced Projectives
• Global Warfield Groups
• Homology and direct sums of countable abelian groups
• scientific article; zbMATH DE number 3736055 (Why is no real title available?)
• scientific article; zbMATH DE number 3579063 (Why is no real title available?)
• scientific article; zbMATH DE number 3582421 (Why is no real title available?)
• scientific article; zbMATH DE number 3585570 (Why is no real title available?)
• scientific article; zbMATH DE number 6419780 (Why is no real title available?)
• scientific article; zbMATH DE number 3308418 (Why is no real title available?)
• scientific article; zbMATH DE number 3406215 (Why is no real title available?)
• Infinitary equivalence of \(\mathbb{Z}_p\)-modules with nice decomposition bases
• Infinitary properties of abelian torsion groups
• Modules Over Dedekind Rings and Valuation Rings
• Partial decomposition bases and global Warfield groups
• Partial decomposition bases and Warfield modules
• The classification of infinite abelian groups with partial decomposition bases in \(L_{\infty\omega}\)
• Undefinability of local Warfield groups in \(L_{\infty\omega}\)
• Zur Theorie der abzählbar-unendlichen Abelschen Gruppen

Cited in

(7)

• A family of \(\mathbb{Z}\) bases for the ring of \(S_ n\) characters and applications to the decomposition of Kronecker products
• Partial decomposition bases and Warfield modules
• Undefinability of local Warfield groups in \(L_{\infty\omega}\)
• Infinitary equivalence of \(\mathbb{Z}_p\)-modules with nice decomposition bases
• scientific article; zbMATH DE number 6419780 (Why is no real title available?)
• The classification of infinite abelian groups with partial decomposition bases in \(L_{\infty\omega}\)
• \(L_{\kappa\omega}\)-equivalence of abelian groups with partial decomposition bases

This page was built for publication: The classification of \(\mathbb {Z}_p\)-modules with partial decomposition bases in \(L_{\infty \omega}\)

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