The construction of mixed modules from torsion modules (Q1319583)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The construction of mixed modules from torsion modules
scientific article

    Statements

    The construction of mixed modules from torsion modules (English)
    0 references
    0 references
    0 references
    3 April 1995
    0 references
    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)\).
    0 references
    reduced torsion-free ring of finite rank
    0 references
    mixed modules
    0 references
    torsion modules
    0 references
    mixed group
    0 references
    small endomorphisms
    0 references
    realization theorems
    0 references
    reduced abelian group
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references