Note on the transitivity of pure essential extensions
A submodule \(A\) of an \(R\)-module \(B\) is said to be an RD-submodule (for relatively divisible) in \(B\) if \(rB\cap A=rA\) for all \(r\in R\), where \(R\) is a commutative domain. \(B\) is said to be a pure-essential extension of its submodule \(A\) if \(A\) is pure in \(B\) and, for each non-zero submodule \(K\) of \(B\), \(K\cap A=0\) implies \((A\oplus K)/K\) is not pure in \(B/K\). The notion of RD-essential extension is defined analogously. Two main results of the paper say: (1) an domain \(R\) has the property that `` RD-essential is transitive for \(R\)-modules if and only if \(R\) is a discrete valuation domain. (2) If \(R\) is a valuation domain, then pure-essentiality is transitive for finitely generated \(R\)-modules if and only if \(R\) is an almost maximal valuation domain.
This page was built for publication: Note on the transitivity of pure essential extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4236823)
