Jacobi identity - intuitive explanation

I don't think there is just one motivation. I will mention three.

First, the Jacobi identity says precisely that the bracket is a derivation with respect to itself, where a derivation of an algebra is a map $d$ with $d(a\cdot b)=d(a)\cdot b+a \cdot d(b)$. Thus, writing $\mathrm{ad}(a)$ for the map $b \mapsto [a,b]$, the Jacobi identity may be rewritten (using anti-symmetry) as $$\mathrm{ad}(a)([b,c])=[\mathrm{ad}(a)(b),c]+[b,\mathrm{ad}(a)(c)].$$

Second, given an associative algebra $A$, one can produce a new, no longer associative, algebra $\mathrm{Lie}(A)$ by taking $A$ for the vector space underlying $\mathrm{Lie}(A)$, but with new product structure given by $(a,b) \mapsto ab-ba$. This product, usually written as bracket (commutator) satisfies the Jacobi identity; this is probably the original motivation for the axiom.

Finally, start with a free associative algebra $T=T(V)$ on a vector space $V$. This turns out (Thm. 1 of §3 "Enveloping algebra of the free Lie algebra", chapter 1 of Bourbaki´s Lie groups and Lie algebras) to be the enveloping algebra of the free Lie algebra on $V$: thus just the Jacobi identity is enough to force all the other relations that the sub-Lie algebra of $T(V)$ generated by $V$ with its bracket structure gets. So though one might be tempted to look for other axioms satisfied by commutator, it turns out that the only ones that exist in general are formal consequences of the Jacobi identity and anti-symmetry. This last reason is the most sophisticated, and, at least to my mind, the most convincing demonstration that our axioms are the "right ones".


The group axioms are intended to abstract the properties of discrete symmetries (that is, bijections from a set to itself). That is, we may define a "concrete group" to be a group of permutations of some set with composition as the group operation. An abstract group is supposed to be a version of a concrete group that does not rely on a choice of group action, and Cayley's theorem shows that every abstract group is also a concrete group.

Okay, so what are the Lie algebra axioms intended to abstract? They are intended to abstract the properties of infinitesimal symmetries, which rather than permutations are derivations on algebras (such as the algebra $C^{\infty}(M)$ of smooth functions on a smooth manifold; derivations on such algebras are the same thing as vector fields on $M$). The commutator of two derivations is again a derivation, and the axioms of a Lie algebra are intended to be the abstract version of this. The analogue of Cayley's theorem here is hard; it is a corollary of the Poincaré-Birkhoff-Witt theorem.

So why should commutators satisfy the Jacobi identity? The reason is precisely that the bracket is supposed to be a derivation with respect to itself. Another way of saying this is that the bracket $y \mapsto [x, y]$ is a Lie algebra homomorphism. A thorough explanation of why we should expect this can be found in this blog post. (Roughly speaking this is the infinitesimal version of the fact that $x \mapsto gxg^{-1}$ is a group homomorphism.)


My reflexive answer is: It makes ad a Lie-algebra homomorphism, i.e. $\mathrm{ad}_{[x,y]}(z)=[\mathrm{ad}_x,\mathrm{ad}_y](z)$, so the adjoint representation $x \mapsto \mathrm{ad}_x$ really is a representation (well, that it's a homomorphism in combination with Steve's first point).