Keyword: semisimple

Theorem Commutative Algebraic Groups Split into Semisimple and Unipotent Parts admitted

Theorem Jordan Decomposition in a Linear Algebraic Group admitted

Theorem Radical and Derived Group of a Reductive Group admitted