A vector space over a specified field equipped with a bilinear bracket operation [·,·] that is alternating (skew-symmetric in characteristic ≠2) and satisfies the Jacobi identity; the bracket encodes infinitesimal commutator structure.

Principle

The Lie bracket is a bilinear bilinear map V×V→V that measures noncommutativity at the infinitesimal level: [x,x]=0 (alternating) and [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0 (Jacobi), which organizes generators and relations for continuous symmetry and linearizes group commutators.

Demonstration

gl(n,F): the vector space of n×n matrices over a field F with bracket [A,B]=AB−BA is a Lie algebra. so(3) consists of 3×3 real skew-symmetric matrices with the commutator bracket and corresponds to the infinitesimal rotations of SO(3). Structure constants relative to a basis encode the algebra.

Misapplication

Treating the bracket as associative, or confusing associative algebra multiplication with the Lie bracket without taking commutators; assuming every Lie algebra integrates globally to a Lie group without addressing topological or global obstructions; ignoring characteristic issues (e.g., characteristic 2 where alternating and skew-symmetric differ).

Consequence

A Lie algebra governs local behavior of associated Lie groups, determines representations via modules and the adjoint action, and allows classification strategies (e.g., semisimple decomposition, root systems) that control symmetry and invariant theory.

Reversal

An associative algebra with multiplication as primary operation, or an abelian Lie algebra where the bracket vanishes; reversing the sign convention for the bracket gives an isomorphic but oppositely oriented Lie algebra often used in dual constructions.

Boundary

Defined over a specified base field or ring; special care is required in fields of small characteristic (notably characteristic 2 and p>0 phenomena) and for infinite-dimensional Lie algebras where additional topological or graded structure may be needed. A Lie algebra is not by itself a Lie group and lacks global topological information.

Semantic Tension

Tension between the abstract algebraic definition and the realization as tangent space at the identity of a Lie group; also between Lie algebras viewed as purely algebraic objects and as topological/graded structures in analysis and mathematical physics.

Synthesis

A Lie Algebra is the linearized carrier of infinitesimal symmetry: a vector space with an alternating bilinear bracket satisfying Jacobi, encoding commutator relations and serving as the differential shadow of continuous groups.