Cartan's theorem on closed subgroups

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo gptkb:Lie_groups
closed subgroups
gptkbp:field Lie group theory
https://www.w3.org/2000/01/rdf-schema#label Cartan's theorem on closed subgroups
gptkbp:implies closed subgroups of Lie groups are Lie subgroups
gptkbp:namedAfter gptkb:Élie_Cartan
gptkbp:sentence Every closed subgroup of a Lie group is an embedded Lie subgroup.
gptkbp:yearProved 1930
gptkbp:bfsParent gptkb:Cartan's_theorem
gptkbp:bfsLayer 6