nLab
group of Lie type

Groups of Lie type

Definition

A group of Lie type $G(k)$ is a (not necessarily finite) group of rational point?s of a reductive linear algebraic group $G$ with values in the field $k$.

Warning

Not to be confused with the notion of Lie group.