Finite group of Lie type
= Finite group of Lie type
{title2=$G^F$}
= Finite groups of Lie type
{synonym}
A finite group of Lie type is obtained from rational points of a connected <reductive algebraic group> with a suitable <Frobenius endomorphism of an algebraic group>, often followed by central quotient or passage to a derived subgroup. Its complex representations combine finite-group <character theory> with the geometry of <Borel subgroups>, <maximal algebraic tori>, and the <Weyl group>.