Proposition. Let g\mathfrak g be a . Then

Z(g)={0},Z(\mathfrak g)=\{0\},

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

Proof

The center is an ideal, so simplicity implies that it is either 00 or all of g\mathfrak g. The second possibility would make g\mathfrak g abelian, contrary to the definition of a simple Lie algebra. Equivalently, this follows from .