How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Trigonalizable algebraic groups
Definition
Let be a field. An affine algebraic group over (an affine group scheme of finite type over , Affine schemes and their coordinate rings, Group schemes of finite type over a field) is trigonalizable if every simple rational representation of (Rational representations and comodules of an affine group scheme) has dimension over .
Equivalently, by the criterion proved as Trigonalizable groups, invariant flags and embeddings into T_n, every finite-dimensional rational representation of admits a basis in which acts through upper triangular matrices, i.e. the representation is isomorphic to one factoring through the upper triangular group scheme of some .
Both unipotent groups (Unipotent algebraic groups and unipotent representations) and diagonalizable groups are trigonalizable: for a unipotent group every simple representation is trivial of dimension one by definition, and for a diagonalizable group the character eigenspace decomposition exhibits every simple representation as one-dimensional. The formulation by simple representations is the one used in the induction proving Lie-Kolchin; the flag formulation is the one used to embed trigonalizable groups into .
Depends on
Used by
- A nontrivial smooth connected unipotent group with split torus action over a perfect field has a stable central Gₐ Lemma
- Structure of connected nilpotent groups and the maximal-torus criterion Lemma
- Trigonalizable groups, invariant flags and embeddings into Tₙ Lemma
- Conjugacy of diagonalizable complements and maximal subgroups under smoothness hypotheses Theorem
- Lie-Kolchin: smooth connected solvable affine groups over algebraically closed fields are trigonalizable Theorem
- Maximal tori of a smooth connected solvable group are conjugate Theorem
- Simple rational representations have a unique highest weight Theorem
- Splitting trigonalizable extensions: algebraically closed fields and two perfect-field cases Theorem
- Trigonalizable groups have a normal series with a multiplicative quotient and additive subgroup quotients Theorem
Dependency tree · two levels
22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- J. S. Milne, Algebraic Groups (corrected 2022 printing, Cambridge University Press) (standard reference, not scraped)