MODULES WITH FINITELY MANY SUBMODULES

We characterize ring extensions R ⊂ S having FCP (FIP), where S is the idealization of some R-module. As a by-product we exhibit characterizations of the modules that have finitely many submodules. Our tools are minimal ring morphisms, while Artinian conditions on rings are ubiquitous.