A Lie algebra is a vector space g over a field together with a bilinear bracket [·,·]: g×g → g that is antisymmetric ([x,y] = −[y,x]) and satisfies the Jacobi identity [x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0, encoding infinitesimal symmetries.

Principle

Infinitesimal commutation: the bracket measures first-order noncommutativity of a nearby group-like object; linearity, antisymmetry and the Jacobi identity organize the algebraic constraints on commutators.

Demonstration

The set of n×n matrices with bracket [A,B]=AB−BA is a Lie algebra; the tangent space at the identity of a matrix Lie group yields a Lie algebra capturing its infinitesimal generators. For example, so(3) of skew-symmetric 3×3 matrices models angular momentum algebra.

Misapplication

Using the commutator bracket from an associative algebra without checking closure (the commutator may leave a subspace) or ignoring characteristic issues in fields of small prime characteristic; treating any antisymmetric bilinear product as a Lie bracket without verifying Jacobi fails.

Consequence

Lie algebras classify local symmetry and generate representations through modules; their structure theory (solvable, semisimple, radical, simple factors) and universal enveloping algebras connect to representation and invariant theory.

Reversal

Replace the antisymmetric bracket by an associative product: the focus shifts from infinitesimal symmetry and commutators to multiplicative structure, losing the Jacobi-controlled derivation properties.

Boundary

Typically defined over a field; in positive characteristic additional phenomena occur (restricted Lie algebras, p-torsion); not every nonassociative algebra is Lie — Jacobi must hold. Lie group–Lie algebra correspondence has analytic hypotheses (e.g., connectedness, characteristic zero) for a full converse.

Semantic Tension

Lie algebra vs Lie group: one is an algebraic linearization of a group of symmetries; Lie algebra vs associative algebra: commutators in associative contexts give Lie brackets but lack associativity, producing different structural tools.

Synthesis

A Lie algebra is the linear object encoding infinitesimal symmetries via an antisymmetric bilinear bracket satisfying Jacobi, serving as the algebraic counterpart to continuous groups of transformations.