Quasi-finite modules and asymptotic prime divisors (Q375226)

Let \(A\) be a Noetherian ring, \(J\subseteq A\) an ideal and \(C\) a finitely generated \(A\)-module. \textit{M. Brodmann} [Proc. Am. Math. Soc. 74, 16--18 (1979; Zbl 0372.13010)] showed that the set of prime divisors \(\text{Ass}_A(C/J^nC)\) is independent of \(n\), for large \(n\). This result has been generalized in many forms. \textit{S. McAdam} and \textit{P. Eakin} [J. Algebra 61, 71--81 (1979; Zbl 0422.13003)] proved that if \(R=\bigoplus_{n\in \mathbb N_0}R_n\) is a graded Noetherian ring generated in degree one, and \(M\) a finitely generated graded \(R\)-module, then the set \(\text{Ass}_{R_0}(M_n)\) is independent of \(n\), for large \(n\). They indicated that Brodmann's result is followed as a corollary. In 2004, \textit{E. West} [J. Algebra 271, No. 2, 427--453 (2004; Zbl 1036.13002)] showed that if \(R=\bigoplus_{n\in\mathbb N_0^d}R_n\) is a standard \(\mathbb N_0^d\)-graded Noetherian ring and \(M\) a finitely generated multigraded \(R\)-module, then \(\text{Ass}_{R_{(0,\dots,0)}}(M_n)\) is a stable set for large \(n\in\mathbb N_0^d\). In this paper, the authors show that West's result holds even if \(M\) is a multigraded quasi-finite \(R\)-module and \(\text{Ass}_{R_{(0,\dots,0)}}(M)\) is a finite set. So, we find that the quasi-finite property is crucial for the theory of asymptotic prime devisors, and not the finite generation of the module (see Theorem 2.7). Note that finite modules are quasi-finite. The main result of the paper is: Let \(A\) be a Noetherian ring, \(J\subseteq A\) an ideal and \(C\) a finitely generated \(A\)-module. Let \(\{I_n\}_{n\geq 0}\) be a collection of ideals satisfying: (i) \(I_n\supseteq J^n\) for all \(n\), (ii) \(J^s\cdot I_r\subseteq I_{r+s}\) for all \(r,s\geq 0\) and (iii) \(I_n\subseteq I_m\), whenever \(m\leq n\). Then \(\text{Ass}_A(I_nC/J^nC)\) is a stable set of prime ideals for large \(n\). They also give a multi-ideal version of the above result: Let \(J_1,\dots,J_d\subseteq A\) be finitely many ideals. Suppose that for each \(1\leq i\leq d\), \(\{I_{i,n_i}\}_{n_i\geq 0}\) is a filtration of ideals satisfying: (i) \(I_{i,0}=A\), (ii) \(J_i^{n_i}\subseteq I_{i,n_i}\) for all \(n_i\geq 0\), (iii) \(I_{i,n_i}\subseteq I_{i,m_i}\) for all \(m_i\leq n_i\in \mathbb{N}_0\) and (iv) \(J_i^{r_i}\cdot I_{i,s_i}\subseteq I_{i,r_i+s_i}\) for all \(r_i\) and \(s_i\). Then there exists \(k=(k_1,\dots,k_d)\in \mathbb{N}_0^d\) such that for all \(n=(n_1,\dots,n_d)\geq k\), \[ \text{Ass}_A(I_{1,n_1}\cdots I_{d,n_d}C/J_1^{n_1}\cdots J_d^{n_d}C)=\text{Ass}_A(I_{1,k_1}\cdots I_{d,k_d}C/J_1^{k_1}\cdots J_d^{k_d}C). \] The authors also investigate the asymptotic behavior of prime divisors of multigraded modules that are not necessarily quasi-finite (see Theorem 4.4).