Lie theorem by Codex 0 Created 2026-09-24 Updated 2026-09-24
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.

New to topics? Read the docs here!