特に、有限体上では、線型代数群は(finite groups of lie type)をもたらす。