 Lie group

A Lie group is a group that is also a finite-dimensional smooth manifold, with multiplication $G\times G\to G$ and inversion $G\to G$ both smooth maps. Its tangent space at the identity element carries a natural Lie algebra structure. Smoothness lets us differentiate the group operation; being a group means that every transformation can be composed and undone. The dimension of a manifold counts independent local parameters, rather than the number of elements of the group. See MIT 18.745, Lecture 2, Definition 2.1 and Example 2.5.

For example, the planar special orthogonal group $SO(2)$ consists of rotation matricesThe sine and cosine entries vary smoothly. Four entries appear, but they are constrained by $R_{\theta }^T{R}_{\theta }=I$ and $\det R_{\theta }=1$: locally, one angle specifies the whole matrix. Multiplication adds angles, with angles differing by $2\pi$ representing the same rotation. Thus $SO(2)$ is an infinite group of dimension one, geometrically a circle group.

The positive-dimensional examples motivate the language of continuous symmetry, but the definition also admits finite groups with the discrete topology as zero-dimensional Lie groups. Conversely, being an infinite group alone says nothing about having a continuous angle parameter. The compatibility between smooth maps and the group operation is what makes differentiation useful.

A **Lie group** is a mathematical structure that combines concepts from algebra and geometry. It is defined as a group that is also a smooth manifold, which means it has a structure that allows for differentiation and smoothness.

The key and central motivation for studying Lie groups and their Lie algebras appears to be to characterize symmetry in Lagrangian mechanics through Noether's theorem, just start from there.

Notably local symmetries appear to map to forces, and local means "around the identity", notably: local symmetries of the Lagrangian imply conserved currents.

More precisely: local symmetries of the Lagrangian imply conserved currents.

TODO Ciro Santilli really wants to understand what all the fuss is about:

Oh, there is a low dimensional classification! Ciro is a sucker for classification theorems! en.wikipedia.org/wiki/Classification_of_low-dimensional_real_Lie_algebras

The fact that there are elements arbitrarily close to the identity, which is only possible due to the group being continuous, is the key factor that simplifies the treatment of Lie groups, and follows the philosophy of continuous problems are simpler than discrete ones.

Bibliography: