Unidimensional modules: Uniqueness of maximal non-modular submodels

DOI10.1016/0168-0072(93)90173-BMaRDI QIDQ688806zbMATH OpenFDO

Authors Philipp Rothmaler, Anand Pillay

Publication date 30 November 1993

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

Full work available at URL https://doi.org/10.1016/0168-0072(93)90173-B

zbMATH Keywords

modularitypure injective moduleunidimensional theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 4045957
• Uniserial modules: sums and isomorphisms of subquotients
• On a Conjecture Regarding Nonstandard Uniserial Modules
• Unimodular elements in projective modules and an analogue of a result of mandal
• The modularity condition for uninorms revisited
• On projective module with unique maximal submodule
• Unimodularity of finite dimensional Hopf algebras
• Existence of unimodular elements in a projective module
• On unitarily equivalent submodules
• Explicitly non-standard uniserial modules

Cites work

• A group in a group
• scientific article; zbMATH DE number 4047697 (Why is no real title available?)
• scientific article; zbMATH DE number 67691 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 493069 (Why is no real title available?)
• Imaginary modules
• Model theory of modules
• Non-totally transcendental unidimensional theories
• Uncountable theories that are categorical in a higher power

Cited in

(4)

• Extensions of elementary duality
• Characterizing categoricity in several classes of modules
• The modularity condition for uninorms revisited
• Some notes on modules in which all submodules have a unique closure

This page was built for publication: Unidimensional modules: Uniqueness of maximal non-modular submodels

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