No label defined (Q4370128)

Let \(R\) be a domain with quotient field \(K\). For a nonzero fractional ideal \(I\) of \(R\), the fractional ideal \(I^{-1}= (R:I)= \{x\in K\mid xI \subseteq R\}\) is called the inverse (or dual) of \(I\). -- \textit{J. A. Huckaba} and \textit{I. J. Papick} [Manuscr. Math. 37, 67-85 (1982; Zbl 0484.13001)] studied the question of when \(I^{-1}\) is a ring, and this question has received further attention. Of course, it is clear that \(I^{-1}\) is a ring when \(I=(I:I)\), and in case \(I\) is prime, \(I^{-1}\) is a ring \(\Leftrightarrow I^{-1} =(I:I)\) [loc. cit., proposition 2.3]. The question as to whether \(I^{-1}\) is a ring implies \(I^{-1} =(I:I)\) in general was left open in the paper cited above. This question was answered in the negative by \textit{D. F. Anderson} [see Houston J. Math. 9, 325-332 (1983; Zbl 0526.13015)]. Anderson gave two counterexamples, one of which [example 3.2 in this paper] involved the classical \(D+M\) construction. The purpose of the paper under review is to study the question of when \(I^{-1}\) is a ring in pullback constructions, paying particular attention to the classical \(D+M\) construction. For the entire collection see [Zbl 0872.00033].