Every monomorphism of the Lie algebra of triangular polynomial derivations is an automorphism

We prove that every monomorphism of the Lie algebra un of triangular derivations of the polynomial algebra Pn=K[x1,…,xn] is an automorphism.

RésuméNous montrons que tout homomorphisme injectif de lʼalgèbre de Lie un des dérivations triangulaires de lʼalgèbre de polynômes Pn=K[x1,…,xn] est un automorphisme.