1 Basic definition and axioms

A Lie algebra is a vector space equipped with a second operation, the Lie bracket, that encodes an infinitesimal form of symmetry. The bracket is designed to capture how two infinitesimal transformations combine and fail to commute. This makes Lie algebras central in areas where continuous transformation groups are studied through linear methods.

1.1 Vector space structure

The underlying set of a Lie algebra is a vector space over a chosen field, commonly the real or complex numbers. As a vector space, it has addition and scalar multiplication, so linear combinations of elements are defined. The Lie bracket is then added as extra structure on top of this linear framework.

1.2 Lie bracket

The Lie bracket is a binary operation, usually written as [x, y], that takes two elements of the Lie algebra and returns a third. It is not generally associative, but it obeys a small set of rules that make it suitable for describing commutators and infinitesimal symmetry. These rules determine the algebra’s fundamental behavior.

1.2.1 Bilinearity

Bilinearity means the bracket is linear in each argument separately. If one input is replaced by a sum or scaled by a constant, the bracket responds in the expected linear way. This property allows the bracket to interact smoothly with the vector space structure.

1.2.2 Alternating property

The bracket is alternating, which implies [x, x] = 0 for every element x. Over fields of characteristic not equal to 2, this also implies antisymmetry, so [x, y] = -[y, x]. The alternating property reflects the idea that an element does not produce a nontrivial commutator with itself.

1.2.3 Jacobi identity

The Jacobi identity is the key compatibility condition for a Lie bracket. It states that the cyclic sum of [[x, y], z], [[y, z], x], and [[z, x], y] is zero. This identity governs the internal consistency of the bracket and plays a major role in representation theory, geometry, and the theory of Lie groups.

1.3 Examples of Lie algebras

Many familiar algebraic systems become Lie algebras when equipped with a commutator bracket. Matrix algebras are the most common source of examples, but there are also infinite-dimensional cases arising from vector fields and differential operators. The variety of examples helps show how widely the concept applies.

2 Fundamental constructions

Several standard constructions allow new Lie algebras to be built from old ones. These operations parallel familiar ideas from linear algebra and ring theory, but they are adapted to the bracket structure. They are useful for decomposing complex algebras into simpler pieces.

2.1 Subalgebras

A subalgebra is a linear subspace that is closed under the Lie bracket. If x and y lie in the subalgebra, then [x, y] must also lie there. Subalgebras often represent smaller symmetry systems inside a larger one.

2.2 Ideals

An ideal is a subspace stable under bracketing with all elements of the larger algebra. If i is in the ideal and x is arbitrary, then [x, i] remains in the ideal. Ideals are important because they behave well under quotient constructions.

2.3 Quotient Lie algebras

Given an ideal, one can form a quotient Lie algebra by identifying elements that differ by an element of the ideal. The induced bracket is well defined because the ideal absorbs commutators with the ambient algebra. Quotients are a standard way to simplify a Lie algebra while preserving essential structure.

2.4 Direct sums

The direct sum of Lie algebras combines them into a larger algebra whose bracket acts componentwise. Elements from different summands do not interact under the bracket. This construction is useful for building composite examples and for splitting algebras into independent parts.

Tensor operations appear in several Lie algebra settings, especially through tensor products of vector spaces and modules. These constructions are often used to build representations, multilinear invariants, and higher-order structures derived from a given algebra. In many contexts, tensor methods help organize complicated symmetry data.

3 Standard examples

A number of Lie algebras appear repeatedly across mathematics and physics. Some are finite-dimensional and classical, while others are infinite-dimensional and arise from differential or analytic settings. These examples serve as prototypes for general theory.

3.1 Abelian Lie algebras

An abelian Lie algebra is one in which every bracket is zero. In this case, the algebra has the simplest possible commutation behavior. Abelian examples are useful as a baseline, since they isolate the effect of the vector space structure from that of nontrivial commutators.

3.2 Matrix Lie algebras

Matrix Lie algebras consist of matrices equipped with the commutator bracket [A, B] = AB - BA. They are among the most concrete and important examples of Lie algebras. Many classical Lie algebras are realized as specific matrix subalgebras.

3.2.1 General linear Lie algebra

The general linear Lie algebra, denoted gl(n), consists of all n by n matrices over a field. Its bracket is the matrix commutator. This algebra represents infinitesimal endomorphisms of an n-dimensional vector space.

3.2.2 Special linear Lie algebra

The special linear Lie algebra, denoted sl(n), consists of all n by n matrices with trace zero. It is closed under the commutator and forms a prominent example of a nonabelian Lie algebra. It is closely related to volume-preserving linear transformations.

3.2.3 Orthogonal and symplectic Lie algebras

Orthogonal Lie algebras are associated with transformations preserving a quadratic form, while symplectic Lie algebras preserve a symplectic form. Both arise naturally as matrix algebras defined by preservation conditions. They play major roles in geometry and in the classification of classical Lie algebras.

3.3 Heisenberg Lie algebra

The Heisenberg Lie algebra is a nilpotent Lie algebra generated by elements whose only nonzero brackets produce a central element. It is the algebraic counterpart of the canonical commutation relations from quantum mechanics. This example is especially important in analysis, representation theory, and physics.

The Witt algebra is an infinite-dimensional Lie algebra related to derivations of Laurent polynomials. The Virasoro algebra is its central extension and appears in conformal field theory and string theory. These examples show that Lie algebras can be both infinite-dimensional and highly structured.

4 Structural properties

Lie algebras are often studied through internal subspaces that measure how far they are from being abelian or simple. These properties reveal the algebra’s internal hierarchy and behavior under repeated commutators. They are also central in classification problems.

4.1 Center

The center consists of all elements that commute with every element of the algebra. Elements in the center behave like internal symmetries that do not interact under the bracket. A large center often indicates a more degenerate or less rigid structure.

4.2 Derived algebra

The derived algebra is the subalgebra generated by all brackets [x, y]. It measures the noncommutativity of the original algebra. If the derived algebra is small, the algebra is closer to being abelian.

4.3 Lower central series

The lower central series is a descending sequence built by repeatedly bracketing the algebra with itself. Each step records progressively deeper commutator structure. This sequence is especially useful for detecting nilpotence.

4.4 Nilpotent Lie algebras

A nilpotent Lie algebra is one whose lower central series eventually becomes zero. Such algebras have strongly constrained commutation behavior. They arise naturally in geometry, group theory, and the study of solvable systems.

4.5 Solvable Lie algebras

A solvable Lie algebra is one whose derived series eventually vanishes. Solvable algebras generalize nilpotent ones and still retain a degree of controlled noncommutativity. They are important in the analysis of algebraic groups and differential equations.

5 Homomorphisms and isomorphisms

Maps between Lie algebras preserve their bracket structure and allow one to compare different algebras systematically. These morphisms are the basis for many structural theorems. They also clarify when two algebras should be regarded as the same.

5.1 Lie algebra homomorphisms

A Lie algebra homomorphism is a linear map that preserves brackets. If f is such a map, then f([x, y]) = [f(x), f(y)]. These maps respect both the vector space structure and the commutation relations.

5.2 Kernels and images

The kernel of a homomorphism consists of elements mapped to zero, while the image is the set of elements that are reached in the target algebra. The kernel is always an ideal, and the image is a subalgebra. Together, they describe how much information is preserved by the map.

5.3 Isomorphism theorems

The standard isomorphism theorems relate subalgebras, ideals, kernels, and quotients. They show how quotient structures arise naturally from homomorphisms. These results make it possible to transfer problems from one algebra to another equivalent form.

5.4 Automorphisms

An automorphism is an isomorphism from a Lie algebra to itself. Automorphisms form a group under composition and reflect the internal symmetries of the algebra. Studying them helps identify invariant features and symmetry transformations within the algebraic structure.

6 Relation to Lie groups

Lie algebras and Lie groups are closely linked, with the algebra capturing the local, infinitesimal behavior of the group. This connection is one of the main reasons Lie algebras are so widely used. It allows global symmetry problems to be studied through linear approximation.

6.1 Tangent space at the identity

For a Lie group, the associated Lie algebra can be identified with the tangent space at the identity element. This tangent space records the infinitesimal directions in which the group can move. The bracket reflects the group’s local multiplication structure.

6.2 Exponential map

The exponential map connects the Lie algebra to the Lie group by sending infinitesimal data to finite group elements. In matrix groups, it is given by the matrix exponential. This map is a principal tool for moving between linearized and nonlinear viewpoints.

6.3 Adjoint representation

The adjoint representation describes how a Lie group or Lie algebra acts on itself by conjugation or commutator. For the Lie algebra, it is given by x acting as the map y ↦ [x, y]. This representation is fundamental in structure theory and in the study of symmetry.

6.4 Baker-Campbell-Hausdorff formula

The Baker-Campbell-Hausdorff formula expresses the product of exponentials in terms of Lie brackets and nested commutators. It shows how group multiplication can be translated into algebraic data near the identity. The formula plays an important role in analysis, geometry, and theoretical physics.

7 Representations

A representation realizes a Lie algebra as linear operators on a vector space. This makes abstract algebraic relations accessible through matrices or differential operators. Representation theory is one of the main tools for understanding Lie algebras.

7.1 Modules over Lie algebras

A Lie algebra module is a vector space on which the algebra acts linearly in a way compatible with the bracket. Such modules generalize the notion of representations. They provide a setting for studying actions, invariants, and decompositions.

7.2 Adjoint representation

The adjoint representation is the action of a Lie algebra on itself via the bracket. It is one of the most natural representations and often reveals deep structural information. Properties of the adjoint action frequently reflect intrinsic features of the algebra.

7.3 Irreducible representations

An irreducible representation has no nontrivial invariant subspaces. These are the basic building blocks from which more complicated representations are assembled. Classifying irreducible representations is a central problem in the subject.

7.4 Weight spaces and highest-weight methods

Weight space decompositions break a representation into subspaces labeled by eigenvalues of commuting operators. Highest-weight methods organize representations by a dominant vector from which the entire structure can often be generated. These techniques are especially powerful for semisimple Lie algebras.

8 Classification theory

Classification theory seeks to organize Lie algebras into standard families according to structural properties. Over algebraically closed fields of characteristic zero, the theory is especially well developed for finite-dimensional semisimple algebras. The resulting classifications are among the most celebrated achievements in algebra.

8.1 Simple Lie algebras

A simple Lie algebra is nonabelian and has no nontrivial ideals. Such algebras cannot be decomposed into smaller Lie algebras by quotienting out ideals. They serve as the indivisible building blocks in many classification schemes.

8.2 Semisimple Lie algebras

A semisimple Lie algebra is a direct sum of simple Lie algebras. It has no nonzero solvable ideal and exhibits a rigid, highly organized structure. Semisimple algebras are the main objects of classical Lie theory.

8.3 Root systems

A root system is a combinatorial-geometric arrangement of vectors encoding the structure of a semisimple Lie algebra. Roots describe how the algebra decomposes relative to a Cartan subalgebra. They provide a bridge between algebraic and geometric classification methods.

8.4 Cartan subalgebras

A Cartan subalgebra is a maximal nilpotent, self-normalizing subalgebra in many standard settings. It often serves as the reference point for decomposing a Lie algebra into root spaces. Cartan subalgebras are fundamental in the structure theory of semisimple algebras.

8.5 Dynkin diagrams

Dynkin diagrams are graphs that encode the relations among simple roots of a root system. They offer a compact classification of complex semisimple Lie algebras. Each diagram corresponds to a specific family or exceptional type.

9 Universal enveloping algebra

The universal enveloping algebra associates an associative algebra to a Lie algebra in a canonical way. This construction makes it possible to use tools from associative algebra to study Lie algebras and their representations. It is a major bridge between two central algebraic worlds.

9.1 Definition

The universal enveloping algebra is generated by the Lie algebra subject to relations identifying the commutator with the Lie bracket. It is universal in the sense that any Lie algebra map into an associative algebra factors through it. This property uniquely characterizes the construction.

9.2 Poincaré-Birkhoff-Witt theorem

The Poincaré-Birkhoff-Witt theorem describes a basis for the universal enveloping algebra built from ordered monomials in a basis of the Lie algebra. It ensures that the enveloping algebra retains the dimension and ordering information of the original Lie algebra in a controlled way. The theorem is essential for structural and representation-theoretic arguments.

9.3 Relationship to representations

Representations of a Lie algebra correspond closely to modules over its universal enveloping algebra. This equivalence allows Lie algebra actions to be studied through associative algebra techniques. It also provides a convenient framework for constructing and classifying representations.

10 Cohomology and deformations

Cohomology and deformation theory measure how a Lie algebra can be extended, perturbed, or varied. These topics are important in both pure mathematics and applications. They reveal hidden flexibility and obstructions in algebraic structures.

10.1 Lie algebra cohomology

Lie algebra cohomology assigns groups or vector spaces that capture invariants and extension data. It is built from cochains, coboundaries, and cocycles defined using the bracket and module action. Cohomology often detects whether certain deformations or extensions are possible.

10.2 Extensions

An extension places one Lie algebra inside another in a way that enlarges the structure by an ideal. Extension theory studies how a given algebra can be built from simpler components. Cohomological methods often classify such constructions.

10.3 Deformation theory

Deformation theory studies how the Lie bracket changes under small perturbations. Some deformations preserve core features, while others produce genuinely new algebras. This field links algebraic rigidity with families of nearby structures.

11 Applications

Lie algebras appear in many areas because they encode infinitesimal symmetry in a linear form. Their applications range from pure geometry to mathematical physics and dynamical systems. The common theme is the study of transformations through local algebraic data.

11.1 Differential geometry

In differential geometry, Lie algebras describe vector fields, symmetry algebras, and infinitesimal actions on manifolds. They are used to study curvature, foliations, and transformation groups. Their presence often reflects the local organization of geometric structures.

11.2 Physics and conservation laws

In physics, Lie algebras model symmetry generators and commutation relations. They are central in classical mechanics, quantum mechanics, and field theory. Symmetry principles associated with Lie algebras are closely tied to conserved quantities and selection rules.

11.3 Control theory

Control theory uses Lie algebraic methods to analyze the directions reachable by a dynamical system. Brackets of control vector fields can reveal motion that is not visible from the controls alone. This makes Lie algebras valuable in accessibility and motion-planning problems.

11.4 Differential equations

Lie algebras help analyze differential equations through symmetry reduction and invariant solutions. Infinitesimal symmetry generators can simplify systems and produce conserved quantities or exact solutions. This approach is especially effective for equations with a large symmetry group.