e/Leibniz algebra

Information
has gloss	eng: In mathematics, a (right) Leibniz algebra, named after Gottfried Wilhelm Leibniz, sometimes called a Loday algebra, after Jean-Louis Loday, is a module L over a commutative ring R with a bilinear product [,] satisfying the Leibniz identity
lexicalization	eng: Leibniz algebra
instance of	e/Algebra over a field

Meaning
Korean
has gloss	kor: 수학에서 라이프니츠 대수(Leibniz algebra) 혹은 로데이 대수(Loday algebra)라는 것은 가환환 R상에서의 모듈 L로써, 좌측 우측 자리에 대해서 모두 선형인 곱 연산 [ , ]가 정의되고 이 곱 연산이 [a,[b,c]] = a,b],c] + [b,[a,c 를 만족하는 것을 뜻한다. 즉, 원소 a를 왼쪽에 곱하는 것이 리 대수의 derivation과 같은 성질을 만족하는 것을 말한다. 이 조건을 흔히 라이프니츠 공식이라고 부른다.
lexicalization	kor: 라이프니츠 대수