Jacobi identity

Let $+$ and $\backslash times$ be two binary operations, and let $0$ be the neutral element for $+$. The {{visible anchor|Jacobi identity}} is

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

Notice the pattern in the variables on the left side of this identity. In each subsequent expression of the form $a\; \backslash times\; (b\; \backslash times\; c)$, the variables $x$, $y$ and $z$ are permuted according to the cycle $x\; \backslash mapsto\; y\; \backslash mapsto\; z\; \backslash 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)$.

The simplest informative example of a Lie algebra is constructed from the (associative) ring of $n\backslash 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\backslash times\; Y$, the Lie bracket notation is used:

:$[X,Y]=XY-YX.$

In that notation, the Jacobi identity is:

:$[X,\; [Y,\; Z]\; ]\; +\; [Y,\; [Z,\; X]\; ]\; +\; [Z,\; [X,\; Y]\; ]\; \backslash \; =\backslash \; 0$

That is easily checked by computation.

More generally, if {{math|A}} is an associative algebra and {{mvar|V}} is a subspace of {{math|A}} that is closed under the bracket operation: $[X,Y]=XY-YX$ belongs to {{mvar|V}} for all $X,Y\backslash in\; V$, the Jacobi identity continues to hold on {{mvar|V}}.{{harvnb|Hall|2015}} Example 3.3 Thus, if a binary operation $[X,Y]$ 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 $[X,Y]=-[Y,X]$, the Jacobi identity may be rewritten as a modification of the associative property:

:$X,\; Y],\; Z]\; =\; [X,\; [Y,\; Z-\; [Y,\; [X,\; Z]]~.$

If $[X,Z]$ is the action of the infinitesimal motion {{mvar|X}} on {{mvar|Z}}, that can be stated as:

{{blockquote

| The action of Y followed by X (operator $[X,[Y,\backslash cdot\backslash \; ]\; ]$), minus the action of X followed by Y (operator $([Y,[X,\backslash cdot\backslash \; ]\; ]$), is equal to the action of $[X,Y]$, (operator $[\; [X,Y],\backslash cdot\backslash \; ]$).

|sign=|source=}}

There is also a plethora of graded Jacobi identities involving anticommutators $\backslash \{X,Y\backslash \}$, such as:

:$$

[\{X,Y\},Z]+ [\{Y,Z\},X]+[\{Z,X\},Y] =0,\qquad

[\{X,Y\},Z]+ \{[Z,Y],X\}+\{[Z,

X],Y\} =0.

{{See also|Lie bracket of vector fields|Baker–Campbell–Hausdorff formula}}

Most common examples of the Jacobi identity come from the bracket multiplication $[x,y]$ on Lie algebras and Lie rings. The Jacobi identity is written as:

: $[x,[y,z]]\; +\; [z,[x,y]]\; +\; [y,[z,x]]\; =\; 0.$

Because the bracket multiplication is antisymmetric, the Jacobi identity admits two equivalent reformulations. Defining the adjoint operator $\backslash operatorname\{ad\}\_x:\; y\; \backslash mapsto\; [x,y]$, the identity becomes:

:$\backslash operatorname\{ad\}\_x[y,z]=[\backslash operatorname\{ad\}\_xy,z]+[y,\backslash operatorname\{ad\}\_xz].$

Thus, the Jacobi identity for Lie algebras states that the action of any element on the algebra is a 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:

:$\backslash operatorname\{ad\}\_\{[x,y]\}=[\backslash operatorname\{ad\}\_x,\backslash operatorname\{ad\}\_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 $\backslash mathrm\{ad\}$ map sending each element to its adjoint action is a Lie algebra homomorphism.

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

• The following higher order Jacobi identity holds in arbitrary Lie algebra:{{cite arXiv

| first1=Ilya |last1=Alekseev | first2=Sergei O. |last2=Ivanov |eprint=1604.05281

| title = Higher Jacobi Identities |date=18 April 2016

|class=math.GR }}

: $[[[x\_1,x\_2],x\_3],x\_4]+[[[x\_2,x\_1],x\_4],x\_3]+[[[x\_3,x\_4],x\_1],x\_2]+[[[x\_4,x\_3],x\_2],x\_1]\; =\; 0.$

• The Jacobi identity is equivalent to the Product Rule, with the Lie bracket acting as both a product and a derivative: $[X,[Y,Z]]\; =X,Y],\; Z]\; +\; [Y,\; [X,Z$. If $X,\; Y$ are vector fields, then $[X,Y]$ is literally a derivative operator acting on $Y$, namely the Lie derivative $\backslash mathcal\{L\}\_X\; Y$.

• Structure constants
• Super Jacobi identity
• Three subgroups lemma (Hall–Witt identity)
• Quintuple product identity

{{Reflist}}

• {{citation|first=Brian C.|last=Hall|title=Lie Groups, Lie Algebras, and Representations: An Elementary Introduction|edition= 2nd|series=Graduate Texts in Mathematics|volume=222 |publisher=Springer|year=2015|isbn=978-3319134666}}.
• {{Cite journal|first1=C. G. J.|last1=Jacobi|authorlink1=Carl Gustav Jacob Jacobi|title=Nova methodus, aequationes differentiales partiales primi ordinis inter numerum variabilium quemcunque propositas integrandi|journal=Journal für die reine und angewandte Mathematik|year=1862|volume=60|page=1-181|url=https://eudml.org/doc/147847|ref=jacobi1862}}
• {{Cite journal|first1=Thomas|last1=Hawkins|authorlink1=Thomas W. Hawkins Jr.|title=Jacobi and the Birth of Lie's Theory of Groups|journal=Arch. Hist. Exact Sci.|year=1991|volume=42|issue=3 |page=187-278|doi=10.1007/BF00375135|ref=hawkins1991}}

• {{MathWorld|JacobiIdentities|Jacobi Identities}}

{{Authority control}}

{{DEFAULTSORT:Jacobi Identity}}

Category:Lie algebras

Category:Mathematical identities

Category:Non-associative algebra

Category:Properties of binary operations