A group that is also a finite-dimensional smooth manifold in which the group operations (multiplication and inversion) are smooth maps; thus it combines algebraic group structure with differential-geometric structure.

Principle

Compatibility of algebraic and smooth structures: the manifold charts must make multiplication G×G→G and inversion G→G infinitely differentiable (or C^k as specified), enabling local linearization at the identity and the passage to an associated Lie algebra.

Demonstration

SO(3): the group of real 3×3 orthogonal matrices with determinant 1 is a Lie group with manifold structure of dimension 3; the product and inverse are smooth matrix operations. Another example is R^n under addition, a Lie group whose Lie algebra is itself with trivial bracket.

Misapplication

Treating any topological or continuous group as a Lie group without verifying smooth manifold structure; assuming discrete groups or infinite-dimensional function groups automatically qualify as finite-dimensional Lie groups; or assuming compactness or connectedness by default.

Consequence

A Lie group admits a tangent space at the identity forming a Lie algebra; tools of differential geometry (exponential map, one-parameter subgroups, flows) apply and yield strong classification and representation results linking local algebraic structure to global group behavior.

Reversal

A topological group that lacks a compatible smooth manifold structure (e.g., many infinite-dimensional or pathological groups), or an algebraic group defined over fields without a compatible real smooth manifold structure — these fail the smoothness requirement.

Boundary

Usually reserved for finite-dimensional smooth manifolds over R (or C with extra structure); infinite-dimensional Fréchet-Lie groups or purely topological groups are excluded unless explicitly allowed. Smoothness class must be specified, and manifolds may be required to be Hausdorff and second countable for standard theory.

Semantic Tension

Tension exists between “Lie group” and “algebraic group” (algebraic varieties with group law), and between finite-dimensional Lie groups and infinite-dimensional groups arising in analysis or physics; the phrase “continuous group” can be ambiguous and may not guarantee differentiability.

Synthesis

A Lie Group is the synthesis of group symmetry and smooth manifold structure: a finite-dimensional differentiable manifold whose multiplication and inversion are smooth, so that infinitesimal structure (a Lie algebra) and global group behavior are tightly linked by differential methods.