Explicitly non-standard uniserial modules

DOI10.1016/0022-4049(93)90151-IMaRDI QIDQ2366053zbMATH OpenOpenAlexFDO

Authors S. Shelah, Paul C. Eklof

Publication date 29 June 1993

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9301207

zbMATH Keywords

existence of nonstandard uniserial module of a given typevaluation domain

Mathematics Subject Classification ID

Other special types of modules and ideals in commutative rings (13C13) Valuation rings (13F30) Arithmetic rings and other special commutative rings (13F99) Applications of logic to commutative algebra (13L05)

Abstract: A new construction is given of non-standard uniserial modules over certain valuation domains; the construction resembles that of a special Aronszajn tree in set theory. A consequence is the proof of a sufficient condition for the existence of non-standard uniserial modules; this is a theorem of ZFC which complements an earlier independence result.

Review text

A module over a commutative ring with identity is said to be uniserial if its lattice of submodules is totally ordered. A uniserial module is standard if for any of its sumodules \(I<J\), the module \(J/I\) is uniserial. An \(R\)-module \(U\) is of type \(J/R\) (where \(R\) is a domain and \(J\) is an \(R\)-submodule of the quotient field of \(R)\) if \(J/R \cong D(a)/ \text{Ann} (a)\) for a nonzero element \(a \in U\), \[ D(a)=\cup\{r^{- 1}R:r\text{ divides }a\text{ in }U\}. \] The authors are interested in necessary and sufficient conditions for a valuation domain \(R\) of cardinality \(\aleph_ 1\) to have the property that there is a nonstandard uniserial \(R\)-module of a given type \(J/R\). They prove several partial results (for example, if \(J/R\) is of essentially countable type, then there is an explicitly nonstandard uniserial \(R\)- module of type \(J/R\) (theorem 7)) and a very general result (theorem 12) which states that if \(\Gamma (J/R)=1\), then there is a nonstandard uniserial \(R\)-module of type \(J/R\). Here \(\Gamma (J/R)\) is an invariant which is an element of a Boolean algebra \({\mathcal P} (\omega_ 1)/ \rho\), where \(\rho\) is an equivalence relation such that \((A,B) \in \rho\) iff \(A \cap C=B \cap C\), where \(C\) is a closed unbounded set. The authors also discuss relationship between the existence of nonstandard uniserial \(R\)- modules of type \(J/R\) and CH.

Recommendations

• On a Conjecture Regarding Nonstandard Uniserial Modules
• On non-standard uniserial modules over valuation domains and their quotients
• Moduli uniseriali non standard

Cites work

• A construction of nonstandard uniserial modules over valuation domains
• A fine hierarchy of partition cardinals
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• Around classification theory of models
• scientific article; zbMATH DE number 3924942 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 45272 (Why is no real title available?)
• scientific article; zbMATH DE number 66425 (Why is no real title available?)
• Kaplansky's Problem on Valuation Rings
• Nonstandard uniserial modules over valuation domains
• On a Conjecture Regarding Nonstandard Uniserial Modules
• On non-standard uniserial modules over valuation domains and their quotients

Cited in

(11)

• Nonstandard uniserial modules over valuation domains
• UNISERIAL PERMUTATION MODULES
• A Transfer Theorem for Nonstandard Uniserials
• scientific article; zbMATH DE number 66425 (Why is no real title available?)
• scientific article; zbMATH DE number 1329683 (Why is no real title available?)
• On a Conjecture Regarding Nonstandard Uniserial Modules
• Moduli uniseriali non standard
• The hierarchy of uniserial modules over a valuation domain
• Fascinating modules over valuation domains
• Unidimensional modules: Uniqueness of maximal non-modular submodels
• On non-standard uniserial modules over valuation domains and their quotients

This page was built for publication: Explicitly non-standard uniserial modules

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