Noncommutative Prüfer rings (Q2639139)

Let \(R\) be a prime Goldie ring and \(Q\) its classical ring of quotients. For any additive subgroup \(I\) of \(Q\), its inverse is defined as \(I^{-1}=\{q\in Q\mid IqI\subseteq I\}\). If every finitely generated right \(R\)-ideal \(I\) satisfies \(I^{-1}I=R\), \(II^{-1}=O_{\ell}(I)\) (where \(O_{\ell}(I)\) is the left order of \(I\) in \(Q\)), then \(R\) is called a Prüfer ring. The definition is shown to be left-right symmetric; moreover, it is satisfied by a prime Goldie ring precisely when every finitely generated regular left (or right) ideal of \(R\) is a projective generator. Hence, being a Prüfer ring is Morita-invariant. It is also shown that, for commutative rings, this notion agrees with the usual definition. In the general case, a Prüfer ring is left and right semihereditary, but examples show the converse to be false. Using the second author's notion of valuation ring [cf. Tr. Mosk. Mat. O.-va 45, 265-280 (1982; Zbl 0531.16011)], the authors show that a prime Goldie ring is Prüfer, provided it is semihereditary and for every maximal ideal \(M\) of \(R\), the localization at \(M\) exists and is a valuation ring. Using the notion of Krull ring given by \textit{H. Marubayashi} [Osaka J. Math. 12, 703-714 (1975; Zbl 0321.16002)], the authors show that a Prüfer ring which is a bounded Krull ring is a Dedekind ring; conversely, every prime Dedekind ring is a Krull ring and a Prüfer ring.