Let g\mathfrak g be a . Its is

ad:g→gl(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 of g\mathfrak g.

Remarks

Proof. By definition, x∈ker⁡(ad⁡)x\in\ker(\operatorname{ad}) if and only if [x,y]=0[x,y]=0 for every y∈gy\in\mathfrak g, which is precisely the condition x∈Z(g)x\in Z(\mathfrak g).

Thus ad⁡x\operatorname{ad}_x depends only on the class of xx modulo the center.