Weyl algebra

In abstract algebra, the Weyl algebras are abstracted from the ring of differential operators with polynomial coefficients. They are named after Hermann Weyl, who introduced them to study the Heisenberg uncertainty principle in quantum mechanics.

In the simplest case, these are differential operators. Let ${\displaystyle F}$ be a field, and let ${\displaystyle F[x]}$ be the ring of polynomials in one variable with coefficients in ${\displaystyle F}$. Then the corresponding Weyl algebra consists of differential operators of form

${\displaystyle f_{m}(x)\partial _{x}^{m}+f_{m-1}(x)\partial _{x}^{m-1}+\cdots +f_{1}(x)\partial _{x}+f_{0}(x)}$

In this case, ${\displaystyle q}$ corresponds to left multiplication by ${\displaystyle x}$, and ${\displaystyle p}$ corresponds to taking derivative with respect to ${\displaystyle x}$. This is the first Weyl algebra${\displaystyle A_{1}}$. The n-th Weyl algebra${\displaystyle A_{n}}$ are constructed similarly.

Alternatively, ${\displaystyle A_{1}}$ can be constructed as the quotient of the free algebra on two generators, q and p, by the ideal generated by ${\displaystyle ([p,q]-1)}$. Similarly, ${\displaystyle A_{n}}$ is obtained by quotienting the free algebra on 2n generators by the ideal generated by$${\displaystyle ([p_{i},q_{j}]-\delta _{i,j}),\quad \forall i,j=1,\dots ,n}$$where ${\displaystyle \delta _{i,j}}$ is the Kronecker delta.

More generally, let ${\displaystyle (R,\Delta )}$ be a partial differential ring with commuting derivatives ${\displaystyle \Delta =\lbrace \partial _{1},\ldots ,\partial _{m}\rbrace }$. The Weyl algebra associated to${\displaystyle (R,\Delta )}$ is the noncommutative ring ${\displaystyle R[\partial _{1},\ldots ,\partial _{m}]}$ satisfying the relations ${\displaystyle \partial _{i}r=r\partial _{i}+\partial _{i}(r)}$ for all ${\displaystyle r\in R}$. The previous case is the special case where ${\displaystyle R=F[x_{1},\ldots ,x_{n}]}$ and ${\displaystyle \Delta =\lbrace \partial _{x_{1}},\ldots ,\partial _{x_{n}}\rbrace }$ where ${\displaystyle F}$ is a field.

This article discusses only the case of ${\displaystyle A_{n}}$ with underlying field ${\displaystyle F}$ characteristic zero, unless otherwise stated.

The Weyl algebra is an example of a simple ring that is not a matrix ring over a division ring. It is also a noncommutative example of a domain, and an example of an Ore extension.

Motivation

See also: Canonical commutation relation

The Weyl algebra arises naturally in the context of quantum mechanics and the process of canonical quantization. Consider a classical phase space with canonical coordinates ${\displaystyle (q_{1},p_{1},\dots ,q_{n},p_{n})}$. These coordinates satisfy the Poisson bracket relations:$${\displaystyle \{q_{i},q_{j}\}=0,\quad \{p_{i},p_{j}\}=0,\quad \{q_{i},p_{j}\}=\delta _{ij}.}$$In canonical quantization, one seeks to construct a Hilbert space of states and represent the classical observables (functions on phase space) as self-adjoint operators on this space. The canonical commutation relations are imposed:$${\displaystyle [{\hat {q}}_{i},{\hat {q}}_{j}]=0,\quad [{\hat {p}}_{i},{\hat {p}}_{j}]=0,\quad [{\hat {q}}_{i},{\hat {p}}_{j}]=i\hbar \delta _{ij},}$$where ${\displaystyle [\cdot ,\cdot ]}$ denotes the commutator. Here, ${\displaystyle {\hat {q}}_{i}}$ and ${\displaystyle {\hat {p}}_{i}}$ are the operators corresponding to ${\displaystyle q_{i}}$ and ${\displaystyle p_{i}}$ respectively. Erwin Schrödinger proposed in 1926 the following: ^[1]

• ${\displaystyle {\hat {q_{j}}}}$ with multiplication by ${\displaystyle x_{j}}$.
• ${\displaystyle {\hat {p}}_{j}}$ with ${\displaystyle -i\hbar \partial _{x_{j}}}$.

With this identification, the canonical commutation relation holds.

Constructions

The Weyl algebras have different constructions, with different levels of abstraction.

Representation

The Weyl algebra ${\displaystyle A_{n}}$ can be concretely constructed as a representation.

In the differential operator representation, similar to Schrödinger's canonical quantization, let ${\displaystyle q_{j}}$ be represented by multiplication on the left by ${\displaystyle x_{j}}$, and let ${\displaystyle p_{j}}$ be represented by differentiation on the left by ${\displaystyle \partial _{x_{j}}}$.

In the matrix representation, similar to the matrix mechanics, ${\displaystyle A_{1}}$ is represented by ^[2] $${\displaystyle P={\begin{bmatrix}0&1&0&0&\cdots \\0&0&2&0&\cdots \\0&0&0&3&\cdots \\\vdots &\vdots &\vdots &\vdots &\ddots \end{bmatrix}},\quad Q={\begin{bmatrix}0&0&0&0&\ldots \\1&0&0&0&\cdots \\0&1&0&0&\cdots \\\vdots &\vdots &\vdots &\vdots &\ddots \end{bmatrix}}}$$

Generator

${\displaystyle A_{n}}$ can be constructed as a quotient of a free algebra in terms of generators and relations. One construction starts with an abstract vector space V (of dimension 2n) equipped with a symplectic form ω. Define the Weyl algebra W(V) to be

${\displaystyle W(V):=T(V)/(\!(v\otimes u-u\otimes v-\omega (v,u),{\text{ for }}v,u\in V)\!),}$

where T(V) is the tensor algebra on V, and the notation ${\displaystyle (\!()\!)}$ means "the ideal generated by".

In other words, W(V) is the algebra generated by V subject only to the relation vu − uv = ω(v, u). Then, W(V) is isomorphic to A_n via the choice of a Darboux basis for ω.

${\displaystyle A_{n}}$ is also a quotient of the universal enveloping algebra of the Heisenberg algebra, the Lie algebra of the Heisenberg group, by setting the central element of the Heisenberg algebra (namely [q, p]) equal to the unit of the universal enveloping algebra (called 1 above).

Quantization

The algebra W(V) is a quantization of the symmetric algebra Sym(V). If V is over a field of characteristic zero, then W(V) is naturally isomorphic to the underlying vector space of the symmetric algebra Sym(V) equipped with a deformed product – called the Groenewold–Moyal product (considering the symmetric algebra to be polynomial functions on V^∗, where the variables span the vector space V, and replacing iħ in the Moyal product formula with 1).

The isomorphism is given by the symmetrization map from Sym(V) to W(V)

${\displaystyle a_{1}\cdots a_{n}\mapsto {\frac {1}{n!}}\sum _{\sigma \in S_{n}}a_{\sigma (1)}\otimes \cdots \otimes a_{\sigma (n)}~.}$

If one prefers to have the iħ and work over the complex numbers, one could have instead defined the Weyl algebra above as generated by q_i and iħ∂_qi (as per quantum mechanics usage).

Thus, the Weyl algebra is a quantization of the symmetric algebra, which is essentially the same as the Moyal quantization (if for the latter one restricts to polynomial functions), but the former is in terms of generators and relations (considered to be differential operators) and the latter is in terms of a deformed multiplication.

Stated in another way, let the Moyal star product be denoted ${\displaystyle f\star g}$, then the Weyl algebra is isomorphic to ${\displaystyle (\mathbb {C} [x_{1},\dots ,x_{n}],\star )}$. ^[3]

In the case of exterior algebras, the analogous quantization to the Weyl one is the Clifford algebra, which is also referred to as the orthogonal Clifford algebra. ^{[4] [5]}

The Weyl algebra is also referred to as the symplectic Clifford algebra. ^{[4] [5] [6]} Weyl algebras represent for symplectic bilinear forms the same structure that Clifford algebras represent for non-degenerate symmetric bilinear forms. ^[6]

D-module

The Weyl algebra can be constructed as a D-module. ^[7]

Let ${\displaystyle R}$ be a commutative algebra over ${\displaystyle \mathbb {C} }$. The ring of differential operators${\displaystyle D(R)}$ is inductively defined as a graded subalgebra of ${\displaystyle \operatorname {End} _{\mathbb {C} }(R)}$:

• ${\displaystyle P^{0}(R)=R}$
• ${\displaystyle D^{k}(R)=\left\{d\in \operatorname {End} _{\mathrm {c} }(R):[d,a]\in D^{k-1}(R){\text{ for all }}a\in R\right\}.}$

Let ${\displaystyle D(R)}$ be the union of all ${\displaystyle D^{k}(R)}$ for ${\displaystyle k\geq 0}$. This is a subalgebra of ${\displaystyle \operatorname {End} _{\mathbb {C} }(R)}$.

${\displaystyle D^{1}(R)}$ is generated, as an ${\displaystyle R}$-module, by 1 and the ${\displaystyle \mathbb {C} }$-derivations of ${\displaystyle R}$. In particular, if ${\displaystyle R=\mathbb {C} [x]}$, the polynomial ring in one variable, then ${\displaystyle D^{1}(R)=R+R\partial _{x}}$. In fact, ${\displaystyle A_{1}=D(R)}$. ^[8]

Properties of A_n

Many properties of ${\displaystyle A_{1}}$ apply to ${\displaystyle A_{n}}$ with essentially similar proofs, since the different dimensions commute.

General Leibniz rule

Main article: General Leibniz rule

Theorem (general Leibniz rule) — $${\displaystyle p^{k}q^{m}=\sum _{l=0}^{k}{\binom {k}{l}}{\frac {m!}{(m-l)!}}q^{m-l}p^{k-l}=q^{m}p^{k}+mkq^{m-1}p^{k-1}+\cdots }$$

Proof

Under the ${\displaystyle p\mapsto x,q\mapsto \partial _{x}}$ representation, this equation is obtained by the general Leibniz rule. Since the general Leibniz rule is provable by algebraic manipulation, it holds for ${\displaystyle A_{1}}$ as well.

In particular, ${\textstyle [q,q^{m}p^{n}]=-nq^{m}p^{n-1}}$ and ${\textstyle [p,q^{m}p^{n}]=mq^{m-1}p^{n}}$.

Corollary — The center of Weyl algebra ${\displaystyle A_{n}}$ is the underlying field of constants ${\displaystyle F}$.

Proof

If the commutator of ${\displaystyle f}$ with either of ${\displaystyle p,q}$ is zero, then by the previous statement, ${\displaystyle f}$ has no monomial ${\displaystyle p^{n}q^{m}}$ with ${\displaystyle n>0}$ or ${\displaystyle m>0}$.

Degree

Theorem — ${\displaystyle A_{n}}$ has a basis ${\displaystyle \{q^{m}p^{n}:m,n\geq 0\}}$. ^[9]

Proof

By repeating the commutator relations, any monomial can be equated to a linear sum of these. It remains to check that these are linearly independent. This can be checked in the differential operator representation. For any linear sum ${\displaystyle \sum _{m,n}c_{m,n}x^{m}\partial _{x}^{n}}$ with nonzero coefficients, group it in descending order: ${\displaystyle p_{N}(x)\partial _{x}^{N}+p_{N-1}(x)\partial _{x}^{N-1}+\cdots +p_{M}(x)\partial _{x}^{M}}$, where ${\displaystyle p_{M}}$ is a nonzero polynomial. This operator applied to ${\displaystyle x^{M}}$ results in ${\displaystyle M!p_{M}(x)\neq 0}$.

This allows ${\displaystyle A_{1}}$ to be a graded algebra, where the degree of ${\displaystyle \sum _{m,n}c_{m,n}q^{m}p^{n}}$ is ${\displaystyle \max(m+n)}$ among its nonzero monomials. The degree is similarly defined for ${\displaystyle A_{n}}$.

Theorem — For ${\displaystyle A_{n}}$: ^[10]

• ${\displaystyle \deg(g+h)\leq \max(\deg(g),\deg(h))}$
• ${\displaystyle \deg([g,h])\leq \deg(g)+\deg(h)-2}$
• ${\displaystyle \deg(gh)=\deg(g)+\deg(h)}$

Proof

We prove it for ${\displaystyle A_{1}}$, as the ${\displaystyle A_{n}}$ case is similar.

The first relation is by definition. The second relation is by the general Leibniz rule. For the third relation, note that ${\displaystyle \deg(gh)\leq \deg(g)+\deg(h)}$, so it is sufficient to check that ${\displaystyle gh}$ contains at least one nonzero monomial that has degree ${\displaystyle \deg(g)+\deg(h)}$. To find such a monomial, pick the one in ${\displaystyle g}$ with the highest degree. If there are multiple such monomials, pick the one with the highest power in ${\displaystyle q}$. Similarly for ${\displaystyle h}$. These two monomials, when multiplied together, create a unique monomial among all monomials of ${\displaystyle gh}$, and so it remains nonzero.

Theorem — ${\displaystyle A_{n}}$ is a simple domain. ^[11]

That is, it has no two-sided nontrivial ideals and has no zero divisors.

Proof

Because ${\displaystyle \deg(gh)=\deg(g)+\deg(h)}$, it has no zero divisors.

Suppose for contradiction that ${\displaystyle I}$ is a nonzero two-sided ideal of ${\displaystyle A_{1}}$, with ${\displaystyle I\neq A_{1}}$. Pick a nonzero element ${\displaystyle f\in I}$ with the lowest degree.

If ${\displaystyle f}$ contains some nonzero monomial of form ${\displaystyle xx^{m}\partial ^{n}=x^{m+1}\partial ^{n}}$, then $${\displaystyle [\partial ,f]=\partial f-f\partial }$$ contains a nonzero monomial of form $${\displaystyle \partial x^{m+1}\partial ^{n}-x^{m+1}\partial ^{n}\partial =(m+1)x^{m}\partial ^{n}.}$$ Thus ${\displaystyle [\partial ,f]}$ is nonzero, and has degree ${\displaystyle \leq \deg(f)-1}$. As ${\displaystyle I}$ is a two-sided ideal, we have ${\displaystyle [\partial ,f]\in I}$, which contradicts the minimality of ${\displaystyle \deg(f)}$.

Similarly, if ${\displaystyle f}$ contains some nonzero monomial of form ${\displaystyle x^{m}\partial ^{n}\partial }$, then ${\displaystyle [x,f]=xf-fx}$ is nonzero with lower degree.

Derivation

Further information: Derivation (differential algebra)

Theorem — The derivations of ${\textstyle A_{n}}$ are in bijection with the elements of ${\textstyle A_{n}}$ up to an additive scalar. ^[12]

That is, any derivation ${\textstyle D}$ is equal to ${\textstyle [\cdot ,f]}$ for some ${\textstyle f\in A_{n}}$; any ${\textstyle f\in A_{n}}$ yields a derivation ${\textstyle [\cdot ,f]}$; if ${\textstyle f,f'\in A_{n}}$ satisfies ${\textstyle [\cdot ,f]=[\cdot ,f']}$, then ${\textstyle f-f'\in F}$.

The proof is similar to computing the potential function for a conservative polynomial vector field on the plane. ^[13]

Proof

Since the commutator is a derivation in both of its entries, ${\textstyle [\cdot ,f]}$ is a derivation for any ${\textstyle f\in A_{n}}$. Uniqueness up to additive scalar is because the center of ${\textstyle A_{n}}$ is the ring of scalars. It remains to prove that any derivation is an inner derivation by induction on ${\textstyle n}$. Base case: Let ${\textstyle D:A_{1}\to A_{1}}$ be a linear map that is a derivation. We construct an element ${\textstyle r}$ such that ${\textstyle [p,r]=D(p),[q,r]=D(q)}$. Since both ${\textstyle D}$ and ${\textstyle [\cdot ,r]}$ are derivations, these two relations generate ${\textstyle [g,r]=D(g)}$ for all ${\textstyle g\in A_{1}}$. Since ${\textstyle [p,q^{m}p^{n}]=mq^{m-1}p^{n}}$, there exists an element ${\textstyle f=\sum _{m,n}c_{m,n}q^{m}p^{n}}$ such that $${\displaystyle [p,f]=\sum _{m,n}mc_{m,n}q^{m}p^{n}=D(p)}$$ $${\displaystyle {\begin{aligned}0&{\stackrel {[p,q]=1}{=}}D([p,q])\\&{\stackrel {D{\text{ is a derivation}}}{=}}[p,D(q)]+[D(p),q]\\&{\stackrel {[p,f]=D(p)}{=}}[p,D(q)]+[[p,f],q]\\&{\stackrel {\text{Jacobi identity}}{=}}[p,D(q)-[q,f]]\end{aligned}}}$$ Thus, ${\textstyle D(q)=g(p)+[q,f]}$ for some polynomial ${\textstyle g}$. Now, since ${\textstyle [q,q^{m}p^{n}]=-nq^{m}p^{n-1}}$, there exists some polynomial ${\textstyle h(p)}$ such that ${\textstyle [q,h(p)]=g(p)}$. Since ${\textstyle [p,h(p)]=0}$, ${\textstyle r=f+h(p)}$ is the desired element. For the induction step, similarly to the above calculation, there exists some element ${\textstyle r\in A_{n}}$ such that ${\textstyle [q_{1},r]=D(q_{1}),[p_{1},r]=D(p_{1})}$. Similar to the above calculation, $${\displaystyle [x,D(y)-[y,r]]=0}$$ for all ${\textstyle x\in \{p_{1},q_{1}\},y\in \{p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\}}$. Since ${\textstyle [x,D(y)-[y,r]]}$ is a derivation in both ${\textstyle x}$ and ${\textstyle y}$, ${\textstyle [x,D(y)-[y,r]]=0}$ for all ${\textstyle x\in \langle p_{1},q_{1}\rangle }$ and all ${\textstyle y\in \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$. Here, ${\textstyle \langle \rangle }$ means the subalgebra generated by the elements. Thus, ${\textstyle \forall y\in \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$, $${\displaystyle D(y)-[y,r]\in \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$$ Since ${\textstyle D-[\cdot ,r]}$ is also a derivation, by induction, there exists ${\textstyle r'\in \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$ such that ${\textstyle D(y)-[y,r]=[y,r']}$ for all ${\textstyle y\in \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$. Since ${\textstyle p_{1},q_{1}}$ commutes with ${\textstyle \langle p_{2},\dots ,p_{n},q_{2},\dots ,q_{n}\rangle }$, we have ${\textstyle D(y)=[y,r+r']}$ for all ${\displaystyle y\in \{p_{1},\dots ,p_{n},q_{1},\dots ,q_{n}\}}$, and so for all of ${\displaystyle A_{n}}$.

Representation theory

Further information: Stone–von Neumann theorem

Zero characteristic

In the case that the ground field F has characteristic zero, the nth Weyl algebra is a simple Noetherian domain. ^[14] It has global dimension n, in contrast to the ring it deforms, Sym(V), which has global dimension 2n.

It has no finite-dimensional representations. Although this follows from simplicity, it can be more directly shown by taking the trace of σ(q) and σ(Y) for some finite-dimensional representation σ (where [q,p] = 1).

${\displaystyle \mathrm {tr} ([\sigma (q),\sigma (Y)])=\mathrm {tr} (1)~.}$

Since the trace of a commutator is zero, and the trace of the identity is the dimension of the representation, the representation must be zero dimensional.

In fact, there are stronger statements than the absence of finite-dimensional representations. To any finitely generated A_n-module M, there is a corresponding subvariety Char(M) of V × V^∗ called the 'characteristic variety'^{[ clarification needed ]} whose size roughly corresponds to the size^{[ clarification needed ]} of M (a finite-dimensional module would have zero-dimensional characteristic variety). Then Bernstein's inequality states that for M non-zero,

${\displaystyle \dim(\operatorname {char} (M))\geq n}$

An even stronger statement is Gabber's theorem, which states that Char(M) is a co-isotropic subvariety of V × V^∗ for the natural symplectic form.

Positive characteristic

The situation is considerably different in the case of a Weyl algebra over a field of characteristic p > 0.

In this case, for any element D of the Weyl algebra, the element D^p is central, and so the Weyl algebra has a very large center. In fact, it is a finitely generated module over its center; even more so, it is an Azumaya algebra over its center. As a consequence, there are many finite-dimensional representations which are all built out of simple representations of dimension p.

Generalizations

The ideals and automorphisms of ${\displaystyle A_{1}}$ have been well-studied. ^{[15] [16]} The moduli space for its right ideal is known. ^[17] However, the case for ${\displaystyle A_{n}}$ is considerably harder and is related to the Jacobian conjecture. ^[18]

For more details about this quantization in the case n = 1 (and an extension using the Fourier transform to a class of integrable functions larger than the polynomial functions), see Wigner–Weyl transform.

Weyl algebras and Clifford algebras admit a further structure of a *-algebra, and can be unified as even and odd terms of a superalgebra, as discussed in CCR and CAR algebras.

Affine varieties

Weyl algebras also generalize in the case of algebraic varieties. Consider a polynomial ring

${\displaystyle R={\frac {\mathbb {C} [x_{1},\ldots ,x_{n}]}{I}}.}$

Then a differential operator is defined as a composition of ${\displaystyle \mathbb {C} }$-linear derivations of ${\displaystyle R}$. This can be described explicitly as the quotient ring

${\displaystyle {\text{Diff}}(R)={\frac {\{D\in A_{n}\colon D(I)\subseteq I\}}{I\cdot A_{n}}}.}$

See also

• Jacobian conjecture
• Dixmier conjecture

Notes

1. Landsman 2007, p. 428.
2. Coutinho 1997, pp. 598–599.
3. Coutinho 1997, pp. 602–603.
4. Lounesto & Ablamowicz 2004, p. xvi.
5. Micali, Boudet & Helmstetter 1992, pp. 83–96.
6. Helmstetter & Micali 2008, p. xii.
7. Coutinho 1997, pp. 600–601.
8. Coutinho 1995, pp. 20–24.
9. Coutinho 1995, p. 9, Proposition 2.1.
10. Coutinho 1995, pp. 14–15.
11. Coutinho 1995, p. 16.
12. Dirac 1926, pp. 415–417.
13. Coutinho 1997, p. 597.
14. Coutinho 1995, p. 70.
15. Berest & Wilson 2000, pp. 127–147.
16. Cannings & Holland 1994, pp. 116–141.
17. Lebruyn 1995, pp. 32–48.
18. Coutinho 1995, section 4.4.

References

• Coutinho, S. C. (1995). A Primer of Algebraic D-Modules. Cambridge [England] ; New York, NY, USA: Cambridge University Press. doi:10.1017/cbo9780511623653. ISBN   978-0-521-55119-9.
• Coutinho, S. C. (1997). "The Many Avatars of a Simple Algebra". The American Mathematical Monthly. 104 (7): 593–604. doi:10.1080/00029890.1997.11990687. ISSN   0002-9890.
• Dirac, P. A. M. (1926). "On Quantum Algebra". Mathematical Proceedings of the Cambridge Philosophical Society. 23 (4): 412–418. doi:10.1017/S0305004100015231. ISSN   0305-0041.
• Helmstetter, J.; Micali, A. (2008). Quadratic Mappings and Clifford Algebras. Basel ; Boston: Birkhäuser. ISBN   978-3-7643-8605-4. OCLC   175285188.
• Landsman, N.P. (2007). "BETWEEN CLASSICAL AND QUANTUM". Philosophy of Physics. Elsevier. doi:10.1016/b978-044451560-5/50008-7. ISBN   978-0-444-51560-5.
• Lounesto, P.; Ablamowicz, R. (2004). Clifford Algebras. Boston: Springer Science & Business Media. ISBN   0-8176-3525-4.
• Micali, A.; Boudet, R.; Helmstetter, J. (1992). Clifford Algebras and their Applications in Mathematical Physics. Dordrecht: Springer Science & Business Media. ISBN   0-7923-1623-1.
• de Traubenberg, M. Rausch; Slupinski, M. J.; Tanasa, A. (2006). "Finite-dimensional Lie subalgebras of the Weyl algebra". J. Lie Theory. 16: 427–454. arXiv: math/0504224 .
• Traves, Will (2010). "Differential Operations on Grassmann Varieties". In Campbell, H.; Helminck, A.; Kraft, H.; Wehlau, D. (eds.). Symmetry and Spaces. Progress in Mathematics. Vol. 278. Birkhäuse. pp. 197–207. doi:10.1007/978-0-8176-4875-6_10. ISBN   978-0-8176-4875-6.
• Tsit Yuen Lam (2001). A first course in noncommutative rings. Graduate Texts in Mathematics. Vol. 131 (2nd ed.). Springer. p. 6. ISBN   978-0-387-95325-0.
• Berest, Yuri; Wilson, George (September 1, 2000). "Automorphisms and ideals of the Weyl algebra". Mathematische Annalen. 318 (1): 127–147. doi:10.1007/s002080000115. ISSN   0025-5831.
• Cannings, R.C.; Holland, M.P. (1994). "Right Ideals of Rings of Differential Operators". Journal of Algebra. 167 (1). Elsevier BV: 116–141. doi:10.1006/jabr.1994.1179. ISSN   0021-8693.
• Lebruyn, L. (1995). "Moduli Spaces for Right Ideals of the Weyl Algebra". Journal of Algebra. 172 (1). Elsevier BV: 32–48. doi:10.1006/jabr.1995.1046. ISSN   0021-8693.