Definition
E₇(2)
The finite Chevalley group of type E₇, with its finite center divided out.
For , is the finite Chevalley central quotient of type :
Here is the split simply connected algebraic group of the displayed root-system type. Its finite points are fixed by coordinatewise -power Frobenius, and multiplication is multiplication of cosets of their finite center.
Order and simplicity
Its order is
It is a nonabelian simple group. The exact order is 7,997,476,042,075,799,759,100,487,262,680,802,918,400.
Rank and central quotient
The absolute rank is . The finite center of the simply connected group has order ; the notation here always denotes the quotient by that center. There are no omitted small-field simplicity exceptions for this type.
References
- Robert Steinberg, Lectures on Chevalley Groups (Yale, 1967), §3 construction; §4 Theorem 5, PDF pp. 52–54; §9 Theorems 24–25, PDF pp. 136–138.
- B. Akbari, ODs-characterization of some low-dimensional finite classical groups, Table 2, p. 85: order column only; its additional Restrictions concern a separate invariant.
- ATLAS of Finite Group Representations: E₇(2), Group heading: exact order 7997476042075799759100487262680802918400.