Generators for H-invariant prime ideals in O-q(M-m,M-p(C))

It is known that, for generic q, the H-invariant prime ideals in O-q(M-m,M-p(C)) are generated by quantum minors (see S. Launois, Les ideaux premiers invariants de O-q(M-m,M-p(C)), J. Alg., in press). In this paper, m and p being given, we construct an algorithm which computes a generating set of quantum minors for each H-invariant prime ideal in O-q(M-m,M-p(C)). We also describe, in the general case, an explicit generating set of quantum minors for some particular H-invariant prime ideals in O-q(M-m,M-p(C)). In particular, if (Y-i,Y-alpha)((i,alpha)is an element of[1,m]x[1,p]) denotes the matrix of the canonical generators of O-q(M-m,M-p(C)), we prove that, if u greater than or equal to 3, the ideal in O-q(M-m,M-p(C)) generated by Y-1,Y-p and the u x u quantum minors is prime. This result allows Lenagan and Rigal to show that the quantum determinantal factor rings of O-q(M-m,M-p(C)) are maximal orders (see T. H. Lenagan and L.