The affinoid envelope U (L) K of a free, finitely generated Z p -Lie algebra L, has proven to be useful within the representation theory of compact p-adic Lie groups. Our aim is to further understand the algebraic structure of U (L) K , and to this end, we will define a Dixmier module over U (L) K , and prove that this object is generally irreducible in case where L is nilpotent. Ultimately, we will prove that all primitive ideals in the affinoid envelope can be described in terms of the annihilators of Dixmier modules, and using this, we aim towards proving that these algebras satisfy a version of the classical Dixmier-Moeglin equivalence.Throughout, fix p a prime, K\Q p a finite extension, O the valuation ring of K, π ∈ O a uniformiser.
Classical Motivation -The Dixmier-Moeglin equivalenceThis research is partially inspired by a problem in classical non-commutative algebra. Let k be any field of characteristic 0, and let R be a Noetherian k-algebra. We say that a prime ideal P of R is:• Weakly rational if Z(R/P ) is an algebraic field extension of k.• Rational if Z(Q(R/P )) is an algebraic field extension of k, where Q(R/P ) is the Goldie ring of quotients of R/P , in the sense of [16, Theorem 2.3.6].