Prime quotients of \(O_ q({\mathfrak m}_ n(k))\) (Q1911626): Difference between revisions

Let \(k\) be a field and let \(R\) denote either \({\mathcal O}_q(M_n(k))\), the one-parameter quantized coordinate ring of \(n\times n\) matrices over \(k\), or \(A^{\overline{q},\Gamma}_n(k)\), the multiparameter quantized Weyl algebra of degree \(n\) over \(k\). In the first case, assume that the scalar \(q\in k^\times\) is not a root of unity; in the second, assume that the multiplicative subgroup of \(k^\times\) generated by the entries of the vector \(\overline{q}\in(k^\times)^n\) together with the entries of the matrix \(\Gamma\in M_n(k^\times)\) is torsionfree. It follows from a result of \textit{E. S. Letzter} and the reviewer that all prime factor rings of \(R\) are integral domains [Proc. Am. Math. Soc. 121, No. 4, 1017-1025 (1994; Zbl 0812.16039)]. Here the author proves that the quotient division ring of any prime factor ring \(R/P\) has the form \(\text{Fract }{\mathcal O}_{\mathbf q}(K^m)\), where \({\mathcal O}_{\mathbf q}(K^m)\) is the multiparameter quantized coordinate ring of affine \(m\)-space over a (commutative) field extension \(K\) of \(k\). (The case \(m=0\) is allowed.) That \(\text{Fract }{\mathcal O}_q(M_n(k))\) has this form had been shown by \textit{G. Cliff} [J. Lond. Math. Soc., II. Ser. 51, No. 3, 503-513 (1995; Zbl 0835.16013)]. That \(\text{Fract }A^{\overline{q},\Gamma}_n(k)\) has this form follows from work of \textit{J. Alev} and \textit{F. Dumas} [J. Algebra 170, No. 1, 229-265 (1994; Zbl 0820.17015)] and \textit{D. A. Jordan} [J. Algebra 174, No. 1, 267-281 (1995; Zbl 0833.16025)]. Several authors have proved analogous results for the quotient division ring of \(U_q({\mathfrak g})^+\), the positive part of the quantized enveloping algebra of a semisimple Lie algebra \(\mathfrak g\). See \textit{J. Alev} and \textit{F. Dumas} [op. cit.] \textit{K. Iohara} and \textit{F. Malikov} [Commun. Math. Phys. 164, No. 2, 217-237 (1994; Zbl 0826.17011)] and \textit{A. Joseph} [C. R. Acad. Sci., Paris, Sér. I 320, No. 12, 1441-1444 (1995; Zbl 0847.17011)].