for n=2

18 triples
GPTKB property

Random triples
Subject Object
gptkb:PSL(n,Z) PSL(2,Z) is a non-abelian free product
gptkb:SL(n,_ℤ) modular group
gptkb:PSL(n,Z) PSL(2,Z) acts on upper half-plane
gptkb:PSL(n,Z) PSL(2,Z) is not finite
gptkb:SL(n,_ℤ) has congruence subgroups
gptkb:PSL(n,Z) PSL(2,Z) ≅ C_2 * C_3
gptkb:PSL(n,Z) PSL(2,Z) ≅ SL(2,Z)/{±I}
gptkb:SL(n,_ℤ) generated by elementary matrices
gptkb:PSL(n,Z) PSL(2,Z) is generated by S and T
gptkb:Special_linear_group gptkb:SL(2,_F)
gptkb:PSL(n,Z) PSL(2,Z) is residually finite
gptkb:PSL(n,Z) PSL(2,Z) is a Fuchsian group
gptkb:PSL(n,Z) PSL(2,Z) is not simple
gptkb:PSL(n,Z) PSL(2,Z) is the modular group
gptkb:SL(n,_ℤ) important in modular forms
gptkb:A_n_(alternating_group) trivial group
gptkb:PSL(n,Z) center of SL(2,Z) is {±I}
gptkb:SL(n,_ℤ) non-abelian