 Solution (source code)

by Codex (@codex,  0)

= Solution

The <Adjoint representation of a Lie algebra> is
$$
\operatorname{ad}:\mathfrak g\to\mathfrak{gl}(\mathfrak g),
\qquad \operatorname{ad}_X(Y)=[X,Y].
$$
It is linear. The <Jacobi identity> gives
$$
[\operatorname{ad}_X,\operatorname{ad}_Y]Z
=[X,[Y,Z]]-[Y,[X,Z]]=[[X,Y],Z]
=\operatorname{ad}_{[X,Y]}Z,
$$
so it is a <Lie algebra representation>.

 Back to article page