리 대수
는 formula_8의 리 대수 아이디얼을 이룬다. 이를 formula_75의 유도 리 대수()라고 한다.