Skew Laurent Series Ring Over a Dedekind Domain

Daniel Vitas

We show that the formal skew Laurent series ring $R=D((x;\sigma ))$ over a commutative Dedekind domain $D$ with an automorphism $\sigma$ is a noncommutative Dedekind domain. If $\sigma$…