Keyword: root-datum

Theorem Chevalley Existence Theorem admitted

Definition Chevalley Group Construction from a Root Datum admitted

Theorem Chevalley Isomorphism Theorem admitted

Topic Fundamental Group of a Root Datum admitted

Definition Isogeny Types from the Root Datum admitted

Definition Root Datum of a Reductive Group admitted