There is a natural one-to-one correspondence between the finite-dimensional representations of a simply connected compact Lie group "K" and the finite-dimensional representations of the complex semisimple Lie algebra formula_2 that is the complexification of the Lie algebra of "K" (this fact is essentially a special case of the Lie group–Lie algebra correspondence).