C Jacobi 1862 Jacobi-identity [a,[b,c]]+[b,[c,a]]+[c,[a,b]]=0; modern Lie-algebra axiomatic foundation.