Left global dimensions and inverse polynomial modules (Q1590696)

Let, for any ring \(A\), \(\text{l.gl.dim }A\) denote the left global dimension of \(A\). The result \(\text{l.gl.dim }R[x]=(\text{l.gl.dim }R)+1\) is well-known and the classical proof involves the construction of \(M[x]\), where \(M\) is any left \(R\)-module, and using projective dimensions. In this paper, however, inverse polynomial modules and injective dimensions are used to obtain the same result. The two main theorems leading up to this result respectively state that, for a left \(R\)-module \(M\), \(\text{inj.dim}_{R[x]}(M[[x^{-1}]])=\text{inj.dim}_R(M)\) and for left \(R[x]\)-modules \(M\) and \(M[[x^{-1}]]\) there exists a short exact sequence of \(R[x]\)-modules \(0\to M\to M[[x^{-1}]]\to M[[x^{-1}]]\to 0\).