리 대수
자명한 리 대수 아이디얼.