Noetherian Skew Inverse Power Series Rings

Abstract

We study skew inverse power series extensions R[[y− 1; τ, δ]], where R is a noetherian ring equipped with an automorphism τ and a τ-derivation δ. We find that these extensions share many of the well known features of commutative power series rings. As an application of our analysis, we see that the iterated skew inverse power series rings corresponding to nth Weyl algebras are complete, local, noetherian, Auslander regular domains whose right Krull dimension, global dimension, and classical Krull dimension are all equal to 2n.