Tangent Lie algebras and left-invariant fields

For g in G, left translation sends h to gh and is a diffeomorphism. Its derivative transports a vector X at the identity to a vector at g. Defining the field this way makes it left invariant, and every left-invariant field arises from exactly one identity tangent vector. Thus the finite-dimensional vector space g, the tangent space at the identity, encodes a distinguished family of fields on the entire group rather than a single tangent approximation at one isolated point.

For a matrix group the transported field is gX. Differentiating defining equations identifies which matrices X are tangent. Orthogonality gives Xᵀ+X=0, so the orthogonal Lie algebra consists of skew-symmetric matrices. Determinant one gives trace X=0. These are linear conditions, even though the group constraints are nonlinear. They describe the identity component's infinitesimal directions and do not record how many other components the group has.

Vector fields act on smooth functions as derivations. Their bracket is the difference of the two successive derivative operations, and it is again a vector field. The bracket of left-invariant fields remains left invariant, so evaluating it at the identity defines a bracket on g. In a matrix group, differentiating the fields gX and gY gives XY−YX. This operation is antisymmetric and obeys the Jacobi identity, making the tangent space a Lie algebra.

Right translation instead gives fields Xg. With the same derivation convention, the bracket of these right-invariant fields corresponds to minus the matrix commutator. Both descriptions are valid, but mixing them silently changes signs in adjoint formulas and evolution equations. The distinction is also visible in coordinates. It is useful to derive one nonabelian example by acting on coordinate functions rather than trust an abstract name to specify the convention.

If the bracket vanishes, two identity generators commute infinitesimally, and their one-parameter subgroups commute. If every bracket vanishes, the connected Lie group is abelian, but a disconnected group can have additional component behavior not seen by that conclusion. The bracket therefore controls a strong local structure while requiring connectedness for some global deductions. A one-dimensional Lie algebra is necessarily abelian because antisymmetry leaves no independent pair with a nonzero bracket.

A Lie algebra basis should be accompanied by its bracket table and the convention used to identify fields. Those constants let one reconstruct brackets of arbitrary linear combinations and check Jacobi numerically or symbolically. A picture of rotating arrows alone does not establish the bracket table. Conversely, a few verified matrix commutators can make the abstract definition tangible and reveal a sign error before it propagates into exponentials, adjoint actions, or symmetry reductions.