Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:modular_subgroup
|
| gptkbp:actsOn |
upper half-plane
|
| gptkbp:contains |
gptkb:Gamma_0(N)
Gamma(N) |
| gptkbp:defines |
matrices in SL_2(Z) congruent to (1 *; 0 1) mod N
|
| gptkbp:hasSubgroup |
gptkb:SL_2(Z)
|
| gptkbp:index_in_SL_2(Z) |
N^2 * product over primes p dividing N of (1 - 1/p^2)
|
| gptkbp:notation |
Γ_1(N)
|
| gptkbp:relatedTo |
gptkb:modular_curves
modular forms |
| gptkbp:used_in |
theory of elliptic curves with torsion structure
|
| gptkbp:bfsParent |
gptkb:Modular_group
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gamma 1(N)
|