Heisenberg Lie algebra