On non-standard uniserial modules over valuation domains and their quotients (Q750531): Difference between revisions

A module over a commutative ring with identity is said to be uniserial if its lattice of submodules is totally ordered. Especially a valuation domain R and its quotient field Q are uniserial R-domains. A uniserial module is called standard if for any of its submodules \(I<J\), the module J/I is uniserial (hence, R and Q are standard R-modules). The existence of non-standard modules was proved by Shelah and Fuchs gave a construction of a non-standard uniserial module using the diamond principle. The authors describe conditions under which a quotient of a non-standard uniserial R-module U is non-standard, where R is a valuation domain. They prove that U/K is non-standard (standard) if \(K<U_ 0\) \((K>U^ 0)\), where \(U^ 0=\cap_{r\in U^{\#}}U[r] \) and \(U_ 0=\cup_{r\not\in U^{\#}}U[r] \) and \(U^{\#}=\{r\in R:\;rU<U\}.\) As a consequence the authors prove that a non-standard divisible uniserial module U is strongly non-standard (i.e. U/K is non-standard for all \(K<U)\). Using a construction of non-standard uniserial modules which is based on the diamond principle the authors present various examples of these modules. [See also Zbl 0714.13013.]