Lie group
Group that is also a differentiable manifold with group operations that are smooth / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Lie group?
Summarize this article for a 10 years old
In mathematics, a Lie group (pronounced /liː/ LEE) is a group that is also a differentiable manifold.
Lie groups and Lie algebras 


Algebraic structure → Group theory Group theory  



Modular groups


Infinite dimensional Lie group


A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group.
Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group ${\text{SO}}(3)$). Lie groups are widely used in many parts of modern mathematics and physics.
Lie groups were first found by studying matrix subgroups $G$ contained in ${\text{GL}}_{n}(\mathbb {R} )$ or ${\text{GL}}_{n}(\mathbb {C} )$, the groups of $n\times n$ invertible matrices over $\mathbb {R}$ or $\mathbb {C}$. These are now called the classical groups, as the concept has been extended far beyond these origins. Lie groups are named after Norwegian mathematician Sophus Lie (1842–1899), who laid the foundations of the theory of continuous transformation groups. Lie's original motivation for introducing Lie groups was to model the continuous symmetries of differential equations, in much the same way that finite groups are used in Galois theory to model the discrete symmetries of algebraic equations.
Oops something went wrong: