리 초대수
실수체 위의 고전 단순 리 초대수.