Lazard derivation

Definition

Suppose $G$ is a Lazard Lie group, i.e., it has a Lazard Lie ring via the Lazard correspondence. A function from $G$ to itself is termed a Lazard derivation if, under the natural bijection between $G$ and its Lazard Lie ring, this function corresponds to a derivation of the Lazard Lie ring.