SL(2, F)

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
gptkb:Lie_group
gptkbp:actsOn projective line over F
gptkbp:automorphismGroup PGL(2, F)
gptkbp:centralTo {λI | λ^2 = 1, λ in F*}
gptkbp:defines group of 2x2 matrices with determinant 1 over field F
gptkbp:determinant 1
gptkbp:dimensions 3
gptkbp:field F
gptkbp:fullName Special Linear Group of 2x2 matrices over F
gptkbp:generation elementary matrices
gptkbp:hasConnection true
gptkbp:hasInnerAutomorphism true
gptkbp:hasOuterAutomorphism true
gptkbp:hasSubgroup gptkb:Cartan_subgroup
gptkb:GL(2,_F)
dihedral group
Borel subgroup
unipotent subgroup
https://www.w3.org/2000/01/rdf-schema#label SL(2, F)
gptkbp:isAlgebraicGroup true
gptkbp:isChevalleyGroup true
gptkbp:isClassicalGroup true
gptkbp:isConnectedGroup true if F is algebraically closed
gptkbp:isFinitelyGenerated true
gptkbp:isMatrixGroup true
true if F = R or C
gptkbp:isNonAbelian true
gptkbp:isNonNilpotent true
gptkbp:isPerfect true
gptkbp:isQuotientOf gptkb:PSL(2,_F)
PSL(2, F) = SL(2, F)/center
gptkbp:isReductive true
gptkbp:isSimple true if |F| > 3
gptkbp:isSolvable true
gptkbp:isSpecialGroup true
gptkbp:isSplitGroup true if F is a field
gptkbp:isUniversalCover true for PSL(2, F)
gptkbp:matrixSize 2x2
gptkbp:notation SL_2(F)
gptkbp:order (q^3 - q) if F is finite field of order q
gptkbp:perfect true
gptkbp:relatedTo gptkb:PSL(2,_F)
gptkbp:usedIn gptkb:algebraic_geometry
gptkb:Galois_theory
modular forms
number theory
quantum mechanics
representation theory
theory of modular curves
gptkbp:bfsParent gptkb:Special_linear_group
gptkbp:bfsLayer 5