Let R be an integral domain with identity having quotient field K. For an ideal I of R, \(I:_ KI=\{x\in K| xI\subseteq I\}\) is an overring of R contained in the ideal transform T(I). The author shows that the map \(P\to (P\cap I):_ KI\) gives a one-to-one correspondence between the set of all prime ideals P of R not containing I and the set of all prime ideals of \(I:_ KI\) not containing I. Furthermore, with P as above, \(I:_ KI/((P\cap I):_ KI)\) is isomorphic to a subring of \((I+P)/P:_ L(I+P)\) where L is the quotient field of R/P.
Recommendations
Cited in
(8)- Conducive integral domains as pullbacks
- Computing the conductor of an integral extension
- Well-centered overrings of an integral domain.
- The S-transform and its dual with applications to Prüfer extensions
- On a certain ring construction
- Some remarks on divisorial and seminormal overrings
- scientific article; zbMATH DE number 4069028 (Why is no real title available?)
- On conductor overrings of a valuation domain
This page was built for publication: On conductor overrings of an integral domain
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q802608)
