AbstractThe affinoid enveloping algebra $\widehat {U({\mathscr{L}})}_{K}$
U
(
L
)
̂
K
of a free, finitely generated $\mathbb {Z}_{p}$
ℤ
p
-Lie algebra ${\mathscr{L}}$
L
has proven to be useful within the representation theory of compact p-adic Lie groups, and we aim to further understand its algebraic structure. To this end, we define the notion of a Dixmier module over $\widehat {U({\mathscr{L}})}_{K}$
U
(
L
)
̂
K
, a generalisation of the Verma module, and we prove that when ${\mathscr{L}}$
L
is nilpotent, all primitive ideals of $\widehat {U({\mathscr{L}})}_{K}$
U
(
L
)
̂
K
can be described in terms of annihilator ideals of Dixmier modules. Using this, we take steps towards proving that this algebra satisfies a version of the classical Dixmier-Moeglin equivalence.