Mixed multiplicities of modules over noetherian local rings (Q2372707)

Throughout \((A,m)\) is a noetherian local ring with maximal ideal \(m\) and infinite residue field \(k=A/m\) and \(M\) is a finitely generated \(A\)-module. The aim of this paper is to extend results of the second author [e.g., Commun. Algebra 28, No. 8, 3803--3821 (2000; Zbl 0962.13023)] on (weak) FC-sequences, generalized joint reductions of ideals, and mixed multiplies of ideals to modules. Let \(U=(I_{1},\dots ,I_{s})\) be a sequence of ideals of \(A\) such that \(I=I_{1}\cdots I_{s}\) is not contained in \(\sqrt{\text{Ann}(M)}\) and set \(M^{\ast }=M/(0:I^{\infty })\) (here \(a:b^{\infty }=\bigcup _{n\geq 0}(a:b^{n})\)). Then \( x\in A\) is an FC-element of \(M\) with respect to \(U\) if there exists an ideal \(I_{i}\) of \(U\) and a positive integer \(n_{i}^{\prime }\) such that (1) \(x\in I_{i}\backslash mI_{i}\) and \(I_{1}^{n_{1}}\cdots I_{s}^{n_{s}}M^{\ast }\cap xM^{\ast }=xI_{1}^{n_{1}}\cdots I_{i-1}^{n_{i-1}}I_{i}^{n_{i}-1}I_{i+1}^{n_{i+1}}\cdots I_{s}^{n_{s}}M^{\ast }\) for all \(n_{i}\geq n_{i}^{\prime }\) and all nonnegative integers \( n_{1},\dots ,n_{i-1},n_{i+1},\dots n_{s}\), (2) \(0_{M}:x\subseteq 0_{M}:I^{\infty }\) , and (3) \(\dim(M/(xM:I^{\infty }))=\dim M^{\ast }-1\). If only (1) and (2) hold, \(x\) is called a weak FC-element on \(M\). For each \( i=0,\dots ,t-1\), set \(\overline{M}=M/(x_{1},\dots ,x_{i})M\), \(\overline{A} =A/(x_{1},\dots ,x_{i})A\), and \(\overline{I}_{i}=I_{i}\overline{A}\). Finally, the sequence of elements \(x_{1},\dots ,x_{t}\) of \(A\) is called a (weak) FC-sequence of \(M\) with respect to \(U\) if for each \( \overline{x}_{i+1}\) is an (weak) FC-element of \(\overline{M}\) with respect to \((\overline{I}_{1},\dots ,\overline{I}_{s})\) for \(i=0,\dots ,t-1\). This is used to show that if \(J\) is an \(m\)-primary ideal and each \(J_{i}\subseteq I_{i}\) is generated by maximal weak-FC-sequence of \(M\) in \(\bigcup I_{i}\) with respect to \((J,I_{1},\dots ,I_{s})\), then \(J_{1},\dots ,J_{t}\) is a joint reduction of \(I_{1},\dots ,I_{s}\) with respect to \(M\). It is also shown that the length of maximal FC-sequences in \(I_{j}\) with respect to \((J,I_{1},\dots ,I_{s})\) is an invariant given in terms of a mixed multiplicity.