ฉันกำลังอ่าน Sec 5.8.2 ในตำรา Introduction to Mathematical Cryptology (Hoffstein, Pipher และ Silverman) ซึ่งเป็นสารตั้งต้นในการแนะนำโครงสร้างของการจับคู่ Weilขั้นแรกกำหนดฟังก์ชันที่มีเหตุผลในตัวแปรเดียว $ฉ(x)$ ศูนย์และขั้วที่สอดคล้องกันและใช้สิ่งนั้นเพื่อกำหนด $div(f(x))$. พวกเขาไปยังเส้นโค้งวงรี พวกเขากำหนด $E: y^2 = x^3+ขวาน+b$ และพิจารณาฟังก์ชันตรรกยะในสองตัวแปร $f(x,y)$ และกำหนดขั้วและศูนย์ของ $f$ บน $E$ เป็นจุดของ $E$ โดยที่ตัวส่วนและตัวเศษของ $f$ หายไปตามลำดับ จากนั้นพิจารณาตัวอย่าง (ตัวอย่างที่ 5.35) โดยที่ $x^3+ax+b = (x-\alpha_1)(x-\alpha_2)(x-\alpha_3)$. พวกเขากำหนด $P_1 = (\alpha_1,0)$, $P_2 = (\alpha_2,0)$, $P_3 = (\alpha_3,0)$ amd โปรดทราบว่าพวกเขาเป็นระเบียบ $2$. พวกเขาดูที่ฟังก์ชัน $y$ แล้วบอกว่าหายที่ $P_1, P_2,P_3$ซึ่งหมายความว่ามีค่าเป็นศูนย์ จากนั้นพวกเขาก็ไปกำหนดตัวหารของ $y$ เช่น $div(y) = [P_1]+[P_2]+[P_3] - 3[\mathcal{O}]$.
ฉันไม่สามารถเข้าใจว่าพวกเขาสรุปได้อย่างไร $\mathcal{O}$ เป็นเสาของ $y$ และมีหลายหลาก $3$.