Lie's theorem
= Lie's theorem
{c}
{wiki}
= Lie theorem
{c}
{synonym}
Every nonzero 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.