Pure submodules of multiplication modules (Q1875900)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Pure submodules of multiplication modules |
scientific article |
Statements
Pure submodules of multiplication modules (English)
0 references
1 September 2004
0 references
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\).
0 references