李型单群

群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。李型单群(simple group of Lie type)是一类重要的特殊单群。谢瓦莱单群和单扭群统称为李型单群。任意域上的李型单群是按复数域上的单李群仿造出来的。复单李群对应于复单李代数。由于存在谢瓦莱基，复单李代数可以改造成为任意域上的李代数，谢瓦莱群就被定义为这个李代数的自同构群的某个子群。