Lie's theorem
= Lie's theorem
{c}
{wiki}
= Lie theorem
{c}
{synonym}
Every finite-dimensional complex representation of a solvable Lie algebra has a common eigenvector. Equivalently, an irreducible finite-dimensional complex representation is one-dimensional; iterating gives simultaneous upper triangularization.