Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-05-27T14:21:25.634Z Has data issue: false hasContentIssue false

GENERATORS FOR $\mathcal{H}$-INVARIANT PRIME IDEALS IN $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$

Published online by Cambridge University Press:  27 May 2004

Stéphane Launois
Laboratoire de Mathématiques, UMR 6056, Université de Reims, Moulin de la Housse, BP 1039-51687 REIMS Cedex 2, France (
Rights & Permissions [Opens in a new window]


Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

It is known that, for generic $q$, the $\mathcal{H}$-invariant prime ideals in $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$ are generated by quantum minors (see S. Launois, Les idéaux premiers invariants de $O_{q}(\mathcal{M}_{m,p}(\mathbb{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 $\mathcal{H}$-invariant prime ideal in $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$. We also describe, in the general case, an explicit generating set of quantum minors for some particular $\mathcal{H}$-invariant prime ideals in $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$. In particular, if $(Y_{i,\alpha})_{(i,\alpha)\in[[1,m]]\times[[1,p]]}$ denotes the matrix of the canonical generators of $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$, we prove that, if $u\geq3$, the ideal in $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$ generated by $Y_{1,p}$ and the $u\times u$ quantum minors is prime. This result allows Lenagan and Rigal to show that the quantum determinantal factor rings of $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$ are maximal orders (see T. H. Lenagan and L. Rigal, Proc. Edinb. Math. Soc.46 (2003), 513–529).

AMS 2000 Mathematics subject classification: Primary 16P40. Secondary 16W35; 20G42

Research Article
Copyright © Edinburgh Mathematical Society 2004