Lie groups and Lie algebras are the mathematics of continuous symmetry. A Lie group is simultaneously a group and a smooth manifold. A Lie algebra is the linearised infinitesimal structure living at the identity of that group.
Rotations, rigid motions, gauge symmetries and many conservation laws are governed by this architecture. The group describes finite transformations. The Lie algebra describes the local generators from which those transformations can be built.
Series route: Mathematics Learning Hub → How Mathematics Works → Lie Groups & Lie Algebras. Useful foundations include Abstract Algebra, Differential Geometry, Linear Algebra and Representation Theory.
1. A Lie group combines algebra and geometry
A Lie group has a multiplication law, identity and inverses like any group, but its underlying set is also a smooth manifold.
Multiplication and inversion must vary smoothly. This lets calculus operate on symmetry.
2. Continuous symmetry differs from discrete symmetry
A square has finitely many rotational and reflection symmetries. A circle has continuously many rotations.
Lie theory is designed for the second situation, where transformations can change by arbitrarily small amounts.
3. Matrix groups are concrete examples
The general linear group GL(n) consists of invertible n×n matrices. Matrix multiplication supplies the group law and the entries provide coordinates.
Subgroups such as rotation groups inherit both algebraic and smooth structure.
4. SO(2) describes rotations of the plane
A rotation by angle θ is represented by the matrix [[cosθ,−sinθ],[sinθ,cosθ]].
Adding angles corresponds to multiplying matrices, so the geometry of planar rotation becomes a one-dimensional Lie group.
5. The identity is the local reference point
The identity transformation is the point from which infinitesimal motion is measured.
The tangent space at the identity becomes the Lie algebra.
6. Lie algebras linearise the symmetry
A Lie algebra is a vector space equipped with a bilinear bracket [X,Y] that is antisymmetric and satisfies the Jacobi identity.
The vector-space structure makes infinitesimal symmetry accessible to linear methods while the bracket remembers noncommutativity.
7. The bracket measures failure to commute
For matrix Lie algebras, the bracket is [X,Y]=XY−YX.
If X and Y commute, the bracket vanishes. If they do not, their order of infinitesimal action matters.
8. The Jacobi identity keeps nested commutators coherent
The Jacobi identity states [X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0.
It is the structural law that makes the bracket compatible with the geometry of infinitesimal group commutators.
9. One-parameter subgroups connect algebra to group
A one-parameter subgroup is a smooth homomorphism from the additive real numbers into a Lie group.
Its derivative at zero is an element of the Lie algebra. Conversely, each Lie-algebra element generates a one-parameter subgroup through the exponential map under standard finite-dimensional Lie theory.
10. The exponential map builds finite transformations
For matrix groups, exp(X)=I+X+X²/2!+X³/3!+….
This turns an infinitesimal generator X into a finite group element near the identity and often beyond.
11. Exponentials preserve commuting sums simply
If X and Y commute, exp(X+Y)=exp(X)exp(Y).
If they do not commute, correction terms appear. Noncommutativity is therefore visible even in how infinitesimal motions combine.
12. Baker–Campbell–Hausdorff describes noncommuting composition
The logarithm of exp(X)exp(Y) can be expanded as X+Y plus terms involving commutators such as [X,Y].
This formula shows how the Lie bracket controls local multiplication in the group.
13. Left-invariant vector fields spread algebra across the group
A tangent vector at the identity can be translated to every point using left multiplication.
The resulting vector field is left invariant and encodes the same infinitesimal symmetry throughout the group manifold.
14. Lie algebra homomorphisms preserve brackets
A linear map φ between Lie algebras is a homomorphism when φ([X,Y])=[φ(X),φ(Y)].
This preserves the infinitesimal commutation structure just as group homomorphisms preserve multiplication.
15. Lie group homomorphisms differentiate to Lie algebra maps
A smooth group homomorphism induces a linear map between tangent spaces at the identity.
This differential is automatically a Lie algebra homomorphism.
Global symmetry maps therefore generate local algebraic maps.
16. Connected groups are strongly controlled by their Lie algebra
The Lie algebra determines local structure near the identity and heavily constrains connected Lie groups.
Different global groups can nevertheless share the same Lie algebra because global topology can differ.
17. Covering groups separate local from global symmetry
SO(3) and its double cover SU(2) have closely related Lie-algebra structure while their global topologies differ.
This difference becomes physically important in spin representations.
18. Subgroups have subalgebras
A Lie subgroup has a tangent space at the identity forming a Lie subalgebra of the larger group’s Lie algebra.
Subalgebra structure therefore records infinitesimal symmetry inside a larger symmetry system.
19. The adjoint representation lets a group act on its own algebra
Conjugation g h g⁻¹ differentiates to an action of the group on its Lie algebra.
This adjoint representation reveals how infinitesimal generators transform under the group itself.
20. The Lie bracket appears inside the adjoint representation
Differentiating the adjoint action gives ad_X(Y)=[X,Y].
The algebra therefore represents itself through commutators.
21. Structure constants encode a chosen basis
Choose basis vectors e_i for a finite-dimensional Lie algebra. Then [e_i,e_j]=Σ_k c^k_{ij} e_k.
The coefficients c^k_{ij} are structure constants.
They depend on basis, but the underlying bracket structure does not.
22. Abelian Lie groups have zero brackets
If the group multiplication is commutative, the associated Lie algebra is abelian and [X,Y]=0.
The nonzero bracket is therefore the infinitesimal signature of noncommuting symmetry.
23. Semisimple Lie algebras resist abelian decomposition
Semisimple Lie algebras have no nonzero solvable ideals and decompose into simple ideals under the classical finite-dimensional theory over suitable fields.
This gives a structural classification programme for continuous nonabelian symmetry.
24. Roots and weights organise semisimple structure
Relative to a Cartan subalgebra, a semisimple Lie algebra decomposes into eigenspaces called root spaces.
Root systems encode how generators interact and lead to Dynkin-diagram classification.
25. Dynkin diagrams compress entire symmetry families
Dynkin diagrams record angles and relative lengths among simple roots.
They classify complex semisimple Lie algebras into classical and exceptional families.
A small combinatorial diagram can therefore encode a deep continuous symmetry structure.
26. Representation theory turns Lie symmetry into matrices on state spaces
A representation of a Lie group or Lie algebra describes how the symmetry acts on another vector space.
Highest weights, roots and irreducible representations become central classification tools.
Continue through Representation Theory for the broader symmetry-to-linear-action machinery.
27. Lie groups are geometric spaces in their own right
Because a Lie group is a manifold, one can study its tangent bundle, differential forms, metrics and curvature.
Invariant geometric structures connect Lie theory with differential geometry and topology.
28. Homogeneous spaces are symmetry quotients
If a Lie group G acts transitively on a space, the space can often be represented as G/H for a stabiliser subgroup H.
Spheres, projective spaces and many geometric manifolds arise this way.
29. Lie theory enters robotics through rigid motions
Robot orientation lives naturally on SO(3), while rigid poses live on the special Euclidean group SE(3).
Using Lie groups preserves geometric constraints that ordinary coordinate addition can violate.
30. Lie theory enters physics through conservation and gauge symmetry
Continuous symmetry groups organise angular momentum, particle multiplets and gauge transformations.
The Lie algebra supplies generators and commutation relations; representations determine how states or fields transform.
This creates a direct bridge to Mathematical Physics.
31. A worked mechanism: rotations in the plane
Let J=[[0,−1],[1,0]].
- J²=−I.
- exp(θJ)=I cosθ+J sinθ.
- This equals the standard rotation matrix.
- The generator J is the Lie-algebra element producing finite rotation through exponentiation.
The entire continuous family of plane rotations is generated from one infinitesimal direction.
32. Common Lie-theory failure modes
- Group/algebra collapse: treating the finite transformation group and tangent algebra as the same object.
- Local/global confusion: assuming identical Lie algebras force globally identical groups.
- Commutative intuition: using exp(X+Y)=exp(X)exp(Y) when X and Y do not commute.
- Basis fixation: treating structure constants as invariant numbers independent of basis.
- Matrix-only thinking: forgetting abstract Lie groups need not be presented originally as matrix groups.
- Representation overreach: assuming one representation captures every property of the group.
33. Lie groups and Lie algebras as a mathematical machine
Continuous Symmetry → Lie Group → Identity → Tangent Space → Lie Algebra/Bracket → Exponential/Generators → Representations → Geometric or Physical Interpretation.
34. What mastery looks like
- distinguish discrete and continuous symmetry;
- understand a Lie group as both group and manifold;
- construct the Lie algebra at the identity;
- interpret the Lie bracket as infinitesimal noncommutativity;
- use the exponential map to connect generators to finite transformations;
- distinguish local algebra from global topology;
- understand adjoint actions, roots and representations structurally;
- return the symmetry algebra to geometry, mechanics or physics.
35. Conclusion
Lie groups and Lie algebras work by splitting continuous symmetry into global and infinitesimal views. The group describes finite transformations. The Lie algebra linearises them at the identity. The bracket records noncommutativity. The exponential map rebuilds finite motion. Representations show how the symmetry acts on other spaces.
Representation theory makes symmetry act linearly. Lie theory explains where continuous symmetry and its generators come from in the first place.
How Mathematics Works | Batch 10
- Lie Groups & Lie Algebras — this article
- How Mathematics Works | Harmonic Analysis
- How Mathematics Works | Calculus of Variations
- How Mathematics Works | Tensor Analysis
Return to the Mathematics Learning Hub or the How Mathematics Works root.