Strong Mori modules over an integral domain (Q2872180)

This paper concerns generalizing several well known results about Mori domains to strong Mori modules over integral domains. From the famed Hilbert basis theorem, a commutative ring \(R\) is Noetherian if and only if \(R[X]\) is a Noetherian ring. If we let \(S=\{f \in R[X] \mid c(f)=R\}\), where \(c(f)\) is the content of \(f\), then we also have that \(R\) is a Noetherian ring if and only if \(R[X]_S\) is a Noetherian ring. The module analogue of the Hilbert basis theorem is that an \(R\)-module \(A\) is Noetherian if and only if \(A[X]\) is a Noetherian \(R[X]\)-module. This paper demonstrates that we can add the following equivalence. \(A\) is a Noetherian \(R\)-module if and only if \(A[X]_S\) is a Noetherian \(R[X]_S\) where \(S\) is as above. The main result of the paper comes in the form of a generalization of a result from the author in [J. Pure Appl. Algebra 197, No. 1--3, 293--304 (2005; Zbl 1094.13031)]: \(D\) is a strong Mori domain if and only if \(D[X]\) is a strong Mori domain if and only if \(D[X]_{N_v}\) is a Noetherian domain. This can be extended to the following: \(M\) is a strong Mori \(D\)-module if and only if \(M[X]\) is a strong Mori \(D[X]\)-module if and only if \(M[X]_{N_v}\) is a Noetherian \(D[X]_{N_v}\)-module. This main result provides, in the form of several corollaries, alternative proofs of existing theorems from the literature.