Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Weyl_group
gptkb:group_of_people |
| gptkbp:appearsIn |
classification of finite simple groups
|
| gptkbp:definedIn |
gptkb:finite_field
|
| gptkbp:form |
gptkb:E8_(Lie_group)
|
| gptkbp:heldBy |
simple algebraic group over finite field
|
| gptkbp:order_formula |
q^{120} (q^{2}-1)(q^{8}-1)(q^{12}-1)(q^{14}-1)(q^{18}-1)(q^{20}-1)(q^{24}-1)(q^{30}-1)
|
| gptkbp:parameter |
q
|
| gptkbp:q_is |
prime power
|
| gptkbp:relatedTo |
gptkb:E8_root_system
|
| gptkbp:simple_for |
q > 1
|
| gptkbp:type |
E8
|
| gptkbp:bfsParent |
gptkb:exceptional_groups_of_Lie_type
gptkb:finite_Chevalley_group gptkb:groups_of_Lie_type gptkb:finite_group_of_Lie_type |
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
E8(q)
|