Keyword: root-subgroup

Definition Rank-One Subgroups and SL₂-Embeddings admitted

Theorem Root Subgroups Generate a Reductive Group admitted

Theorem Unipotent Radical of a Borel Subgroup and Positive Roots admitted