Jump to content

Jacobi identity

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Sagi Harel (talk | contribs) at 12:10, 14 November 2006 (Examples). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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:

Defining the adjoint map

permits two equivalent formulations of the Jacobi identity. After a rearrangement, the identity becomes

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

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.

See also