Bourbaki

Theorem 3

Tag 0AH5, permanent. Cite it as [Bourbaki, Tag 0AH5].

Lie Groups and Lie Algebras, chapter III, § 7. Lie groups over an ultrametric field

Let G and H be Lie groups and h a continuous morphism of L(G) into L(H).

(i) There exist an open subgroup G' of G and a Lie group morphism ϕ\phi of G' into H such that h=L(ϕ)h = L(\phi).

(ii) Let G_1, G_2 be open subgroups of G and ϕi\phi_i a morphism of G_i into H such that h=L(ϕi)h = L(\phi_i). Then ϕ1\phi_1 and ϕ2\phi_2 coincide on an open subgroup of G.

By Proposition 1, this follows from § 4, no. 1, Theorem 1.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.