Principal congruence subgroup

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
subfamily
gptkbp:consistsOf matrices congruent to identity modulo n
gptkbp:definedIn integer n ≥ 1
gptkbp:hasNormalSubgroup gptkb:SL(2,ℤ)
gptkbp:hasSubgroup modular group
https://www.w3.org/2000/01/rdf-schema#label Principal congruence subgroup
gptkbp:indexInSL2Z finite for each n ≥ 1
gptkbp:notation Γ(n)
gptkbp:relatedTo modular group
gptkbp:usedIn modular forms
algebraic groups
arithmetic groups
gptkbp:bfsParent gptkb:Modular_group
gptkb:Congruence_subgroup
gptkbp:bfsLayer 6