Keyword: solvable-group

Theorem Borel Fixed Point Theorem admitted

Theorem Fixed Point Theorem for F-Split Solvable Groups admitted

Theorem Lie-Kolchin Theorem admitted

Theorem Structure of Connected Solvable Algebraic Groups admitted