해결 가능한 리 군 대수의 정의, 유도 연쇄, 및 결정