The Lie-Kolchin Theorem is a result in the representation theory of linear algebraic groups, named for Sophus Lie and Ellis Kolchin. It states that a connected and solvable linear algebraic group acting on a nonzero finite-dimensional vector space over an algebraically closed field has a common eigenvector for all its elements, so the group can be represented, in a suitable basis, entirely by upper triangular matrices. The theorem is the algebraic-group analogue of Lie's theorem for linear Lie algebras, which gives the corresponding statement for solvable Lie algebras of matrices.
Facts
StatementIf G is a connected and solvable linear algebraic group defined over an algebraically closed field and rho is a representation of G on a nonzero finite-dimensional vector space V, then there exists a one-dimensional linear subspace L of V such that rho(G) maps L to itself. 1 Classification
Statement Form Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
In Branch
Source Lie-Kolchin theorem, Wikipedia
Proved By
Source Lie-Kolchin theorem, Wikipedia
Sources
1. Lie-Kolchin theorem, Wikipedia
Statement section
if G is a connected and solvable linear algebraic group defined over an algebraically closed field and rho : G to GL ( V ) a representation on a nonzero finite-dimensional vector space V, then there is a 1-dimensional linear subspace L of V such that rho ( G ) ( L ) = L.
History section
The result for Lie algebras was proved by Sophus Lie (1876) and for algebraic groups was proved by Ellis Kolchin (1948, p.19).
- In Branch: Representation Theory, Lead sentence
Proved By: Sophus Lie, Lead paragraph
In mathematics, the Lie-Kolchin theorem is a theorem in the representation theory of linear algebraic groups; Lie's theorem is the analog for linear
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.