Generators and Relations
One may give an abstract construction of the algebras An in terms of generators and relations. Start with an abstract vector space V (of dimension 2n) equipped with a symplectic form ω. Define the Weyl algebra W(V) to be
where T(V) is the tensor algebra on V, and the notation 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 An via the choice of a Darboux basis for ω.
Read more about this topic: Weyl Algebra
Famous quotes containing the word relations:
“The interest in life does not lie in what people do, nor even in their relations to each other, but largely in the power to communicate with a third party, antagonistic, enigmatic, yet perhaps persuadable, which one may call life in general.”
—Virginia Woolf (1882–1941)