Remark

Let $\mathfrak{h}'$ be a Lie $K'$-algebra and $\mathfrak{h}$ the Lie K-algebra derived from $\mathfrak{h}'$ by restricting the ring of scalars. If $P \in L_K(X)$, we can define $\tilde{P} : \mathfrak{h}^X \to \mathfrak{h}$ (no. 4). We see immediately that