리 대수
을 생각하자. 이는 실수 리 대수