리 대수
는 그 리 대수 아이디얼을 이룬다. 따라서, 몫 리 대수