Definition

Lie Group

Lie Groups and Lie Algebras · lie-groups.tex

A Lie Group is a group (Definition Group (Classical)) that is also a finite dimensional smooth differentiable manifold (Definition Smooth Manifold), with the added condition that the group operations of multiplication and inversion are smooth maps (Definition Smooth Map and Diffeomorphism).

Depends on

Used in

Dependency Graph

flowchart LR classDef current fill:#6366f1,color:#fff,stroke:#4f46e5 n71746aac["Group (Classical)"] n49c0e84b["Smooth Manifold"] n03a51003["Smooth Map and Diffeomorphism"] ne5f4203c["Lie Group"]:::current n383b5512["Unit Circle"] ne599a876["Representation of a Lie Group"] n71746aac --> ne5f4203c n49c0e84b --> ne5f4203c n03a51003 --> ne5f4203c ne5f4203c --> n383b5512 ne5f4203c --> ne599a876 click n71746aac "../objects/71746aac.html" "_self" click n49c0e84b "../objects/49c0e84b.html" "_self" click n03a51003 "../objects/03a51003.html" "_self" click n383b5512 "../objects/383b5512.html" "_self" click ne599a876 "../objects/e599a876.html" "_self"