This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Lie's theorem | |
|---|---|
| Name | Lie's theorem |
| Field | Lie theory, Representation theory, Linear algebra |
| Statement | Every finite-dimensional representation of a solvable Lie algebra over an algebraically closed field of characteristic zero has a common eigenvector. |
| First proved | 1890s |
| Author | Sophus Lie |
Lie's theorem is a foundational result in Lie theory and Representation theory describing the structure of finite-dimensional representations of solvable Lie algebras over algebraically closed fields of characteristic zero. It implies that such representations admit a flag of invariant subspaces and thus can be upper-triangularized, connecting to classical results of Lagrange, Cauchy, and Jordan in Linear algebra. The theorem underpins classification efforts linked to Cartan, Killing, and later developments by Chevalley and Jacobson.
Lie's theorem states: for a finite-dimensional representation ρ of a solvable Lie algebra g over an algebraically closed field of characteristic zero, there exists a nonzero vector v that is an eigenvector for every operator ρ(x) with x in g. Equivalently, ρ(g) is simultaneously upper triangularizable in some basis, yielding a complete flag of invariant subspaces. The hypothesis of an algebraically closed field of characteristic zero distinguishes this result from phenomena studied by Galois and failures over fields of positive characteristic investigated by Chevalley and Jacobson.
The theorem traces to work of Sophus Lie in the 1890s within the broader program of classifying continuous transformation groups, a program contemporaneous with contributions by Poincaré and Klein. Influences include structural ideas from Jordan on matrix forms and invariants studied by Jordan and Cayley. Later formalizations and algebraic proofs were given by Cartan and Chevalley in the 20th century, with ring-theoretic perspectives advanced by Jacobson and categorical viewpoints connected to Grothendieck and Weil. Counterexamples and refinements in positive characteristic were developed by Serre and Demazure.
Standard proofs proceed by induction on the dimension of the representation space, using structural properties of solvable Lie algebras such as the existence of a nontrivial ideal in the derived algebra and Engel-type statements attributed to Engel. One chooses a maximal proper invariant subspace and applies the inductive hypothesis to obtain a common eigenvector for the quotient representation; lifting this eigenvector yields a common eigenvector for the whole representation under the algebraically closed characteristic zero hypothesis. Key steps invoke results associated with Cartan's criteria, triangularization theorems akin to Schur's lemma from Schur, and basic facts about eigenvalues over Galois-closed fields. Variants of the proof reference the Lie–Kolchin theorem framework and connections to the Jordan canonical form established by Jordan.
Lie's theorem yields immediate corollaries: every finite-dimensional representation of a solvable Lie algebra preserves a complete flag and hence is upper triangularizable; this implies that any irreducible finite-dimensional representation of a solvable Lie algebra is one-dimensional, a result resonant with work by Harish-Chandra and Hermann Weyl in representation classification. Combined with the Levi decomposition for finite-dimensional Lie algebras (credited to Levi and developed by Chevalley), it contributes to the classification of representations of reductive Lie algebras by reduction to semisimple parts, as advanced by Cartan, Weyl, and Harish-Chandra. The theorem interacts with structural results like Engel's theorem, the Ado theorem, and the Poincaré–Birkhoff–Witt theorem in enveloping algebra theory studied by Serre and Harish-Chandra.
Concrete examples include representations of the Lie algebra of upper triangular matrices, central to the study of Borel subgroups in algebraic groups and flag varieties explored by Cartan and Borel. Applications appear in classification problems for linear differential equations as in Kovalevskaya's lineage, integrable systems in the tradition of Kovalevskaya and Poincaré, and in the representation theory of solvable subalgebras arising in the work of Cartan and Weyl on harmonic analysis. Lie's theorem underlies techniques in the study of algebraic monodromy groups relevant to Weil and Grothendieck's research on algebraic geometry and differential Galois theory connected to Galois.
Generalizations include the Lie–Kolchin theorem for solvable linear algebraic groups developed by Kolchin and structural extensions to positive characteristic by Chevalley and Jacobson, with constraints articulated by Serre and Dieudonné. Related results are Engel's theorem, Ado's theorem, the Levi decomposition, and complete reducibility theorems for semisimple Lie algebras by Cartan and Weyl. Modern treatments connect to categorical formulations in the work of Grothendieck and to geometric representation theory as developed by Lusztig, Deligne, and Langlands.
Category:Lie theory