A vector space over a field equipped with a bilinear, antisymmetric bracket that satisfies the Jacobi identity, encoding the infinitesimal structure of continuous symmetry groups.

Principle

Linearize local group composition: the bracket measures the first-order noncommutativity of infinitesimal generators and organizes their closure relations.

Demonstration

For matrix groups, the bracket is the commutator [X,Y]=XY−YX on the space of matrices tangent at the identity, producing structure constants for the algebra.

Misapplication

Treating an arbitrary antisymmetric bilinear operation as a Lie bracket without verifying the Jacobi identity leads to algebraic inconsistencies.

Consequence

Facilitates classification of local symmetries, construction of representations, and integration to local group flows via exponential maps when conditions permit.

Reversal

Instead of passing from group to algebra by differentiation at the identity, reconstruct local group composition from algebraic brackets via exponentiation.

Boundary

Applies to linearized infinitesimal symmetries and tangent spaces at the identity; it omits global topological information and discrete symmetries of the full group.

Semantic Tension

Overlaps with associative algebras when a commutator is used, but Lie algebras study nonassociative bracket structure rather than associative multiplication.

Synthesis

An algebraic structure capturing infinitesimal, noncommutative generators of continuous symmetry through a bilinear bracket obeying Jacobi, serving as the linear shadow of a Lie group.