Keyword: reductive-structure

Theorem Borel Fixed Point Theorem admitted

Topic Borel Subgroups admitted

Theorem Borel Subgroups Are Conjugate and Control Parabolics admitted

Theorem Cartan Subgroups from Maximal Tori admitted

Topic Central Isogenies admitted

Theorem Characterization of Diagonalizable Groups admitted

Theorem Commutative Algebraic Groups Split into Semisimple and Unipotent Parts admitted

Topic Derived Group, Center, Adjoint Group, and Simply Connected Cover admitted

Topic Diagonalizable Groups admitted

Theorem Diagonalizable Groups Are Dual to Character Groups admitted

Theorem Fixed Point Theorem for F-Split Solvable Groups admitted

Theorem Levi Decomposition for Parabolic F-Subgroups admitted

Theorem Levi Decomposition of Parabolic Subgroups admitted

Topic Levi Subgroups and Unipotent Radicals 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

Topic Maximal Tori admitted

Theorem Maximal Tori Are Conjugate admitted

Topic Parabolic Subgroups admitted

Theorem Radical and Derived Group of a Reductive Group admitted

Topic Reductive Groups admitted

Topic Semisimple Groups admitted

Topic Solvable Groups admitted

Definition Split Reductive Groups admitted

Theorem Standard Parabolics Are Classified by Simple Roots admitted

Theorem Structure of Connected Solvable Algebraic Groups admitted

Topic Unipotent Groups admitted