Locally unmixed modules and linearly equivalent ideal topologies (Q1678465): Difference between revisions

Let \(I\) denote an ideal of a Noetherian ring \(R\). For a finitely generated \(R\)-module \(N\) and an integer \(n \geq 1\) let \((IN)^{(n)}\) denote the \(n\)-th symbolic power, i.e. \((IN)^{(n)}\) is the preimage of \(I^n N_S\) under the natural map \(N \to N_S\) where \(S = R\setminus (\cup \mathfrak{p})\) for all minimal prime ideals of \(\text{Ass}_R N/IN\). The paper is concerned with the linear equivalence of the \(I\)-adic topology on \(N\) with those defined by \(\{I^{(n)}N\}_{n \geq 1}\). The following main results are shown: (1) \(N\) is locally unmixed if and only if \(\{I^{(n)}N\}_{n \geq 1}\) is linearly equivalent to the \(I\)-adic topology of \(N\) for any \(N\)-proper ideal \(I\) generated by \(\text{height}_N I\) elements. (2) For an \(N\)-proper ideal \(I\) the topology defined by \(\{I^{(n)}N\}_{n \geq 1}\) is linearly equivalent to the \(I\)-adic topology of \(N\) provided the set of minimal prime ideals of \(\text{Ass}_R N/IN\) is equal to the set of quintessential prime ideals of \(I\) with respect to \(N\). For the proof Rees algberas, Rees modules and ideal transforms are used.