an:00549293
Zbl 0804.16028
Jordan, David A.
Height one prime ideals of certain iterated skew polynomial rings
EN
Math. Proc. Camb. Philos. Soc. 114, No. 3, 407-425 (1993).
00017278
1993
j
16S36 16D25 16U20 16D60
height-1 prime ideals; integral domain; iterated skew polynomial ring; quantized Weyl algebra; generators; principal height-1 primes; simple modules
The author studies the height-1 prime ideals of the ring \(R\) described below. This very interesting but rather complicated paper contains much more than is covered by the following summary. Let \(A\) be a commutative integral domain which is finitely-generated as an algebra over an algebraically-closed field \(k\); let \(\alpha\) be a \(k\)-automorphism of \(A\); and let \(u\) and \(\rho\) be fixed non-zero elements of \(A\) and \(k\) respectively. The ring \(R\) is generated over \(A\) by \(x\) and \(y\) subject to the relations: \(xy - \rho yx = u - \rho \alpha(u)\); \(xa = \alpha^{- 1}(a) x\) and \(ya = \alpha(a) y\) for all \(a\) in \(A\). Alternatively, it can be constructed in two stages as an iterated skew polynomial ring in \(x\) and \(y\) over \(A\). The author previously studied \(R\) when \(\rho = 1\), but this new wider context includes additional important examples such as the quantized Weyl algebra. Many of the results include the further assumptions that \(A \neq k\) and that \(A\) is \(\alpha\)-simple, and we shall make these assumptions from now on. A complete description is given of all the height-1 prime ideals of \(R\), together with generators for those which are principal. All the principal height-1 primes of \(R\) are shown to be primitive (with corresponding simple modules constructed explicitly), and if \(A\) has Krull dimension 1 then every height-1 prime of \(R\) is principal and primitive.
A.W.Chatters (Bristol)