Jacobi Identity

In mathematics, the Jacobi identity is a property of a binary operation that 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 Jacob Jacobi.

The cross product $a\times b$ and the Lie bracket operation ,b/math> both satisfy the Jacobi identity. 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.

Definition

Let $+$ and $\times$ be two binary operations, and let $0$ be the neutral element for $+$. The is

:$x \times (y \times z) \ +\ y \times (z \times x) \ +\ z \times (x \times y)\ =\ 0.$

Notice the pattern in the variables on the left side of this identity. In each subsequent expression of the form $a \times (b \times c)$, the variables $x$, $y$ and $z$ are permuted according to the cycle $x \mapsto y \mapsto z \mapsto x$. Alternatively, we may observe that the ordered triples $(x,y,z)$, $(y,z,x)$ and $(z,x,y)$, are the even permutations of the ordered triple $(x,y,z)$.

Commutator bracket form

The simplest informative example of a Lie algebra is constructed from the (associative) ring of $n\times n$ matrices, which may be thought of as infinitesimal motions of an ''n''-dimensional vector space. The × operation is the commutator, which measures the failure of commutativity in matrix multiplication. Instead of $X\times Y$, the Lie bracket notation is used:
: ,YXY-YX.

In that notation, the Jacobi identity is:
: ,_[Y,_Z.html"_;"title=",_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z">,_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z+_[Y,_[Z,_X.html" ;"title=",_Z">,_[Y,_Z.html" ;"title=",_Z.html" ;"title=", [Y, Z">, [Y, Z">,_Z.html" ;"title=", [Y, Z">, [Y, Z+ [Y, [Z, X">,_Z">,_[Y,_Z.html" ;"title=",_Z.html" ;"title=", [Y, Z">, [Y, Z">,_Z.html" ;"title=", [Y, Z">, [Y, Z+ [Y, [Z, X] + [Z, [X, Y] ] \ =\ 0
That is easily checked by computation.

More generally, if is an associative algebra and is a subspace of that is closed under the bracket operation: ,YXY-YX belongs to for all $X,Y\in V$, the Jacobi identity continues to hold on . Thus, if a binary operation ,Y/math> satisfies the Jacobi identity, it may be said that it behaves as if it were given by $XY-YX$ in some associative algebra even if it is not actually defined that way.

Using the antisymmetry property ,Y- ,X/math>, the Jacobi identity may be rewritten as a modification of the associative property:

: X, Y Z] = ,_[Y,_Z_-_[Y,_[X,_Z.html"_;"title=",_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_[Y,_[X,_Z">,_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_ ,_[Y,_Z_-_[Y,_[X,_Z.html"_;"title=",_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_[Y,_[X,_Z">,_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_[Y,_[X,_Z~.

If_$[X,Z">,_Z">,_[Y,_Z_-_[Y,_[X,_Z.html"_;"title=",_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_[Y,_[X,_Z">,_Z.html"_;"title=",_[Y,_Z">,_[Y,_Z_-_[Y,_[X,_Z~.$

If_$[X,Z/math>_is_the_action_of_the_infinitesimal_motion__on_,_that_can_be_stated_as:_ There_is_also_a_plethora_of_Lie_superalgebra#properties.html" ;"title=",_[X,_Z~.$

If_$[X,Z.html" ;"title=",_Z">,_[Y,_Z_-_[Y,_[X,_Z.html" ;"title=",_Z.html" ;"title=", [Y, Z">, [Y, Z - [Y, [X, Z">,_Z.html" ;"title=", [Y, Z">, [Y, Z - [Y, [X, Z~.$

If $[X,Z">,_Z">,_[Y,_Z_-_[Y,_[X,_Z.html" ;"title=",_Z.html" ;"title=", [Y, Z">, [Y, Z - [Y, [X, Z">,_Z.html" ;"title=", [Y, Z">, [Y, Z - [Y, [X, Z~.$

If [X,Z/math> is the action of the infinitesimal motion on , that can be stated as:

There is also a plethora of Lie superalgebra#properties">graded Jacobi identities involving anticommutators $\$, such as:

:$[\,Z]+ [\,X]+[\,Y] =0,\qquad [\,Z]+ \+\ =0.$

Adjoint form

Most common examples of the Jacobi identity come from the bracket multiplication ,y/math> on Lie algebras and Lie rings. The Jacobi identity is written as:

: ,[y,z_+_[z,[x,y.html"_;"title=",z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y">,z.html"_;"title=", ,[y,z_+_[z,[x,y_+_[y,[z,x.html"_;"title=",z">,[y,z_+_[z,[x,y.html"_;"title=",z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y">,z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y_+_[y,[z,x">,z">,[y,z_+_[z,[x,y.html"_;"title=",z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y">,z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y_+_[y,[z,x_=_0.

Because_the_bracket_multiplication_is_ ,[y,z_+_[z,[x,y_+_[y,[z,x.html"_;"title=",z">,[y,z_+_[z,[x,y.html"_;"title=",z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y">,z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y_+_[y,[z,x">,z">,[y,z_+_[z,[x,y.html"_;"title=",z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y">,z.html"_;"title=",[y,z">,[y,z_+_[z,[x,y_+_[y,[z,x_=_0.

Because_the_bracket_multiplication_is_anticommutativity">antisymmetric,_the_Jacobi_identity_admits_two_equivalent_reformulations._Defining_the_adjoint_representation_of_a_Lie_algebra.html" ;"title="anticommutativity.html" ;"title=",z">,[y,z_+_[z,[x,y_+_[y,[z,x.html" ;"title=",z">,[y,z_+_[z,[x,y.html" ;"title=",z.html" ;"title=",[y,z">,[y,z + [z,[x,y">,z.html" ;"title=",[y,z">,[y,z + [z,[x,y + [y,[z,x">,z">,[y,z_+_[z,[x,y.html" ;"title=",z.html" ;"title=",[y,z">,[y,z + [z,[x,y">,z.html" ;"title=",[y,z">,[y,z + [z,[x,y + [y,[z,x = 0.

Because the bracket multiplication is anticommutativity">antisymmetric, the Jacobi identity admits two equivalent reformulations. Defining the adjoint representation of a Lie algebra">adjoint operator \operatorname_x: y \mapsto ,y/math>, the identity becomes:
:$\operatorname_x[y,z]=[\operatorname_xy,z]+[y,\operatorname_xz].$

Thus, the Jacobi identity for Lie algebras states that the action of any element on the algebra is a derivation (abstract algebra), derivation. That 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:
:\operatorname_= operatorname_x,\operatorname_y

There, the bracket on the left side is the operation of the original algebra, the bracket on the right is the commutator of the composition of operators, and the identity states that the $\mathrm$ map sending each element to its adjoint action is a Lie algebra homomorphism.

Related identities

The Hall–Witt identity is the analogous identity for the commutator operation in a group.

The following identity follows from anticommutativity and Jacobi identity and holds in arbitrary Lie algebra:

: ,[y,[z,w.html"_;"title=",[z,w.html"_;"title=",[y,[z,w">,[y,[z,w">,[z,w.html"_;"title=",[y,[z,w">,[y,[z,w+_[y,[x,[w,z.html" ;"title=",[z,w">,[y,[z,w.html" ;"title=",[z,w.html" ;"title=",[y,[z,w">,[y,[z,w">,[z,w.html" ;"title=",[y,[z,w">,[y,[z,w+ [y,[x,[w,z">,[z,w">,[y,[z,w.html" ;"title=",[z,w.html" ;"title=",[y,[z,w">,[y,[z,w">,[z,w.html" ;"title=",[y,[z,w">,[y,[z,w+ [y,[x,[w,z] + [z,[w,[x,y] + [w,[z,[y,x] = 0.

See also

*Structure constants
* Super Jacobi identity
* Three subgroups lemma (Hall–Witt identity)

References

* .

External links

*

{{DEFAULTSORT:Jacobi Identity
Lie algebras
Mathematical identities
Non-associative algebra
Properties of binary operations