PSL(2,ℤ)

GPTKB entity

Statements (49)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
modular group
gptkbp:actsDiscretelyOn upper half-plane
gptkbp:actsOn upper half-plane
gptkbp:centralTo gptkb:SL(2,ℤ)
gptkbp:definedIn integers
gptkbp:finitelyGenerated true
gptkbp:finitelyPresented true
gptkbp:fullName gptkb:Projective_Special_Linear_Group_of_2x2_integer_matrices_modulo_center
gptkbp:fundamentalDomain modular region in upper half-plane
gptkbp:generation S and T
gptkbp:hasInfiniteOrderElements true
gptkbp:hasQuotients gptkb:finite_simple_groups_PSL(2,p)
gptkbp:hasSubgroup gptkb:Bianchi_groups
gptkb:Hecke_groups
gptkb:PSL(2,ℝ)
gptkb:principal_congruence_subgroups
congruence subgroups
gptkbp:hasTorsionElements true
https://www.w3.org/2000/01/rdf-schema#label PSL(2,ℤ)
gptkbp:importantFor gptkb:hyperbolic_geometry
complex analysis
modular forms
number theory
gptkbp:indexIn SL(2,ℤ) is 2
gptkbp:isNonAbelian true
gptkbp:isomorphicTo free product of cyclic groups of order 2 and 3
gptkbp:isQuotientOf gptkb:SL(2,ℤ)
gptkb:SL(2,ℤ)_by_{±I}
gptkbp:loveInterest (ST)^3 = 1
S^2 = 1
T has infinite order
gptkbp:order infinite
gptkbp:presentedBy ⟨S,T | S^2 = 1, (ST)^3 = 1⟩
gptkbp:relatedTo gptkb:monodromy_group
gptkb:triangle_group_(2,3,∞)
gptkb:Farey_tessellation
modular forms
modular group
continued fractions
modular group action
gptkbp:usedIn gptkb:modular_curves
gptkb:string_theory
gptkb:monstrous_moonshine
automorphic forms
modular symbols
modular function theory
gptkbp:bfsParent gptkb:modular_group
gptkbp:bfsLayer 5