Keyword: unipotent

Theorem Commutative Algebraic Groups Split into Semisimple and Unipotent Parts admitted

Theorem Jordan Decomposition in a Linear Algebraic Group admitted

Theorem Unipotent Subgroups Are Triangularizable admitted