A Lie algebra is a vector space (over a field; we'll usually use or ) equipped with an operation satisfying:
bilinearity (over our chosen field ), that is the ability to expand brackets:
for all we require . This makes sense if you think about the commutator bracket, because .
the Jacobi identity: To remember this formula, note that the second and third terms are cyclic permutations of the first.