Lie algebra
formula_15의 리 대수