リー代数
Borcherds Lie algebra