Pure submodules of multiplication modules (Q1875900)

Let \(R\) be a commutative ring. An \(R\)-module \(M\) is multiplication if every submodule \(N\) has the form \(IM\) for an ideal \(I\) of \(R\), while a submodule \(N\) of an \(R\)-module \(N\) is pure if \( 0 \rightarrow N \otimes E \rightarrow M \otimes E \) is exact for any \(R\)-module \(E\) and is idempotent if \(N = [N:M]M\). This note investigates the interplay between these concepts, giving many alternative characterizations of purity. Sample result: when \(M\) is finitely generated and faithful and \(N\) is pure, \([N:M]\) is an idempotent ideal of \(R\) and moreover it is the trace ideal \(T(N)\) of \(N\).