Simply presented modules and Warfield modules are described in a class of mixed modules h with the property that the torsion submodule is a direct sum of cyclics and the quotient modulo the torsion submodule is divisible of arbitrary rank. Analogous to a result of Warfield it is shown that the mixed modules of torsion-free rank one are in some sense the building blocks of such modules. The results extend our previous work describing this class by relation arrays which are a natural outgrowth of their basic generating systems. Moreover, an intimate connection is shown between relation arrays and the indicators of modules. Furthermore, we prove two realizability results one of which is analogous to a theorem of Megibben for mixed modules of torsion-free rank one. One gives necessary and sufficient conditions on when a relation array of a module can realize an indicator of finite-type while the other shows that an admissable indicator can be realized by a simply presented module of torsion-free rank one. 0. Introduction. This paper characterizes the simply presented modules in a class of mixed modules h with the property that the torsion submodule is a direct sum of cyclics and the quotient modulo the torsion submodule is divisible of arbitrary rank. This class was described by generators and relations and the concept of a relation array and its properties studied in a series of papers [4,6,7,8]. In [6] we gave a splitting criterion in terms of the relation array which was extended in [7] to a larger class where the quotient p-rank is finite. In this paper we show the connection between the calculation of indicators done in [4] and the relation arrays. We then use this to describe the simply presented and Warfield modules in the class h.
Warfield modules and simply presented modules are considered whose torsion submodule is a direct sum of cyclics. A correspondence between Warfield modules and completely decomposable groups is established by showing that such a mixed module G is Warfield if and only if Gap w G is simply presented and p w G is completely decomposable. We give an example to show that this result cannot be extended to ordinals s b w. We also connect with the work of Nunke to characterize modules G whose zeroth Ulm factors are torsion in terms of Gap s G simply presented and p s G completely decomposable.Introduction. In this paper we investigate Warfield modules and simply presented modules whose torsion submodules are a direct sum of cyclics. We show a correspondence between Warfield modules and completely decomposable modules by showing that such mixed modules G are Warfield if and only if p s G is completely decomposable and Gap s G is Warfield for s bigger or equal to w. This is a strengthening of a result of Hill and Megibben [3]. Considering only the ordinal w we obtain a stronger result, namely, a module G is Warfield if and only if its first Ulm submodule p w G is completely decomposable and its zeroth Ulm factor Gap w G is simply presented. We show that for modules G with torsion zeroth Ulm factor the last result can be extended to ordinals s b w. However this breaks down if the module contains indicators of both the finite and w-type. Indeed we explicitly describe such a module G of torsion-free rank two which is Warfield but where Gap w1 G is not simply presented.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.