Multiple idealiser rings of injective dimension one. (Q2368802)

Idealizers and multiple idealizers have proven to be useful for the study of hereditary Noetherian rings, so one has good reason to expect them to play a role in the theory of Noetherian rings with injective dimension one as well. The paper under review considers the question when the multiple idealizer ring \(R=I(K_1,\dots,K_n):=\{s\in S\mid sK_i\subseteq K_i\) for all \(i\}\) has injective dimension one, where \(S\) is a (not necessarily commutative) Dedekind prime ring, finitely generated as a module over its centre, and where the \(K_i\) form an ascending chain of right ideals that contain a two-sided ideal \(B\) of \(S\). A complete answer is provided when \(B\) is a primary ideal and the chain \(B=K_0\subseteq K_1\subseteq\cdots\subseteq K_n\subseteq K_{n+1}=S\) is standard, that is, when \(SK_1=S\) and when for each \(i\neq 0\) the annihilator of the right \(S\)-module \(K_i/K_{i-1}\) is either \(S\) or \(B\). In that case \(\text{inj.dim}(R)=1\) if and only if each right ideal \(K_i/B\) of the ring \(S/B\) is generated by an idempotent. As an application of this result, an example is given to show that an overring of a Noetherian prime ring of injective dimension one need not have injective dimension one. This stands in contrast to the hereditary case.