리 초대수
가환환 formula_1 위의 리 초대수 formula_16의 아이디얼() formula_17는 다음 조건을 만족시키는 formula_1-부분 가군이다.