Unidimensional modules: Uniqueness of maximal non-modular submodels (Q688806): Difference between revisions

Consider a complete unidimensional non-totally transcendental theory \(T\) of modules. Let \(U\) be its only unlimited indecomposable pure injective. A model \(M\) of \(T\) is said to be non-modular if and only if, for no \(a\in M^{\text{eq}}\) and \(A\subseteq M\) with \(\text{tp}(a\mid A)\) of rank 1, \(\text{stp}(a\mid A)\) is modular. Non-modular (even maximal) models exist. The authors show that the maximal non-modular model \(M\) of \(T\) is isomorphic to the prime pure injective model of \(T\); more precisely it is proved that a module \(M\) as before is pure injective, and every non- modular pure injective module with \(m\)-dimension is isomorphic to the prime pure injective model of its own theory. Furthermore, if \(M\) is a non-modular model of \(T\), \(N\) is a model of \(T\) and \(N=M\oplus V\) where \(V\) is a direct sum of copies of \(U\), then \(M\) is maximal non-modular in \(N\), and is unique, in the sense that any other maximal non-modular \(M'\) in \(N\) is isomorphic to \(M\) and satisfies \(N=M'\oplus V\). Finally it is shown that, if one omits the rank 1 assumption in the definition of non- modular, then one can find a theory \(T\) as above, and a model \(N\) of \(T\) having no direct summand isomorphic to \(U\), but containing properly its (unique) maximal non-modular submodule.