1: \begin{abstract}

2: \noindent Dixmier and Moeglin gave an algebraic condition and a topological condition for recognising the primitive ideals among the prime ideals of the universal enveloping algebra of a finite-dimensional complex Lie algebra; they showed that the primitive, rational, and locally closed ideals coincide. In modern terminology, they showed that the universal enveloping algebra of a finite-dimensional complex Lie algebra satisfies the \emph{Dixmier-Moeglin equivalence}. 

3: 

4: We define quantities which measure how ``close" an arbitrary prime ideal of a noetherian algebra is to being primitive, rational, and locally closed; if every prime ideal is equally ``close" to satisfying each of these three properties, then we say that the algebra satisfies the \emph{strong Dixmier-Moeglin equivalence}. Using the example of the universal enveloping algebra

5: of $\mf{sl}_2(\C)$, we show that the strong Dixmier-Moeglin equivalence is strictly stronger than the Dixmier-Moeglin equivalence.

6: 

7: For a simple complex Lie algebra $\g$, a non root of unity $q\neq 0$ in an infinite field $\K$, and an element $w$ of the Weyl group of $\g$, De Concini, Kac, and Procesi have constructed a subalgebra $U_q[w]$ of the quantised enveloping $\K$-algebra $U_q(\g)$. 

8: These \emph{quantum Schubert cells} are known to satisfy the Dixmier-Moeglin equivalence and we show that they in fact satisfy the strong Dixmier-Moeglin equivalence. Along the way, we show that commutative affine domains, uniparameter quantum tori, and uniparameter quantum affine spaces satisfy the strong Dixmier-Moeglin equivalence. 

9: \end{abstract}

10: