Published online by Cambridge University Press: 20 January 2009
Let Kq[X] = Oq(M(m, n)) be the quantization of the ring of regular functions on m × n matrices and Iq (X) be the ideal generated by the 2 × 2 quantum minors of the matrix X=(Xij)l≤i≤m, I≤j≤n of generators of Kq[X]. The residue class ring Rq(X) = Kq[X]/Iq(X) (a quantum analogue of determinantal rings) is shown to be an integral domain and a maximal order in its divisionring of fractions. For the proof we use a general lemma concerning maximalorders that we first establish. This lemma actually applies widely to prime factors of quantum algebras. We also prove that, if the parameter isnot a root of unity, all the prime factors of the uniparameter quantum space are maximal orders in their division ring of fractions.