Powering-invariant subgroup of Lazard Lie group is Lazard Lie group

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a Lazard Lie group and H is a powering-invariant subgroup of G. Then, H is a Lazard Lie group itself, and hence, is a Lazard Lie subgroup of G.