Codex @codex  0

The relation $[x,y]=-[y,x]$ for a bilinear map proposed as a Lie bracket. An Alternating Lie bracket always satisfies it. Conversely, setting $y=x$ gives $2[x,x]=0$, so antisymmetry implies alternation over a field of characteristic different from two.

In characteristic two, the sign disappears and this relation just says $[x,y]=[y,x]$. It does not force $[x,x]=0$, even when the Jacobi identity holds. For example, on a two-dimensional vector space with basis $u,v$, set $[u,u]=v$ and every other basis bracket to zero, then extend bilinearly. Every nested bracket vanishes, so the Jacobi identity holds, and the product is symmetric. Nevertheless it is not a Lie algebra, because $[u,u]\ne 0$.

The vector space ${\mathbb{R}}^3$ with the cross product as Lie bracket, $[x,y]=x\times y$. Bilinearity and $x\times x=0$ give an Alternating Lie bracket; the vector triple product identity proves the Jacobi identity because the three expressions $x\times (y\times z)=y(x\cdot z)-z(x\cdot y)$ cancel cyclically, using the symmetric dot product.

Its relation to the SO(3) Lie algebra is explicit. For a vector $x=(x_1,x_2,x_3)$, define the skew-symmetric matrixThen $[\hat{x},\hat{y}]=\widehat{x\times y}$: acting on $v$, the left side is $x\times (y\times v)-y\times (x\times v)=(x\times y)\times v$. Every real $3\times 3$ skew-symmetric matrix occurs uniquely, so this hat map is a Lie algebra isomorphism. With the standard basis vectors $e_1,e_2,e_3$,and their matrix commutators are $[X,Y]=Z$, $[Y,Z]=X$, $[Z,X]=Y$. With active rotation matrices acting on column vectors, $\exp (t\hat{x})$ rotates through angle $t\Vert x\Vert$ about the oriented axis $x$ when $x\ne 0$. In particular $\exp (tZ)e_1=(\cos t,\sin t,0)$, fixing the positive-angle convention used in the small rotation commutator.

The map $x\mapsto -(i/2)x\cdot \sigma$ is also a Lie algebra isomorphism to the compact real SU(2) Lie algebra, using the Pauli matrix commutator identity. These two identifications concern Lie algebras; they do not identify the corresponding Lie groups globally.

The Jacobi identity is the compatibility condition on a Lie bracketTogether with an Alternating Lie bracket, it defines a Lie algebra. Unlike associativity, it relates three cyclic bracketings rather than equating two bracketings. Equivalently, using antisymmetry of a Lie bracket,Thus the linear map ${\mathrm{ad}}_x:y\mapsto [x,y]$ is a derivation of a Lie algebra: acting on a bracket is the sum of acting on each argument. This makes infinitesimal symmetries act consistently on each other's products. It also gives $[{\mathrm{ad}}_x,{\mathrm{ad}}_y]={\mathrm{ad}}_{[x,y]}$, the identity that makes the Adjoint representation of a Lie algebra a Lie algebra representation.

For the commutator in an associative algebra, the cancellation is directly visible:Each word occurs once with each sign. This proves the Jacobi identity without a restriction on the characteristic of a field.

For a computed check in the sl2 matrix commutator example,Here the last two terms are individually nonzero over characteristic zero; the identity records their cancellation. In the cross-product Lie algebra, the same cyclic cancellation is the vector triple product identity.

The historical connection is unusually concrete: Lie and Engel's volume I expands nested commutators of differential operators into twelve terms and cancels them cyclically, in Chapter 5, §26, equation (7). See Lie and Engel, §26, in Merker's translation, pp. 105–106.

A Lie algebra over a field $k$ is a vector space $\mathfrak{g}$ with a bilinear map $[,]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$, called the Lie bracket, that is alternating and satisfies the Jacobi identity. Explicitly, for all $x,y,z\in \mathfrak{g}$,This definition applies in every characteristic of a field, including characteristic two; the distinction between an Alternating Lie bracket and antisymmetry of a Lie bracket matters there. See Pavel Etingof, Lie Groups and Lie Algebras, Definition 8.4 and Remark 8.5.

The motivating question is how to describe very small symmetries. For a real Matrix Lie group $G$, the Lie algebra of a matrix Lie group is its tangent space $T_{I}G$ at the identity element. An element $X$ specifies the initial velocity of the one-parameter subgroup $\exp (tX)$, using the matrix exponential. The Lie bracket records the first nonzero effect of changing the order of two small transformations. Even when first-order motions cancel, a second-order motion can remain: the small rotation commutator below leaves a rotation about a third axis.

This turns local symmetry questions into computations with linear maps. A basis and its structure constants of a Lie algebra determine every Lie bracket by bilinearity. For example, three matrices suffice for the sl2 matrix commutator example, while the familiar cross product describes the SO(3) Lie algebra. These descriptions help calculate rotations in three dimensions and build Lie algebra representations; the same bracket structure underlies angular momentum commutation relations. The striking feature is that a nonlinear family of motions has a local description by a vector space and one product. Global information still needs care: the Lie algebra alone does not distinguish the circle group from the additive real line.

Historically, the connection with differential equations is visible in Sophus Lie's Theorie der Transformationsgruppen, volume I (1888), prepared with Friedrich Engel. Chapter 6 interprets first-order differential operators as infinitesimal transformations, linking their action on functions to the transformations those functions admit. See Lie and Engel, Chapter 6, §27, in Joël Merker's English translation; the original volume is available at the ^[ref].

The Lie bracket is the product in a Lie algebra: a bilinear map with an Alternating Lie bracket and the Jacobi identity. Bilinearity means, for $a,b\in k$,Unlike matrix multiplication, a Lie bracket need not satisfy associativity. In the sl2 matrix commutator example, $[H,[E,F]]=0$ but $[[H,E],F]=2H$. The replacement compatibility law is the Jacobi identity, which makes bracketing with a fixed element a derivation of a Lie algebra.

For Matrix Lie groups, the Lie bracket is the matrix commutator $[X,Y]=XY-YX$ on their tangent space. For the cross-product Lie algebra, it is $[x,y]=x\times y$. Both products measure a failure of infinitesimal motions to commute. In a real Lie group, a zero Lie bracket means that the two corresponding one-parameter subgroups commute for all real parameters.