Characterizing a class of simply presented modules by relation arrays

Abstract

Simply presented modules and Warfield modules are described in a class of mixed modules \(\cal 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.