リー代数
Symplectic Lie algebra