Jacobi identity
In mathematics the Jacobi identity is a property that a binary operation can satisfy which determines how the order of evaluation behaves for the given operation. Unlike for associative operations, order of evaluation is significant for operations satisfying Jacobi identity.
Definition
A binary operation on a set possessing a commutative binary operation , satisfies the Jacobi identity if
Examples
The Jacobi identity is satisfied by the multiplication (bracket) operation on Lie algebras and Lie rings and these provide the majority of examples of operations satisfying the Jacobi identity in common use. Because of this the Jacobi identity is often expressed using Lie bracket notation:
![{\displaystyle [x,[y,z]]+[z,[x,y]]+[y,[z,x]]=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a425004c6877ee5ecace799ca0396a3db1e4155b)
Defining the adjoint map
![{\displaystyle \operatorname {ad} _{x}:y\mapsto [x,y],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efd84bbcf9b433d8d210f5438e73e223630a9524)
permits two equivalent formulations of the Jacobi identity. After a rearrangement, the identity becomes
![{\displaystyle \operatorname {ad} _{x}[y,z]=[\operatorname {ad} _{x}y,z]+[y,\operatorname {ad} _{x}z].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a463244ff920979eda9e6ce2d8f64c399d27e0)
Thus, the Jacobi identity for Lie algebras simply becomes the assertion 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
![{\displaystyle \operatorname {ad} _{[x,y]}=[\operatorname {ad} _{x},\operatorname {ad} _{y}],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46fc7f2dc69f2f78493cb6a411a547c223626f4a)
which implies that the map sending each element to its adjoint action is a Lie algebra homomorphism into the algebra of derivations of the algebra. This latter property gives rise to the adjoint representation.
A similar identity called the Hall-Witt identity exists for commutators of groups.
In analytical mechanics, Jacobi identity is satisfied by Poisson brackets, while in quantum mechanics it is satisfied by operator commutators.