李代數
Borcherds Lie algebra