Prime Ideals of q-Commutative Power Series Rings

Original · EN

We study the "q-commutative" power series ring R:=kq[[x₁,...,xₙ]], defined by the relations xᵢxⱼ = qijxⱼ xᵢ, for multiplicatively antisymmetric scalars qij in a field k. Our results provide a detailed account of prime ideal structure for a class of noncommutative, complete, local, noetherian domains having arbitrarily high (but finite) Krull, global, and classical Krull dimension. In particular, we prove that the prime spectrum of R is normally separated and is finitely stratified by commutative noetherian spectra. Combining this normal separation with results of Chan, Wu, Yekutieli, and Zhang, we are able to conclude that R is catenary. Following the approach of Brown and Goodearl, we also show that links between prime ideals are provided by canonical automorphisms. Moreover, for sufficiently generic qij, we find that R has only finitely many prime ideals and is a UFD (in the sense of Chatters).