The Weyl algebra
over a field
of characteristic 0 is
the associative algebra generated by
,
,
...,
and
,
, ...,
, with commuting
generators, commuting
generators, and relations
The Weyl algebra consists of the polynomial-coefficient differential operators on . For example, in
, the relation
is the product rule. Every element has a
unique finite expansion in the normally ordered monomials
.
The Dixmier conjecture concerns endomorphisms of Weyl algebras. Their commutator relations are the noncommutative counterpart of the canonical relations in the Poisson conjecture.