In mathematics the Jacobi identity is a property of a binary operation which describes how the order of evaluation (the placement of parentheses in a multiple product) affects the result of the operation. By contrast, for operations with the associative property, any order of evaluation gives the same result (parentheses in a multiple product are not needed). The identity is named after the German mathematician Carl Gustav Jakob Jacobi. The cross product and the Lie bracket operation both satisfy the Jacobi identity.
A binary operation × on a set S possessing a binary operation + with an additive identity denoted by 0 satisfies the Jacobi identity if:
That is, if the sum of all even permutations of (a,(b,c)) is zero (where the permutation is performed by leaving the parentheses fixed and interchanging letters an even number of times).
The simplest example of a Lie algebra is constructed from the (associative) ring of matrices, which may be thought of as infinitesimal motions of an n-dimensional vector space. The Lie bracket operation is then defined as the commutator, which measures the failure of commutativity in matrix multiplication:
It is then easy to check the Jacobi identity:
More generally, suppose A is an associative algebra and V is a subspace of A with the property that for all A and B in A, the element belongs to V. Then the Jacobi identity holds on V for the bracket operator given by . Thus, if a binary operation satisfies the Jacobi identity, we may say that it behaves as if it were given by in some associative algebra, even if it is not actually defined that way.
Considering as the action of the infinitesimal motion A on C, this can be stated as:
The action of B followed by A (operator ), minus the action of A followed by B (operator ), is equal to the action of , (operator ).
There is also a plethora of mixed analogs involving anticommutators, such as
etc. (Graded Jacobi identities)
The majority of common examples of the Jacobi identity come from the bracket multiplication on Lie algebras and Lie rings. Because of this the Jacobi identity is often expressed using Lie bracket notation:
Thus, the Jacobi identity for Lie algebras simply states that the action of any element on the algebra is a derivation. This form of the Jacobi identity is also used to define the notion of Leibniz algebra.
Another rearrangement shows that the Jacobi identity is equivalent to the following identity between the operators of the adjoint representation:
This identity implies that the map sending each element to its adjoint action is a Lie algebra homomorphism of the original algebra into the Lie algebra of its derivations.
In analytical mechanics, the Jacobi identity is satisfied by the Poisson brackets. In quantum mechanics, it is satisfied by operator commutators on a Hilbert space and, equivalently, in the phase space formulation of quantum mechanics by the Moyal bracket.
The following identitity follows from anticommutativity and Jacobi identity and holds in arbitrary Lie algebra:
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3319134666.