|
gptkbp:instanceOf
|
gptkb:group_of_people
gptkb:discrete_group
|
|
gptkbp:actsOn
|
upper half-plane
|
|
gptkbp:automorphismGroup
|
nontrivial
contains inner automorphisms
|
|
gptkbp:centralTo
|
{I, -I}
|
|
gptkbp:containsElement
|
2x2 integer matrices with determinant 1
|
|
gptkbp:finitelyGenerated
|
true
|
|
gptkbp:finitelyPresented
|
true
|
|
gptkbp:fullName
|
gptkb:Special_Linear_Group_of_2x2_integer_matrices_with_determinant_1
|
|
gptkbp:generation
|
S = [[0,-1],[1,0]]
T = [[1,1],[0,1]]
|
|
gptkbp:hasSubgroup
|
gptkb:SL(2,R)
congruence subgroups
|
|
gptkbp:importantFor
|
gptkb:algebraic_geometry
gptkb:topology
gptkb:hyperbolic_geometry
modular forms
number theory
|
|
gptkbp:indexIn
|
SL(2,Q): infinite
|
|
gptkbp:isNonAbelian
|
true
|
|
gptkbp:isomorphicTo
|
free product of C_4 and C_6 amalgamated over C_2
|
|
gptkbp:isQuotientOf
|
gptkb:PSL(2,Z)
|
|
gptkbp:order
|
infinite
|
|
gptkbp:presentedBy
|
<S,T | S^4 = I, (ST)^3 = I>
|
|
gptkbp:relatedTo
|
gptkb:modular_group
modular forms
modular group action
|
|
gptkbp:bfsParent
|
gptkb:Type_IIB_string_theory
gptkb:noncommutative_tori
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
SL(2,Z)
|