Exercice 27, § 1

Soient $K$ un corps de caractéristique $p > 0$, $G$ le groupe formel de dimension 2 défini par $f_1(x, y) = X_1 + Y_1 + X_1Y_1, f_2(x, y) = X_2 + Y_2(1 + X_1^p)$. Montrer que $G$ n’est pas commutatif, mais que son algèbre de Lie est commutative.