PSL(2,7)

E262442

PSL(2,7) is a finite simple group of order 168, notable as the full automorphism group of the Klein quartic and as a key example in the theory of projective linear groups over finite fields.

All labels observed (5)

How this entity was disambiguated

Statements (50)

Predicate Object
instanceOf finite simple group
non‑abelian simple group
projective special linear group
actsFaithfullyOn Klein quartic
actsOn projective line over F_7
actsTransitivelyOn 7 points
8 points
appearsIn classification of finite simple groups as a group of Lie type A1(7)
automorphismGroup PGL(2,7)
centerOfCoveringGroup {±I} in SL(2,7)
construction SL(2,7)/{±I}
definedOverField GF(p)
surface form: finite field F_7
degreeOfNaturalPermutationRepresentation 7
degreeOfPermutationRepresentation 8
derivedSubgroup PSL(2,7) self-link
fullAutomorphismGroupOf Klein quartic
hasCayleyGraphRelatedTo Fano plane
surface form: Heawood graph
hasElementOrder 2
3
4
6
7
8
hasExponent 84
hasMaximalSubgroupOrder 21
24
7⋊3
hasPresentation ⟨a,b | a^2 = b^3 = (ab)^7 = 1⟩
hasSubgroupIsomorphicTo C_7 ⋊ C_3
D_8
S_4
hasSylowSubgroupOrder 3
7
8
hasTrivialCenter true
is2TransitiveOn projective line over F_7
isAutomorphismGroupOf Fano plane
surface form: Fano plane incidence structure
isNonAbelian true
isomorphicTo PSL(2,7) self-linksurface differs
surface form: GL(3,2)

L_2(7)
PSL(2,7) self-linksurface differs
surface form: PSL_2(7)

PSL(2,7) self-linksurface differs
surface form: projective linear group of 2×2 matrices over F_7 with determinant 1 modulo scalars
isPerfect true
isQuotientOf SL(2,7)
isSimple true
isSmallestNonAbelianSimpleGroupWith order divisible by 7
minimalFaithfulPermutationDegree 7
order 168
outerAutomorphismGroupOrder 2
rankOverField 1

How these facts were elicited

Referenced by (8)

Full triples — surface form annotated when it differs from this entity's canonical label.

PSL(2,7) isomorphicTo PSL(2,7) self-linksurface differs
this entity surface form: GL(3,2)
PSL(2,7) isomorphicTo PSL(2,7) self-linksurface differs
this entity surface form: PSL_2(7)
PSL(2,7) isomorphicTo PSL(2,7) self-linksurface differs
this entity surface form: projective linear group of 2×2 matrices over F_7 with determinant 1 modulo scalars
PSL(2,7) derivedSubgroup PSL(2,7) self-link
Fano plane hasAutomorphismGroup PSL(2,7)
this entity surface form: PGL(3,2)