 Killing-form Einstein metric

On a real semisimple Lie group, the nondegenerate invariant Killing form gives a bi-invariant pseudo-Riemannian metric. For left-invariant fields the Koszul formula gives ${\nabla }_{X}Y=[X,Y]/2$ and $R(X,Y)Z=-[[X,Y],Z]/4$. Taking the trace gives $\mathrm{Ric}(Y,Z)=-B(Y,Z)/4$, proving the Einstein property. On a compact semisimple group, $-B$ is positive definite and has Einstein constant $1/4$. The indefinite general construction is not a proof of existence of a positive-definite bi-invariant metric on a noncompact group.