DEFINITION 1.1
Let

be a field.
Let

be a positive integer.
A Weyl algebra

over a commutative ring

is an
algebra over

generated by

elements

with
the ``canonical commutation relations''
(CCR) |
 =h_{i j} \qquad (1\leq i,j \leq 2 n).$](img6.png) |
Where
is a non-degenerate anti-Hermitian
matrix of the
following form.