실 단순 리 군 대수의 분류에 관한 기본 개념.