"모듈러 곡선"의 두 판 사이의 차이

214 바이트 추가됨 ,  6년 전
* <math>p</math>와 <math>q</math>의 차수는 <math>N</math>의 약수이다. 즉, <math>Np=Nq=0</math>이다.
* <math>p</math>와 <math>q</math>의 [[베유 쌍]](Weil pairing)은 <math>e_N(p,q)=\exp(2\pi i/N)</math>이다.
복소수체의 경우, 두 <math>N</math>차 점
:<math>p=(a+b\tau)/N</math>
:<math>q=(c+d\tau)/N</math>
:<math>a,b,c,d\in\mathbb Z/N</math>
의 베유 쌍은
:<math>e_N(p,q)=\exp(2\pi i(ad-bc)/N)</math>
이다.
 
이에 따라서 <math>\{p,q\}</math>는 ''N''차 [[꼬임 부분군]]
:<math>\{z\in\mathbb C\colon Nz\in\Lambda\}</math>