Lie subgroup (source code)

= Lie subgroup
{c}
{wiki}

A Lie subgroup is a subgroup carrying a <Lie group> structure such that its inclusion is an injective <immersion> and a <group homomorphism>. Its <Lie algebra> includes in that of the ambient <Lie group>.