리 초대수
이 밖에 단순 리 초대수 사이의 다른 동형은 없다.