리 대수
이는 실수 리 대수 formula_15의 1차 유도 리 대수()에 대한 몫이므로, formula_15의 극대 아벨 몫 리 대수이다.