Self-pure-generators over Dedekind domains (Q2318349)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Self-pure-generators over Dedekind domains |
scientific article |
Statements
Self-pure-generators over Dedekind domains (English)
0 references
15 August 2019
0 references
An \(R\)-module \(A\) is said to be a self-pure-generator if every pure submodule \(K\leq A\) is \(A\)-generated, namely if there exists an epimorphism \(\bigoplus A\to K\), for some direct sum of copies of \(A\). In the category of \(R\)-modules, where \(R\) is a Dedekind domain, the author gives the following equivalent characterizations, Theorem 2.4: A finite rank torsion-free module \(A\) is a) self-pure-generator, b) all pure rank 1 submodules of \(A\) are \(A\)-generated, c) \(A\) has a quasi-direct summand \(B\) of rank 1 such that \textbf{type}\((B)\)=\textbf{IT}\((A)\), d) \(A\) has a direct summand \(B\) of rank 1 such that \textbf{type}\((B)\)=\textbf{IT}\((A)\). Here the inner type of \(A\) is computed as \textbf{IT}\((A)=inf\{type(x_1),\dots,type(x_n)\}\), where \(x_1,\dots,x_n\) is a maximal independent system of \(A\). The author also gives a characterization (Theorem 3.1) of when a non-measurable product of indecomposable finite rank torsion-free groups is self-pure-generator; this characterization is likewise in terms of types and inner types. Example 3.2 exhibits a direct sum \(G\) of a countable family of rank one Abelian groups, such that \(G\) is self-pure-generator, but \(G\) has no direct summands of rank 1.
0 references
Dedekind domain
0 references
finite rank torsion-free module
0 references
pure submodule
0 references
self-pure-generator
0 references
type
0 references
inner type
0 references