Keyword: springer

Theorem Affine G-Varieties Embed Equivariantly in Representations admitted

Definition Algebraic Group Actions, Orbits, and Stabilizers admitted

Theorem Borel Fixed Point Theorem admitted

Theorem Borel Subgroups Are Conjugate and Control Parabolics admitted

Theorem Bruhat Decomposition admitted

Theorem Bruhat Order Gives Schubert Closure Relations admitted

Theorem Cartan Subgroups from Maximal Tori admitted

Theorem Characterization of Diagonalizable Groups admitted

Theorem Chevalley Existence Theorem admitted

Theorem Chevalley Isomorphism Theorem admitted

Theorem Chevalley Isomorphism Theorem for F-Split Groups admitted

Theorem Commutative Algebraic Groups Split into Semisimple and Unipotent Parts admitted

Theorem Connected Subgroups Generate a Closed Connected Subgroup admitted

Theorem Diagonalizable Groups Are Dual to Character Groups admitted

Theorem F-Tori Are Classified by Galois Modules admitted

Theorem Field of Definition for Subgroups of F-Groups admitted

Theorem Fixed Point Theorem for F-Split Solvable Groups admitted

Theorem Identity Component Is Closed Normal of Finite Index admitted

Theorem Image of an Algebraic Group Homomorphism Is Closed admitted

Definition Indexed Root Datum of an F-Reductive Group admitted

Theorem Jordan Decomposition in a Linear Algebraic Group admitted

Theorem Lang Theorem for Connected Algebraic Groups over Finite Fields admitted

Theorem Levi Decomposition for Parabolic F-Subgroups admitted

Theorem Levi Decomposition of Parabolic Subgroups admitted

Definition Lie Algebra of an Algebraic Group admitted

Theorem Lie-Kolchin Theorem admitted

Theorem Maximal F-Split Tori Are G(F)-Conjugate admitted

Theorem Maximal F-Tori Exist in Connected F-Groups admitted

Theorem Maximal Tori Are Conjugate admitted

Theorem Orbits of Algebraic Group Actions Are Locally Closed admitted

Theorem Quasi-Split and Anisotropic Groups via the Indexed Root Datum admitted

Theorem Quotient by a Closed Subgroup Exists admitted

Theorem Radical and Derived Group of a Reductive Group admitted

Theorem Rational Bruhat Decomposition admitted

Theorem Relative Root Datum of an F-Reductive Group admitted

Theorem Relative Weyl Group Is Generated by Relative Reflections admitted

Definition Root Datum of a Reductive Group admitted

Theorem Root Subgroups Generate a Reductive Group admitted

Theorem Standard Parabolics Are Classified by Simple Roots admitted

Theorem Structure of Connected Solvable Algebraic Groups admitted

Theorem Unipotent Subgroups Are Triangularizable admitted

Theorem Weyl Group Is Generated by Root Reflections admitted