×

Nonstandard uniserial modules over valuation domains. (English) Zbl 0679.13003

A commutative ring with identity is a valuation ring if its lattice of ideals is totally ordered by inclusion, it is a valuation domain if in addition it has no zero divisors. Clearly epic images of valuation domains are valuation rings. Some time ago, I. Kaplansky raised the question if all valuation rings are of this form. Only quite recently a partial answer could be given by L. Fuchs and L. Salce in their book “Modules over valuation domains” (1985; Zbl 0578.13004): In the constructible universe they exhibited a valuation ring of cardinality \(\omega_ 1\), which is not an epic image of a valuation domain. This was carried out by applying Jensen’s combinatorial principle \(\diamond_{\omega_ 1}.\)
The purpose of this note is to show that a set theoretic assumption weaker than the continuum hypothesis suffices, namely \(2^{\aleph_ 0}<2^{\aleph_ 1}\).

MSC:

13A18 Valuations and their generalizations for commutative rings
13L05 Applications of logic to commutative algebra
03H15 Nonstandard models of arithmetic

Citations:

Zbl 0578.13004
Full Text: DOI

References:

[1] Corner, A.L.S.: Fully rigid systems of modules, (unpublished) · Zbl 0712.16007
[2] Devlin, K.; Shelah, S.: A weak version of which follows from 2No &lt; 2N1 Israel J. Math. 29, 239–247 (1978). · Zbl 0403.03040 · doi:10.1007/BF02762012
[3] Franzen, B.; Göbel, R.: The Brenner-Butler-Corner-Theorem and it application to modules. To appear in ”Abelian Group Theory”, Proceedings Oberwolfach 1985: Gordon and Breach 1986.
[4] Fuchs, L.; Salce, L.: Modules over valuation domains. New York and Basel: Marcel Dekker 1985. · Zbl 0578.13004
[5] Fuchs, L.: Arbitrary large indecomposable divisible torsion modules over certain valuation domains. To appear. · Zbl 0611.13010
[6] Shores, T.S.; Lewis, W.T.: Serial modules and endomorphism rings Duke Math. J. 41, 889–909 (1974). · Zbl 0294.13007 · doi:10.1215/S0012-7094-74-04188-X
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.