When is an ideal of a ring radical or prime? By examining its generators, one may in many cases definably and uniformly test the ideal’s properties. We seek to establish such definable formulas in rings of p-adic power series, such as $\mathbb Q_{p}\langle X\rangle $ , $\mathbb Z_{p}\langle X\rangle $ , and related rings of power series over more general valuation rings and their fraction fields. We obtain a definable, uniform test for radicality, and, in the one-dimensional case, for primality. This builds upon the techniques stemming from the proof of the quantifier elimination results for the analytic theory of the p-adic integers by Denef and van den Dries, and the linear algebra methods of Hermann and Seidenberg.

Abstract prepared by Madeline G. Barnicle.

E-mail: barnicle@math.ucla.edu

URL: https://escholarship.org/uc/item/6t02q9s4

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

We study a three parameter deformation $\mathcal{U}_{abc}$ of $\mathcal{U}(\mathfrak{sl}_2)$ introduced by Le Bruyn in 1995. Working over an arbitrary algebraically closed field of characteristic zero, we determine the centres, the finite-dimensional irreducible representations, and, when the parameter $a$ is not a non-trivial root of unity, the prime ideals of those $\mathcal{U}_{abc}$, with $ac\neq0$, which are conformal as ambiskew polynomial rings.

AMS 2000 Mathematics subject classification: Primary 16W35; 17B37. Secondary 16S36; 16S80