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
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