Kernel of ad and the center

The kernel of the adjoint representation ad is the center of the Lie algebra.
Kernel of ad and the center

Let g\mathfrak g be a . The is the linear map

ad:ggl(g),adx(y)=[x,y]. \mathrm{ad}:\mathfrak g\to \mathfrak{gl}(\mathfrak g),\qquad \mathrm{ad}_x(y)=[x,y].

Lemma.

ker(ad)  =  Z(g), \ker(\mathrm{ad}) \;=\; Z(\mathfrak g),

where Z(g)Z(\mathfrak g) is the .

Proof.
By definition, xker(ad)x\in\ker(\mathrm{ad}) iff adx(y)=0\mathrm{ad}_x(y)=0 for all ygy\in\mathfrak g, i.e. [x,y]=0[x,y]=0 for all yy. This is exactly the defining condition for xZ(g)x\in Z(\mathfrak g).

Context.
This identifies the failure of ad\mathrm{ad} to be injective with central directions and clarifies the meaning of : adx\mathrm{ad}_x depends only on the class of xx modulo the center. At the group level, a related statement is .