congruenceSubgroups

P160157 predicate

Indicates that there is a relationship between groups where one is a congruence subgroup of the other, typically defined by congruence conditions modulo some integer or ideal.

Try in SPARQL

Observed surface forms (1)

principalCongruenceSubgroupDefinition ×1

Sample triples (2)

Subject	Object
SL(2,ℤ)	kernel of reduction mod N homomorphism SL(2,ℤ) → SL(2,ℤ/Nℤ) via predicate surface "principalCongruenceSubgroupDefinition" ⓘ
SL(2,ℤ)	Γ(N) ⓘ