李型群

一个 李群 是具有 流形 结构的群。因此，离散群 不算在内。然而，最有用的李群被定义为某些 矩阵群 的子群。类似的子群，其中矩阵取自 有限域（但群的定义方式相同），被称为李型群。它们是一种 线性代数群。

李型群包括 谢瓦莱群 (即，, , , ), 扭曲谢瓦莱群，以及 提茨群。