리 초대수
체 formula_1 위의 유한 차원 리 초대수 formula_2의 킬링 형식 formula_30는 다음과 같은 성질을 갖는다.