In the classification of finite simple groups, groups of Lie type are a set of infinite families of simple lie groups. These are the other infinite families besides te cyclic groups and alternating groups.

A decent list at: https://en.wikipedia.org/wiki/List_of_finite_simple_groups, https://en.wikipedia.org/wiki/Group_of_Lie_type is just too unclear. The groups of Lie type can be subdivided into:

- Chevalley groups
- TODO the rest

The first in this family discovered were a subset of the Chevalley groups $A_{n}(q)$ by Galois: $PSL(2,p)$, so it might be a good first one to try and understand what it looks like.

TODO understand intuitively why they are called of Lie type. Their names $A_{n}$, $B_{n}$ seem to correspond to the members of the classification of simple Lie groups which are also named like that.

But they are of course related to Lie groups, and as suggested at Video 88. "Yang-Mills 1 by David Metzler (2011)" part 2, the continuity actually simplifies things.

- Classification of finite simple groups | 186, 949, 23
- Classification of finite groups | 69, 1k, 27
- Normal subgroup | 149, 1k, 30
- Quotient group | 51, 2k, 33
- Subgroup | 0, 2k, 35
- Group | 0, 5k, 89
- Algebra | 0, 8k, 171
- Mathematics | 17, 28k, 633
- Ciro Santilli's Homepage | 262, 218k, 4k