Skip to content

Lie group

In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

Version
v1 · 2026-09-28 · History
Domain-specific #
10398
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Lie Theory, Differential Geometry → Mathematics

Core Idea

Lie group is treated here as the recurring crossdomainmodelsstructuresrepresentations identity summarized by this source-grounded definition: In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. 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.

Scope of Application

  • History. Lie and other mathematicians showed that the most important equations for special functions and orthogonal polynomials tend to arise from group theoretical symmetries.

  • History. The initial application that Lie had in mind was to the theory of differential equations.

  • History. Symmetry methods for ODEs continue to be studied, but do not dominate the subject.

  • Related concepts. This is important, because it allows generalization of the notion of a Lie group to Lie supergroups.

  • Related notions. Infinite-dimensional groups, such as the additive group of an infinite-dimensional real vector space, or the space of smooth functions from a manifold X to a Lie group G.

Clarity

A clear use of Lie group names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

Manages Complexity

Lie group compresses multiple crossdomainmodelsstructuresrepresentations details into a stable diagnostic relation. The source shows both the central mechanism—then, by a version of the closed subgroup theorem, G' is a real-analytic manifold and then, through the local isomorphism, G acquires a structure of a manifold near the identity element.—and the practical consequence—on the model of Galois theory and polynomial equations, the driving conception was of a theory capable.

Abstract Reasoning

  1. Type the carrier. Identify the crossdomainmodelsstructuresrepresentations entities to which the claim applies.
  2. State the relation. Use the source-grounded identity: In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.
  3. Check operation and conditions. Lie met with Klein every day from October 1869 through 1872: in Berlin from the end of October 1869 to the end of February 1870, and in Paris, Göttingen and Erlangen in the subsequent two years. 4.

Knowledge Transfer

Within the home domain. Knowledge about Lie group transfers literally when a new case preserves the same carrier type, relation, and recognition test. Lie and other mathematicians showed that the most important equations for special functions and orthogonal polynomials tend to arise from group theoretical symmetries. The initial application that Lie had in mind was to the theory of differential equations. Beyond the home domain. No canonical parent is asserted for Lie group.

Relationships to Other Abstractions

Local relationship map for Lie groupParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Lie groupDOMAINPrime abstraction: Manifold — is a kind ofManifoldPRIMEDomain-specific abstraction: Complex Lie group — is a kind ofComplexLie groupDOMAINDomain-specific abstraction: Galilean Group — is a kind ofGalilean GroupDOMAINDomain-specific abstraction: Maximal torus — is a kind ofMaximal torusDOMAIN

Current abstraction Lie group Domain-specific

Parents (1) — more general patterns this builds on

  • Lie group is a kind of Manifold Prime

    Every Lie group is a differentiable manifold, with compatible group multiplication and inversion as its differentia.

Children (3) — more specific cases that build on this

  • Complex Lie group Domain-specific is a kind of Lie group

    A complex Lie group is a Lie group whose compatible manifold and group operations are complex analytic.

  • Galilean Group Domain-specific is a kind of Lie group

    The Galilean group is a finite-dimensional Lie group of transformations preserving Galilean spacetime structure.

  • Maximal torus Domain-specific is a kind of Lie group

    A maximal torus is a compact connected abelian Lie subgroup maximal among torus subgroups.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Lie group sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Named Analytic Theorems & Operators (39 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08