KnowraLie's third theoremLinked fromLinked fromThe 6 pages that link to Lie's third theorem, each with the reason it gives.All 6Broader topic 1Related 2Compared with 3Lie algebraRelated: It formalizes when an abstract Lie algebra comes from a global symmetry group.Sophus LieBroader topic: It formalizes the passage from infinitesimal structures to continuous groups central to Lie’s program.Baker–Campbell–Hausdorff formulaRelated: It formalizes the relationship between Lie algebras and groups that the formula expresses locally.Engel's theoremCompared with: It illustrates a different foundational direction of Lie theory, connecting algebraic structure to groups.Poincaré–Birkhoff–Witt theoremCompared with: It connects Lie algebras to groups, while PBW concerns their enveloping algebras.Closed-subgroup theoremCompared with: It constructs groups from infinitesimal data, while Cartan’s theorem recovers smooth structure for closed subgroups.