리 대수
Borcherds Lie algebra