= Solution
Bilinearity and alternatingness of
$$
[(x,v),(y,w)]=([x,y],xw-yv)
$$
are immediate. For three elements, the $\mathfrak g$ component of the Jacobi sum vanishes by the <Jacobi identity> in $\mathfrak g$. In the $V$ component, the coefficient of a vector such as $u$ is
$$
[x,y]u-x(yu)+y(xu)=0
$$
because the action is a <Lie algebra representation>; the other terms cancel cyclically in the same way. Hence the bracket satisfies Jacobi and defines the <semidirect product of a Lie algebra and a module> $\mathfrak g\ltimes V$.
Back to article page
