Infinite-dimensional Lie algebra