Prüfer domains and endomorphism rings of their ideals (Q2367190)

Let \(R\) be a Prüfer domain with field of fractions \(K\), and let \(I\) be a nonzero ideal of \(R\). It is well known that the endomorphism ring \(\text{End}(I_ R)=(I:I)\) and its dual \(\Hom(I_ R,R_ R)=(R:I)\) of \(I\) can be realized within \(K\), and that any overring of \(R\) in \(K\) is the intersection of localizations of the form \(R_ P\), \(P\) a prime ideal. The purpose of this paper is to describe the endomorphism ring of \(I\) explicitly as such an intersection, and to determine conditions under which the dual \((R:I)\) is itself a ring, again in terms of intersections of localizations. A number of different results are obtained, depending on such matters as the nature of the set of zero-divisors in \(T/IT\) for overrings \(T\) of \(R\). In particular, if \(I\) has no embedded primes, \((I:I)=(\sqrt I:\sqrt I)=R_{\mathcal N}\cap\{IR_ M| M\) maximal not containing \(I\}\), \({\mathcal N}\) the set of nonzero-divisors mod \(I\). For \(R\) seminormal, \((\sqrt I:\sqrt I)\) is shown to be the largest subring of \((R:I)\) and again seminormal. The authors give several explicit constructions to illustrate the sharpness of their results.