Noetherian skew inverse power series rings. (Q975348): Difference between revisions

Let \(R\) be an associative ring with unit element, and let \(\tau\) and \(\delta\) denote an automorphism and a (left) \(\tau\)-derivation of \(R\), respectively. Let \(S=R[[y^{-1};\tau,\delta]]=\{\sum_{i=0}^\infty y^{-i}r_i\mid r_i\in R\}\) be the ring of formal skew inverse power series in \(y^{-1}\), where multiplication is determined by the rule \(ry^{-1}=\sum_{i=1}^\infty y^{-i}\tau\delta^{i-1}(r)\) (derived from the multiplication rule \(yr=\tau(r)y+\delta(r)\) for the skew polynomial ring \(R[y;\tau,\delta]\)). This type of extension turns out to share many features with commutative power series rings, and the methods used in the paper under review are largely derived from the commutative case. A systematic study of the interplay between the ideal structures of \(R\) and of \(S=R[[y^{-1};\tau,\delta]]\) culminates in the following main result: if \(R\) is right (or left) Noetherian and if \(I\) is a \(\tau\)-\(\delta\)-ideal such that the \(I\)-adic filtration of \(R\) is separated and complete, then the \(J\)-adic filtration of \(S\) is separated and complete, where \(J=I+\langle y^{-1}\rangle\). As a consequence, if \(R\) is a complete local ring with unique primitive ideal \(\mathfrak m\) which is also a \(\delta\)-ideal, then \(S\) is a complete local ring with unique primitive ideal \(\mathfrak m+\langle y^{-1}\rangle\). As an application of their analysis, the authors show that if \(C\) is a commutative, complete, regular, local Noetherian domain, then the \(m\)-fold iterated skew inverse power series ring \(S=C[[y_1^{-1};\tau_1,\delta_1]]\dots[[y_m^{-1};\tau_m,\delta_m]]\) is a (left and right) Noetherian Auslander-regular domain whose global dimension, classical Krull dimension and right Krull dimension (in the sense of Gabriel and Rentschler) are all equal to \(\text{Kdim}(C)+m\).