리 대수
formula_1의 리 대수 자기 동형