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 be a field, and let be the ring of polynomials in one variable with coefficients in . Then the corresponding Weyl algebra consists of differential operators of form
In this case, corresponds to left multiplication by , and corresponds to taking derivative with respect to . This is the first Weyl algebra . The n-th Weyl algebra are constructed similarly.
Alternatively, can be constructed as the quotient of the free algebra on two generators, q and p, by the ideal generated by . Similarly, is obtained by quotienting the free algebra on 2n generators by the ideal generated bywhere is the Kronecker delta.
More generally, let be a partial differential ring with commuting derivatives . The Weyl algebra associated to is the noncommutative ring satisfying the relations for all . The previous case is the special case where and where is a field.
This article discusses only the case of with underlying field 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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search