Dixmier–Moeglin Equivalence in Noncommutative Algebras

Updated 7 July 2026

Dixmier–Moeglin equivalence is a principle stating that in noetherian k-algebras, the sets of primitive, locally closed, and rational prime ideals are identical.
The approach uses techniques from representation theory, topology, and birational analysis to reduce the challenge to proving that rational primes are locally closed.
This framework has been validated for diverse classes of algebras such as enveloping algebras, Ore extensions, and Hopf algebras, demonstrating both its broad applicability and its dimension-related limitations.

The Dixmier–Moeglin equivalence is the principle that, for a noetherian $k$ -algebra $A$ , three classes of prime ideals coincide: primitive ideals, locally closed points of $\Spec(A)$, and rational primes, where rationality is defined by algebraicity of the center of the Goldie quotient ring of $A/P$ over the base field. In the classical case of enveloping algebras of finite-dimensional Lie algebras, this equivalence was proved by Dixmier and Moeglin; it has since become a central organizing criterion for prime spectra in noncommutative algebra, with analogues for Hopf algebras, Poisson algebras, equivariant spectra, and model-theoretic settings (Launois et al., 2017, Moosa, 2019).

1. Formulation of the equivalence

Let $A$ be a left noetherian $k$ -algebra. A prime ideal $P\in \Spec(A)$ is primitive if it is the annihilator of a simple left $A$ -module, that is,

$P=\Ann_A(M)$

for some simple left $A$ -module $A$ 0. A prime $A$ 1 is locally closed if the singleton $A$ 2 is locally closed in the Zariski topology on $A$ 3; equivalently,

$A$ 4

A prime $A$ 5 is rational if the center of the Goldie ring of fractions of $A$ 6,

$A$ 7

is an algebraic extension of $A$ 8 (Bell et al., 31 Jul 2025, Bell et al., 2018).

The Dixmier–Moeglin equivalence asserts that for every $A$ 9,

$\Spec(A)$0

When this holds, one writes

$\Spec(A)$1

as subsets of $\Spec(A)$2 (Bell et al., 31 Jul 2025).

In the noetherian Nullstellensatz setting, the standard implication pattern is

$\Spec(A)$3

so the difficult direction is usually

$\Spec(A)$4

This asymmetry is structural rather than incidental: many proofs of the equivalence reduce entirely to establishing that single implication (Bell et al., 31 Jul 2025, Bell et al., 2014).

2. Classical role and proof architecture

The equivalence was first established for enveloping algebras $\Spec(A)$5 of finite-dimensional Lie algebras, and that case remains the template for later developments (Launois et al., 2017, Bell et al., 2016). In modern treatments, the equivalence is typically analyzed through the interaction between the topology of $\Spec(A)$6, the representation theory encoded by primitive ideals, and the birational structure of prime factors encoded by the Goldie quotient.

One recurring proof strategy is to pass to a tractable structural presentation of the algebra and then reduce the hard direction to finiteness of primes above a given rational prime. For cocommutative noetherian Hopf algebras of finite Gelfand–Kirillov dimension, Bell–Leung reduce to a smash product

$\Spec(A)$7

with $\Spec(A)$8 finite-dimensional and $\Spec(A)$9 finitely generated nilpotent-by-finite. The proof then combines the Nullstellensatz, Letzter’s finite-free extension transfer, and a central-intersection argument in semiprime quotients to force local closedness of rational primes (Bell et al., 2014).

A similar pattern appears in Ore extensions. For $A/P$ 0, one studies the contraction $A/P$ 1, invariant primes of the coefficient algebra, and the behavior of the extended center under $A/P$ 2 or $A/P$ 3. In the frame-preserving setting, Bell–Wu–Wu show that rational primes become locally closed by isolating a single $A/P$ 4- or $A/P$ 5-eigenvector that lies in every nonzero invariant prime, thereby controlling primes properly above a given rational prime (Bell et al., 2016).

This proof architecture explains why the equivalence is often easier in situations where prime quotients have large centers, finite invariant-prime complexity, or explicit stratifications, and harder when invariant primes proliferate without a nonzero common intersection.

3. Established classes and threshold results

A substantial body of work identifies natural classes of algebras for which the equivalence holds. The following results are explicitly established in the literature.

Class	Result	Source
$A/P$ 6, $A/P$ 7 finite-dimensional	Classical Dixmier–Moeglin equivalence	(Launois et al., 2017)
Cocommutative noetherian Hopf algebras with $A/P$ 8	DME holds for all prime ideals	(Bell et al., 2014)
$A/P$ 9, $A$ 0 commutative integral domain, $A$ 1	DME holds	(Bell et al., 2022)
Group algebras $A$ 2 for $A$ 3 polycyclic-by-finite	DME $A$ 4 $A$ 5 $A$ 6 $A$ 7 nilpotent-by-finite	(Bell et al., 31 Jul 2025)
Leavitt path algebras of finite graphs	DME holds	(Abrams et al., 2010)
Drinfeld double of the bosonisation of the Jordan plane	DME holds	(Brown et al., 2023)
Liftings $A$ 8 of the Jordan plane	DME holds	(Lu, 30 Jun 2026)

Among Ore extensions of commutative integral domains, the most precise threshold result currently stated is the following. Let $A$ 9 be a field of characteristic zero, let $k$ 0 be a finitely generated commutative integral domain over $k$ 1, let $k$ 2 be a $k$ 3-algebra automorphism of $k$ 4, let $k$ 5 be a $k$ 6-linear $k$ 7-derivation, and form

$k$ 8

If $k$ 9, then for every prime ideal $P\in \Spec(A)$0,

$P\in \Spec(A)$1

The proof proceeds by induction on $P\in \Spec(A)$2, together with Goodearl’s trichotomy for primes in an Ore extension and low-dimensional control of PI behavior (Bell et al., 2022).

For group algebras, the situation is sharper. If $P\in \Spec(A)$3 is polycyclic-by-finite, then the following are equivalent: $P\in \Spec(A)$4 In that case $P\in \Spec(A)$5, the Hirsch number of $P\in \Spec(A)$6 (Bell et al., 31 Jul 2025).

These results show that the equivalence is not merely a property of isolated examples, but a recurrent feature of algebras whose prime spectra admit strong finiteness, stratification, or invariant-theoretic control.

4. Failure mechanisms and counterexamples

The equivalence does not hold uniformly across noetherian noncommutative algebras, and the known failures are structurally informative. For Ore extensions of commutative integral domains, the dimension threshold is explicit: below four the equivalence always holds, while at and above four counterexamples appear (Bell et al., 2022).

For each integer $P\in \Spec(A)$7, there exists a finitely generated commutative domain $P\in \Spec(A)$8 over $P\in \Spec(A)$9 and a $A$ 0-derivation $A$ 1 such that $A$ 2, the zero ideal is rational, yet $A$ 3 is not locally closed. In these examples the center of $A$ 4 remains $A$ 5, but the intersection of all nonzero primes is zero, so the rational prime $A$ 6 is not cut out by a nonzero ideal (Bell et al., 2022).

A second family of failures comes from Lorenz-type examples. In a classical example,

$A$ 7

the zero ideal is primitive but not locally closed; this algebra is the group algebra of a supersolvable group (Bell et al., 2022). Related cocommutative Hopf-algebra counterexamples show that polynomially bounded growth, or equivalently finite Gelfand–Kirillov dimension in the cocommutative setting, cannot simply be omitted (Bell et al., 2014).

The mechanism of failure is described explicitly for high-dimensional Ore extensions: the interplay of $A$ 8- and $A$ 9-invariant primes in $P=\Ann_A(M)$0 can produce infinitely many height-one or co-GK-one primes in $P=\Ann_A(M)$1 whose intersection collapses to zero, so a rational prime such as $P=\Ann_A(M)$2 fails to be locally closed (Bell et al., 2022). This is not a pathology of representation theory alone; it is a failure of the topology of $P=\Ann_A(M)$3 to isolate rational points.

A related phenomenon occurs in the Poisson setting. For complex affine Poisson algebras, Bell–Launois–Sánchez–Moosa show that Poisson rational ideals and Poisson primitive ideals always coincide, but in every Krull dimension at least four there are Poisson algebras with Poisson rational ideals that are not Poisson locally closed. They also prove that the full Poisson Dixmier–Moeglin equivalence holds in Krull dimension three or less (Bell et al., 2014). This suggests that dimension thresholds are a recurring feature of Dixmier–Moeglin-type problems, even when the exact threshold depends on the category.

5. Topological detection and stability under operations

One important line of work asks how robust the equivalence is under standard constructions. Bell–Wang–Yee prove that if $P=\Ann_A(M)$4 and $P=\Ann_A(M)$5 are left noetherian $P=\Ann_A(M)$6-algebras with

$P=\Ann_A(M)$7

and $P=\Ann_A(M)$8 and $P=\Ann_A(M)$9 are homeomorphic, then $A$ 0 satisfies the Dixmier–Moeglin equivalence if and only if $A$ 1 does (Bell et al., 2018). Under these cardinality hypotheses, the topology of the prime spectrum detects the equivalence.

That result has two immediate limitations. First, it depends on the field-size hypotheses. Bell–Wang–Yee also show that the conclusion can fail over countable fields when the algebra is infinite-dimensional (Bell et al., 2018). Second, the equivalence is not purely topological without such finiteness constraints. A common misconception is therefore that DME is always a topological invariant of $A$ 2; the available results are more conditional.

The equivalence is, however, stable under several categorical and ring-theoretic operations. It is Morita invariant, descends to corners $A$ 3 for nonzero idempotents $A$ 4, and is preserved by tensor products $A$ 5 provided the tensor product is left noetherian and satisfies the Nullstellensatz (Bell et al., 2018). For affine noetherian $A$ 6-algebras over $A$ 7, Bell–Wu–Wu show that DME is preserved under arbitrary extension of scalars (Bell et al., 2016).

Ore extensions provide a more delicate stability result. If $A$ 8 is a finitely generated noetherian $A$ 9-algebra of finite Gelfand–Kirillov dimension, every prime ideal of $A$ 00 is completely prime, $A$ 01 satisfies DME, and $A$ 02 is a frame-preserving automorphism or derivation, then the Ore extension $A$ 03 also satisfies DME (Bell et al., 2016). This identifies a precise mechanism by which the equivalence survives skew-polynomial constructions.

Several refinements strengthen the classical equivalence rather than merely extending it. Bell–Launois–Nolan define, for a prime ideal $A$ 04, three numerical invariants: $A$ 05

$A$ 06

and

$A$ 07

An algebra satisfies the strong Dixmier–Moeglin equivalence if

$A$ 08

for every prime $A$ 09. This is strictly stronger than the usual DME: $A$ 10 satisfies the classical equivalence but fails the strong one, while quantum Schubert cells $A$ 11 satisfy the strong Dixmier–Moeglin equivalence (Bell et al., 2015).

There is also an equivariant version. If a Hopf algebra $A$ 12 acts on $A$ 13, one studies $A$ 14-prime ideals, $A$ 15-primitive ideals $A$ 16, $A$ 17-local closedness in $A$ 18- $A$ 19, and $A$ 20-rationality via the extended $A$ 21-center $A$ 22. Under noetherian and Nullstellensatz-type hypotheses, these three conditions are equivalent, yielding a Hopf-equivariant Dixmier–Moeglin equivalence (Lorenz, 2020).

In commutative Poisson algebra, the corresponding notion is the Poisson Dixmier–Moeglin equivalence. For cocommutative affine Poisson–Hopf algebras over a field of characteristic zero, Poisson-primitive, Poisson-rational, and Poisson-locally closed ideals coincide (Launois et al., 2017). Luo–Wang–Wu recast this in topological terms, showing that for complex affine Poisson algebras the Zariski topology of the Poisson prime spectrum and the topology of symplectic core or leaf strata can detect the Poisson Dixmier–Moeglin equivalence (Luo et al., 2019).

Model-theoretic and differential-algebraic analogues further broaden the scope. León Sánchez and Moosa formulate an abstract Dixmier–Moeglin equivalence for isolated finite-rank types in totally transcendental theories (Sánchez et al., 2017). In differential-algebraic geometry, $A$ 23-groups over the constants satisfy a $A$ 24-Dixmier–Moeglin equivalence, and this is applied to Hopf Ore extensions of commutative affine Hopf algebras (Bell et al., 2016). In $A$ 25-adic analytic representation theory, a deformed version appears for affinoid envelopes $A$ 26, where sufficiently deep dense Banach subalgebras satisfy the classical primitive–rational–locally closed equivalence (Jones, 2021). In commutative bidifferential algebra, Sánchez–Moosa formulate a bidifferential Dixmier–Moeglin problem and establish the standard implications

$A$ 27

while identifying the hard direction as an open problem (Sanchez et al., 2021).

Taken together, these refinements and analogues show that the Dixmier–Moeglin equivalence is not a single theorem attached to one class of algebras, but a structural pattern linking topology, birationality, and representation theory across noncommutative, Poisson, Hopf, and model-theoretic contexts.