The construction of mixed modules from torsion modules

DOI10.1007/BF01261358MaRDI QIDQ1319583zbMATH OpenOpenAlexFDO

Authors Rüdiger Göbel, Warren May

Publication date 3 April 1995

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01261358

zbMATH Keywords

mixed groupmixed modulesrealization theoremsreduced abelian groupreduced torsion-free ring of finite ranksmall endomorphismstorsion modules

Mathematics Subject Classification ID

Torsion modules and ideals in commutative rings (13C12) Endomorphism rings; matrix rings (16S50) Torsion-free groups, finite rank (20K15) Mixed groups (20K21) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)

Review text

This short note provides an elegant method for constructing mixed modules from torsion modules. The idea is, for a given reduced torsion-free ring \(A\) of finite rank, to produce a mixed group \(M\) such that \(\text{End}(M) = A \oplus \text{Hom}(M,T)\), where \(T\) is the torsion submodule of \(M\). The main result is about as nice as could be hoped for. Theorem. Let \(R\) be a commutative ring with identity, \(S\) a countable multiplicative monoid of non-zero-divisors of \(R\), and \(A\) a faithful \(S\)-reduced and \(S\)-torsion-free \(R\)-algebra. Given a cardinal \(\lambda\), then there exist a torsion \(A\)-module \(T\) and a family \(\{M_ i : i < \lambda\}\) of reduced \(A\)-modules such that for each \(i < \lambda\) the following hold: (i) The torsion submodule \(T_ i\) of \(M_ i\) is isomorphic to \(T\); (ii) \(M_ i\) is of rank one and contains an \(A\)-free \(S\)-full submodule; (iii) \(M_ i /T_ i\) is divisible; (iv) When restricted to \(T_ i\), the elements of \(\text{Hom}(M_ i, T_ i)\) are precisely the small endomorphisms of \(T_ i\); (v) For all \(j < \lambda\), \[ \text{Hom}_ R (M_ i,M_ j) = \begin{cases} A \oplus \text{Hom}_ R(M_ i,T) &\text{if \(i = j\)}\\ \text{Hom}_ R (M_ i, T) & \text{if \(i \neq j\)}\end{cases} \] One of the corollaries relates back to realization theorems of Corner, Zassenhaus and Butler. Corollary. Let \(A\) be a reduced, torsion-free ring of torsion-free rank \(n\) as an abelian group. Then there exists a reduced abelian group \(M\), with rank \(n\) and torsion subgroup \(T\), such that \(\text{End}_ Z (M) = A \oplus \text{Hom}_ Z(M,T)\).

Recommendations

• The construction of mixed modules from a theorem of linear algebra
• The construction of mixed modules from torsion-free modules
• On Endomorphism Algebras of Mixed Modules
• scientific article; zbMATH DE number 1567967

Cites work

• Classifying E-Rings
• Each countable reduced torsion-free commutative ring is a pure subring of an e-ring
• Every Countable Reduced Torsion-Free Ring is an Endomorphism Ring
• scientific article; zbMATH DE number 440710 (Why is no real title available?)
• scientific article; zbMATH DE number 516836 (Why is no real title available?)
• On Locally Free Torsion-Free Rings of Finite Rank
• Orders as Endomorphism Rings of Modules of the Same Rank
• Prescribing Endomorphism Algebras, a Unified Treatment
• The construction of mixed modules from torsion-free modules

Cited in

(8)

• The construction of mixed modules from torsion-free modules
• The construction of mixed modules from a theorem of linear algebra
• Every endomorphism of a local Warfield module of finite torsion-free rank is the sum of two automorphisms.
• Mixed trTLEP-structures and mixed Frobenius structures
• Constructing arbitrary torsion elements for a local cohomology module
• On Endomorphism Algebras of Mixed Modules
• Torsion-free Abelian groups torsion over their endomorphism rings
• Mixed modules in \(L^*\)

This page was built for publication: The construction of mixed modules from torsion modules

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