projective special linear group
GPTKB entity
Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
gptkb:mathematical_concept |
| gptkbp:abbreviation |
gptkb:PSL
|
| gptkbp:actsOn |
gptkb:geometry
|
| gptkbp:definedIn |
quotient of the special linear group by its center
|
| gptkbp:example |
gptkb:PSL(2,7)
gptkb:PSL(3,2) gptkb:PSL(2,5) |
| gptkbp:importantFor |
gptkb:algebraic_geometry
gptkb:geometry group theory finite group theory |
| gptkbp:infiniteFor |
gptkb:infinite_field_F
|
| gptkbp:isFinite |
gptkb:finite_field_F
|
| gptkbp:isSimple |
n ≥ 2 and |F| > 3, except PSL(2,2) and PSL(2,3)
|
| gptkbp:notation |
gptkb:PSL(n,_F)
|
| gptkbp:order |
(q^n - 1)(q^n - q)...(q^n - q^{n-1})/d, where d = gcd(n, q-1) for PSL(n, q)
|
| gptkbp:originatedIn |
orthogonal group
|
| gptkbp:relatedTo |
orthogonal group
projective general linear group |
| gptkbp:subclassOf |
projective linear group
|
| gptkbp:usedIn |
gptkb:Galois_theory
modular forms algebraic groups classification of finite simple groups |
| gptkbp:bfsParent |
gptkb:Alternating_group
gptkb:orthogonal_group gptkb:Special_linear_group |
| gptkbp:bfsLayer |
5
|