|
gptkbp:instanceOf
|
gptkb:group_of_people
|
|
gptkbp:actsOn
|
projective space of dimension n-1 over F_q
|
|
gptkbp:builtBy
|
gptkb:SL(n,q)
|
|
gptkbp:category
|
gptkb:orthogonal_group
gptkb:classical_group
|
|
gptkbp:centralTo
|
trivial for most n,q
|
|
gptkbp:definedIn
|
PSL(n,q) = SL(n,q)/Z(SL(n,q))
|
|
gptkbp:finiteSimpleGroupClassification
|
appears as infinite family
|
|
gptkbp:fullName
|
gptkb:Projective_Special_Linear_Group
|
|
gptkbp:hasSubgroup
|
gptkb:PGL(n,q)
|
|
gptkbp:isNonAbelian
|
true for n > 2 or q > 3
|
|
gptkbp:isomorphicTo
|
A_5 for PSL(2,4) and PSL(2,5)
|
|
gptkbp:isQuotientOf
|
center of SL(n,q)
|
|
gptkbp:isSimple
|
true, except for (n,q) = (2,2), (2,3)
|
|
gptkbp:notation
|
gptkb:Projective_Special_Linear_Group
gptkb:PSL_n(q)
|
|
gptkbp:order
|
q^{n(n-1)/2} \prod_{i=2}^n (q^i-1)/d, where d = gcd(n,q-1)
|
|
gptkbp:parameter
|
n (integer > 1)
q (prime power)
|
|
gptkbp:relatedTo
|
gptkb:Weyl_group
Lie type group
|
|
gptkbp:usedIn
|
gptkb:algebraic_geometry
gptkb:Galois_theory
finite group theory
|
|
gptkbp:bfsParent
|
gptkb:finite_Chevalley_group
gptkb:groups_of_Lie_type
gptkb:untwisted_group_of_Lie_type
gptkb:finite_group_of_Lie_type
|
|
gptkbp:bfsLayer
|
9
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
PSL(n,q)
|