gptkbp:instanceOf
|
gptkb:group_of_people
gptkb:Lie_group
simple group
|
gptkbp:actsOn
|
gptkb:hyperbolic_plane
|
gptkbp:centralTo
|
trivial
|
gptkbp:compact
|
true
|
gptkbp:dimensions
|
3
|
gptkbp:fullName
|
gptkb:Projective_Special_Linear_Group_of_2x2_real_matrices
|
gptkbp:fundamentalGroup
|
Z
|
gptkbp:hasConnection
|
true
|
gptkbp:hasMaximalSubgroup
|
gptkb:PSO(2)
|
gptkbp:hasSubgroup
|
gptkb:PSL(2,Z)
gptkb:PSO(2)
|
https://www.w3.org/2000/01/rdf-schema#label
|
PSL(2,R)
|
gptkbp:isConnectedComponentOfIdentity
|
true
|
gptkbp:isHomogeneousSpace
|
true
|
gptkbp:isMatrixGroup
|
true
|
gptkbp:isNonAbelian
|
true
|
gptkbp:isNoncompactRealForm
|
true
|
gptkbp:isNoncompactSemisimpleLieGroup
|
true
|
gptkbp:isNoncompactSimpleLieGroup
|
true
|
gptkbp:isomorphicTo
|
orientation-preserving isometries of the hyperbolic plane
|
gptkbp:isProjectiveGroup
|
true
|
gptkbp:isQuotientOf
|
gptkb:GL(2,R)
gptkb:PGL(2,R)
gptkb:SL(2,R)
{±I}
|
gptkbp:isRealLieGroup
|
true
|
gptkbp:isRealRankOne
|
true
|
gptkbp:isSimple
|
true
|
gptkbp:isSimpleRealLieGroup
|
true
|
gptkbp:isSpecialLinearGroup
|
true
|
gptkbp:isSplitRealForm
|
true
|
gptkbp:Lie_algebra
|
gptkb:sl(2,R)
|
gptkbp:order
|
infinite
|
gptkbp:realForm
|
gptkb:PSL(2,C)
|
gptkbp:universalCover
|
SL(2,R)
|
gptkbp:usedIn
|
gptkb:hyperbolic_geometry
gptkb:Teichmüller_theory
gptkb:Riemann_surfaces
modular forms
automorphic forms
|
gptkbp:bfsParent
|
gptkb:hyperbolic_plane
|
gptkbp:bfsLayer
|
6
|