Finite simple groups of type E₈
All prime powers q ≥ 2; take the simple central quotient.
The untwisted Chevalley finite group of Lie type E₈, in its simple central-quotient form.
Definition sourcesParameter domain
All prime powers q ≥ 2; take the simple central quotient.
| Parameter | Allowed values |
|---|---|
| q | q = p^f, with p prime and f ≥ 1 |
Reference properties
Conventions and use
The finite-field object is distinct from a compact or complex Lie group with the same root-system label. [sources]
Claims and sources
Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.
Definition
The untwisted Chevalley finite group of Lie type E₈, in its simple central-quotient form.
- Finite simple groups: Lecture 4 — Exceptional groupsTen exceptional familiesOpen source
family:finite-e8#definitionParameter domain
q: q = p^f, with p prime and f ≥ 1
- Finite simple groups: Lecture 4 — Exceptional groupsTen exceptional familiesOpen source
family:finite-e8#parametersScope and restrictions
All prime powers q ≥ 2; take the simple central quotient.
- Finite simple groups: Lecture 4 — Exceptional groupsTen exceptional familiesOpen source
family:finite-e8#restrictionConventions and use
The finite-field object is distinct from a compact or complex Lie group with the same root-system label.
- GAP Reference Manual: GroupsIsomorphismTypeInfoFiniteSimpleGroup; SimpleGroupOpen source
family:finite-e8#conventions-1