The finiteness of coassociated primes of generalized local homology modules (Q745610): Difference between revisions

The notion of coassociated prime ideals is a dual one of associated primes and a generalization of attached primes. On the other hand, the notion of (generalized) local homology modules is a dual one of (generalized) local cohomology modules. Let \(R\) be a Noetherian ring and \(I \subset R\) an ideal. For \(R\)-module \(M\) and \(N\), the \(i\)th (generalized) local homology module of (\(M\) and) \(N\) with respect to \(I\) is defined to be \[ H_i^I(N) = \varinjlim_n \text{Tor}_i^R(R/I^n, N) \quad (H_i^I(M, N) = \varinjlim_n \text{Tor}_i^R(M/I^n M, N)). \] Assume that \(M\) is finitely generated and \(N\) linearly compact. In the present paper, the authors show that there are only finitely many coassociated primes of \(H_k^I(M, N)\) if any submodules of \(N\), \(H_0^I(N)\), \dots, \(H_{k-1}^I(N)\) has only finitely many associated primes. They also give two more conditions for \(H_k^I(M, N)\) to have only finitely many coassociated primes.