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 (6)

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 finite field F_7 ⓘ
linked to: GF(p)
degreeOfNaturalPermutationRepresentation 7 ⓘ
degreeOfPermutationRepresentation 8 ⓘ
derivedSubgroup PSL(2,7) ⓘ
fullAutomorphismGroupOf Klein quartic ⓘ
hasCayleyGraphRelatedTo Heawood graph ⓘ
linked to: Fano plane
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 incidence structure ⓘ
linked to: Fano plane
isNonAbelian true ⓘ
isomorphicTo GL(3,2) ⓘ
linked to: PSL(2,7)

L_2(7) ⓘ
PSL_2(7) ⓘ
linked to: PSL(2,7)

projective linear group of 2×2 matrices over F_7 with determinant 1 modulo scalars ⓘ
linked to: PSL(2,7)
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 (21)

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

PSL(2,7) → isomorphicTo → GL(3,2) ⓘ
linked to: PSL(2,7)
PSL(2,7) → isomorphicTo → PSL_2(7) ⓘ
linked to: PSL(2,7)
PSL(2,7) → isomorphicTo → projective linear group of 2×2 matrices over F_7 with determinant 1 modulo scalars ⓘ
linked to: PSL(2,7)
PSL(2,7) → derivedSubgroup → PSL(2,7) ⓘ
Fano plane → hasAutomorphismGroup → PGL(3,2) ⓘ
linked to: PSL(2,7)
SL(2,7) → quotientByCenterIs → PSL(2,7) ⓘ
SL(2,7) → hasSimpleQuotient → PSL(2,7) ⓘ
SL(2,7) → isDoubleCoverOf → PSL(2,7) ⓘ
SL(2,7) → is2FoldCoverOf → PSL(2,7) ⓘ
PGL(2,7) → hasNormalSubgroup → PSL(2,7) ⓘ
PGL(2,7) → isExtensionOf → PSL(2,7) by C2 ⓘ
linked to: PSL(2,7)
PGL(2,7) → hasDerivedSubgroup → PSL(2,7) ⓘ
Klein quartic → hasAutomorphismGroup → PSL(2,7) ⓘ
subject linked to: Hurwitz surfaces
Hurwitz group → hasExample → PSL(2,7) ⓘ