Heisenberg algebra
In the general formulation used in conformal field theory, a Heisenberg algebra
Assuming
so that
which is ^nondegenerate on
and
for
Properties
, since otherwise the centre would be trivial (not 1-dimensional) - If
is finite, then it is odd