Lie theorem
= Lie theorem
{c}
{wiki=Lie's_theorem}
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.