리 대수
으로 생성되는 (대수적) 부분 리 대수