Adjoint representation: discrete kernel iff discrete center

For connected Lie groups, ker(Ad)=Z(G), so Ad has discrete kernel exactly when the center is discrete.
Adjoint representation: discrete kernel iff discrete center

Let GG be a with Lie algebra g\mathfrak{g}, and let denote the adjoint representation Ad:GAut(g)\mathrm{Ad}:G\to \mathrm{Aut}(\mathfrak{g}).

Theorem. If GG is connected, then

ker(Ad)=Z(G), \ker(\mathrm{Ad}) = Z(G),

where Z(G)Z(G) is the . In particular, Ad\mathrm{Ad} has discrete kernel if and only if Z(G)Z(G) is discrete.

This is often packaged as: the adjoint action is “almost effective” precisely when the center is discrete; compare (which correspond to trivial kernel).

Context. The key input is that Ad(g)\mathrm{Ad}(g) is the differential at the identity of the ; for connected groups, acting trivially on g\mathfrak{g} forces gg to commute with a neighborhood of the identity, hence with all of GG. A standard formulation appears as .