Lie algebra
Borcherds Lie algebra