이상적인 복잡한 단순 리 대수 분류: 개요