Some model theory over a nearly simple uniserial domain and decompositions of serial modules (Q5950663)

A uniserial domain \(R\) is called nearly simple if \(R\) has only one non-trivial two-sided ideal. In this paper, the author shows that nearly simple uniserial domains provide a good source of (counter-)examples in the decomposition theory of serial modules. \textit{A. Facchini} and the reviewer [J. Algebra 193, No. 1, 102-121 (1997; Zbl 0885.16008)] proved a Krull-Schmidt-type theorem for infinite direct sums of quasi-small uniserial modules, extending the finite direct sum case of \textit{A. Facchini} [Trans. Am. Math. Soc. 348, No. 11, 4561-4576 (1996; Zbl 0868.16003)]. The question arises naturally if there exist uniserial modules which are not quasi-small. In another direction, \textit{A. Facchini} and the reviewer [J. Pure Appl. Algebra 133, No. 1-2, 93-106 (1998; Zbl 0936.16005)] showed that if \(M\) is a uniserial right module, then finitely generated projective right modules over \(\text{End}(M)\) are free. It is natural to ask if this result can be extended also to infinitely generated projective modules over \(\text{End}(M)\). In the paper under review, the author develops a model theory of modules over nearly simple uniserial domains, and uses the results obtained to show that there exist uniserial modules which are not quasi-small, and there are uniserial modules \(M\) with non-free countably generated projective right modules over \(\text{End}(M)\).