Proposition 9
Tag 0A7O, permanent. Cite it as [Bourbaki, Tag 0A7O].
Lie Groups and Lie Algebras, chapter III, § 1. Lie groups
Let and .
(i) If is an immersion (resp. a submersion, a subimmersion) at , then, for all , is an immersion (resp. a submersion, a subimmersion).
(ii) If is of rank k at , then for all , is of constant rank equal to k.
This follows immediately from formulae (4) and (5) since and are isomorphisms.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.