SFT modules and ring extensions (Q6572414)

Generalizing Arnold's definition of SFT (strongly finite type) rings, the authors introduce and study SFT modules. Assume that \(A\) is a commutative ring. A submodule \(N\) of an \(A\)-module \(M\) is an \textit{SFT submodule} if there exist a positive integer \(k\) and a finitely generated submodule \(N_{0}\) of \(N\) such that \(a^{k}\in (N_0:M)\) for all \(a\in (N:M)\). An \(A\)-module is an \textit{SFT \(A\)-module} if every submodule of \(M\) is an SFT submodule.\N\NHere are some of the results in this paper. We have:\N\NAn SFT \(A\)-module is finitely generated.\N\NIf \(M\) is a finitely generated \(A\)-module, then \(M\) is an SFT \(A\)-module if and only if for each prime ideal \(P\) of \(A\), \(PM\) is an SFT submodule of \(M\). (For \(M=A\) one gets a Cohen's type theorem.)\N\NThe class of SFT-modules is closed under homomorphic images and finite products.\N\NLet \(A\subseteq B\) be a ring extension such that the \(A\)-module \(B\) is finitely generated. If the ring \(B\) is SFT, then the \(A\)-module \(B\) is SFT.\N\NIt is well-known that in the analogue of this theorem for the Noetherian property, the implication can be replaced by an equivalence. The main purpose of this paper is to obtain a similar result for the SFT property under suitable additional assumptions.