Unidimensional modules: uniqueness of maximal non-modular submodels

https://doi.org/10.1016/0168-0072(93)90173-BGet rights and content
Under an Elsevier user license
open archive

Abstract

We characterize the non-modular models of a unidimensional first-order theory of modules as the elementary submodels of its prime pure-injective model. We show that in case the maximal non-modular submodel of a given model splits off this is true for every such submodel, and we thus obtain a cancellation result for this situation. Although the theories in question always have models (in every big enough power) whose maximal non-modular submodel do split off, they may as well have others where they don't. We present a corresponding example.

Cited by (0)

*

Supported by NSF grant DMS 90-06628.