Knowledge

Tate's algorithm

Source 📝

1063: 1346: 499: 1823: 1216: 2031: 1602: 840: 1125: 230: 902: 771: 709: 1396: 259: 52: 537: 647: 2125: 2072: 1654: 621: 581: 182: 1856: 601: 561: 908: 1222: 25: 2294: 374: 1713: 2391: 284:
Tate's algorithm also gives the structure of the singular fibers given by the Kodaira symbol or Néron symbol, for which, see
1131: 1943: 1514: 2350: 2224: 777: 79: 2338: 1069: 190: 846: 715: 653: 1352: 2247:
Laska, Michael (1982), "An Algorithm for Finding a Minimal Weierstrass Equation for an Elliptic Curve",
2216: 235: 2367: 324: 2433: 35: 510: 344: 277:, and, if not, returns an integral model with integral coefficients for which the valuation at 2438: 626: 55: 2378:, Lecture Notes in Mathematics, vol. 476, Berlin / Heidelberg: Springer, pp. 33–52, 2094: 2041: 1623: 331:) as an improvement of the description of the Néron model of an elliptic curve by Néron ( 606: 566: 96: 2210: 2409: 2370:(1975), "Algorithm for determining the type of a singular fiber in an elliptic pencil", in 2315: 365: 2417: 2360: 2323: 2278: 2234: 1832: 586: 546: 8: 2330: 1058:{\displaystyle b_{8}=a_{1}^{2}a_{6}-a_{1}a_{3}a_{4}+4a_{2}a_{6}+a_{2}a_{3}^{2}-a_{4}^{2}} 2266: 305: 266: 2397: 2387: 2346: 2289: 2220: 2413: 2379: 2371: 2356: 2319: 2303: 2285: 2274: 2256: 2230: 540: 285: 2405: 2342: 2311: 17: 343:
Assume that all the coefficients of the equation of the curve lie in a complete
1906:
has a triple root, change variables so the triple root is 0, so that π divides
1341:{\displaystyle \Delta =-b_{2}^{2}b_{8}-8b_{4}^{3}-27b_{6}^{2}+9b_{2}b_{4}b_{6}} 2427: 2401: 361: 354: 351: 2127:
has a double root, change variables so the double root is 0. Then π divides
2290:"Modèles minimaux des variétés abèliennes sur les corps locaux et globaux" 59: 304:
Tate's algorithm can be greatly simplified if the characteristic of the
2383: 2307: 2270: 2199:
computer algebra system, available through the function elllocalred.
270: 2261: 494:{\displaystyle y^{2}+a_{1}xy+a_{3}y=x^{3}+a_{2}x^{2}+a_{4}x+a_{6}.} 2196: 273:
determines whether or not the given integral model is minimal at
2195:
The algorithm is implemented for algebraic number fields in the
1899:=2 or 4: there is a "sub-algorithm" for dealing with this case. 1656:
has two roots in K and 1 if it has two roots outside of K, and
2177:
Step 11. Otherwise the equation is not minimal. Divide each
1818:{\displaystyle P(T)=T^{3}+a_{2,1}T^{2}+a_{4,2}T+a_{6,3}.} 1665:
Step 6. Otherwise, change coordinates so that π divides
1441:
Step 3. Otherwise, change coordinates so that π divides
1887:
has one single and one double root, then the type is I
1211:{\displaystyle c_{6}=-b_{2}^{3}+36b_{2}b_{4}-216b_{6}} 2097: 2074:
has two distinct roots modulo π then the type is IV,
2044: 1946: 1835: 1716: 1626: 1517: 1355: 1225: 1134: 1072: 911: 849: 780: 718: 656: 629: 609: 589: 569: 549: 513: 377: 238: 193: 99: 38: 2335:
Advanced Topics in the Arithmetic of Elliptic Curves
2119: 2066: 2025: 1850: 1817: 1648: 1596: 1390: 1340: 1210: 1119: 1057: 896: 834: 765: 703: 641: 615: 595: 575: 555: 531: 493: 253: 224: 176: 46: 1407:Step 1: If π does not divide Δ then the type is I 2425: 2026:{\displaystyle Q_{2}(Y)=Y^{2}+a_{3,2}Y-a_{6,4}.} 1858:has 3 distinct roots modulo π then the type is I 1597:{\displaystyle Q_{1}(Y)=Y^{2}+a_{3,1}Y-a_{6,2}.} 368:π. The elliptic curve is given by the equation 308:field is not 2 or 3; in this case the type and 835:{\displaystyle b_{4}=a_{1}a_{3}+2a_{4}^{}} 2329: 2260: 2159:Step 10. Otherwise if π does not divide 241: 209: 155: 124: 40: 1480:Step 4. Otherwise, if π does not divide 2208: 1120:{\displaystyle c_{4}=b_{2}^{2}-24b_{4}} 316:can be read off from the valuations of 288:: in turn this determines the exponent 225:{\displaystyle E^{0}(\mathbb {Q} _{p})} 2426: 2212:Algorithms for modular elliptic curves 897:{\displaystyle b_{6}=a_{3}^{2}+4a_{6}} 766:{\displaystyle b_{2}=a_{1}^{2}+4a_{2}} 704:{\displaystyle a_{i,m}=a_{i}/\pi ^{m}} 2284: 2246: 332: 2376:Modular Functions of One Variable IV 2366: 2295:Publications Mathématiques de l'IHÉS 1391:{\displaystyle j=c_{4}^{3}/\Delta .} 328: 323:Tate's algorithm was introduced by 13: 2190: 1382: 1226: 630: 610: 570: 520: 14: 2450: 1422:Step 2: If π divides Δ but not c 1401: 281:of the discriminant is minimal. 254:{\displaystyle \mathbb {Q} _{p}} 2114: 2108: 2061: 2055: 1963: 1957: 1845: 1839: 1726: 1720: 1643: 1637: 1534: 1528: 523: 517: 219: 204: 168: 165: 150: 134: 119: 113: 1: 2339:Graduate Texts in Mathematics 2202: 261:-points whose reduction mod 47:{\displaystyle \mathbb {Q} } 7: 2215:(2nd ed.), Cambridge: 2186:by π and go back to step 1. 532:{\displaystyle v(\Delta )=} 338: 86:, the type of reduction at 10: 2455: 2249:Mathematics of Computation 2217:Cambridge University Press 2148:then the type is III and 603:in prime factorization of 65:. It returns the exponent 2166:then the type is II and 2082:is 3 if the roots are in 1870:is 1+(number of roots of 642:{\displaystyle \Delta =0} 2120:{\displaystyle Q_{2}(Y)} 2078:=v(Δ)−6, and 2067:{\displaystyle Q_{2}(Y)} 1866:=v(Δ)−4, and 1649:{\displaystyle Q_{1}(Y)} 2141:. If π does not divide 1895:=v(Δ)−4−ν, 1498:Step 5. Otherwise, let 1462:. If π does not divide 616:{\displaystyle \Delta } 583:, that is, exponent of 576:{\displaystyle \Delta } 345:discrete valuation ring 320:and Δ (defined below). 177:{\displaystyle c_{p}=,} 54:, or more generally an 2209:Cremona, John (1997), 2121: 2068: 2027: 1852: 1819: 1650: 1598: 1487:then the type is III, 1392: 1342: 1212: 1121: 1059: 898: 836: 767: 705: 643: 617: 597: 577: 557: 533: 495: 255: 226: 178: 56:algebraic number field 48: 2122: 2069: 2028: 1853: 1820: 1651: 1616:then the type is IV, 1609:If π does not divide 1599: 1469:then the type is II, 1393: 1343: 1213: 1122: 1060: 899: 837: 768: 706: 644: 618: 598: 578: 558: 534: 496: 256: 227: 179: 49: 28:of an elliptic curve 2331:Silverman, Joseph H. 2095: 2042: 1944: 1851:{\displaystyle P(T)} 1833: 1714: 1624: 1515: 1353: 1223: 1132: 1070: 909: 847: 778: 716: 654: 627: 607: 596:{\displaystyle \pi } 587: 567: 556:{\displaystyle \pi } 547: 511: 375: 236: 191: 97: 36: 2374:; Kuyk, W. (eds.), 1376: 1301: 1280: 1249: 1165: 1100: 1054: 1036: 939: 877: 831: 746: 2384:10.1007/BFb0097582 2308:10.1007/BF02684271 2170:=v(Δ)−8 and 2152:=v(Δ)−7 and 2117: 2064: 2023: 1848: 1815: 1646: 1594: 1426:then the type is I 1388: 1362: 1338: 1287: 1266: 1235: 1208: 1151: 1117: 1086: 1055: 1040: 1022: 925: 894: 863: 832: 820: 763: 732: 701: 639: 613: 593: 573: 553: 529: 491: 267:non-singular point 251: 222: 174: 90:, the local index 44: 24:takes as input an 2393:978-3-540-07392-5 2341:, vol. 151, 1934:be the polynomial 1891:for some ν>0, 1704:be the polynomial 1505:be the polynomial 623:, or infinity if 297:of the conductor 286:elliptic surfaces 58:, and a prime or 16:In the theory of 2446: 2420: 2363: 2326: 2281: 2264: 2255:(157): 257–260, 2243: 2242: 2241: 2126: 2124: 2123: 2118: 2107: 2106: 2073: 2071: 2070: 2065: 2054: 2053: 2032: 2030: 2029: 2024: 2019: 2018: 1997: 1996: 1978: 1977: 1956: 1955: 1920:, and π divides 1857: 1855: 1854: 1849: 1824: 1822: 1821: 1816: 1811: 1810: 1789: 1788: 1770: 1769: 1760: 1759: 1741: 1740: 1693:, and π divides 1655: 1653: 1652: 1647: 1636: 1635: 1603: 1601: 1600: 1595: 1590: 1589: 1568: 1567: 1549: 1548: 1527: 1526: 1397: 1395: 1394: 1389: 1381: 1375: 1370: 1347: 1345: 1344: 1339: 1337: 1336: 1327: 1326: 1317: 1316: 1300: 1295: 1279: 1274: 1259: 1258: 1248: 1243: 1217: 1215: 1214: 1209: 1207: 1206: 1191: 1190: 1181: 1180: 1164: 1159: 1144: 1143: 1126: 1124: 1123: 1118: 1116: 1115: 1099: 1094: 1082: 1081: 1064: 1062: 1061: 1056: 1053: 1048: 1035: 1030: 1021: 1020: 1008: 1007: 998: 997: 982: 981: 972: 971: 962: 961: 949: 948: 938: 933: 921: 920: 903: 901: 900: 895: 893: 892: 876: 871: 859: 858: 841: 839: 838: 833: 830: 828: 813: 812: 803: 802: 790: 789: 772: 770: 769: 764: 762: 761: 745: 740: 728: 727: 710: 708: 707: 702: 700: 699: 690: 685: 684: 672: 671: 648: 646: 645: 640: 622: 620: 619: 614: 602: 600: 599: 594: 582: 580: 579: 574: 562: 560: 559: 554: 541:p-adic valuation 538: 536: 535: 530: 500: 498: 497: 492: 487: 486: 471: 470: 458: 457: 448: 447: 435: 434: 419: 418: 400: 399: 387: 386: 260: 258: 257: 252: 250: 249: 244: 232:is the group of 231: 229: 228: 223: 218: 217: 212: 203: 202: 183: 181: 180: 175: 164: 163: 158: 149: 148: 133: 132: 127: 109: 108: 53: 51: 50: 45: 43: 22:Tate's algorithm 2454: 2453: 2449: 2448: 2447: 2445: 2444: 2443: 2434:Elliptic curves 2424: 2423: 2394: 2353: 2343:Springer-Verlag 2262:10.2307/2007483 2239: 2237: 2227: 2205: 2193: 2191:Implementations 2185: 2165: 2147: 2140: 2133: 2102: 2098: 2096: 2093: 2092: 2049: 2045: 2043: 2040: 2039: 2008: 2004: 1986: 1982: 1973: 1969: 1951: 1947: 1945: 1942: 1941: 1932: 1926: 1919: 1912: 1890: 1861: 1834: 1831: 1830: 1800: 1796: 1778: 1774: 1765: 1761: 1749: 1745: 1736: 1732: 1715: 1712: 1711: 1699: 1692: 1685: 1678: 1671: 1631: 1627: 1625: 1622: 1621: 1615: 1579: 1575: 1557: 1553: 1544: 1540: 1522: 1518: 1516: 1513: 1512: 1503: 1486: 1468: 1461: 1454: 1447: 1430:with v = v(Δ), 1429: 1425: 1410: 1404: 1377: 1371: 1366: 1354: 1351: 1350: 1332: 1328: 1322: 1318: 1312: 1308: 1296: 1291: 1275: 1270: 1254: 1250: 1244: 1239: 1224: 1221: 1220: 1202: 1198: 1186: 1182: 1176: 1172: 1160: 1155: 1139: 1135: 1133: 1130: 1129: 1111: 1107: 1095: 1090: 1077: 1073: 1071: 1068: 1067: 1049: 1044: 1031: 1026: 1016: 1012: 1003: 999: 993: 989: 977: 973: 967: 963: 957: 953: 944: 940: 934: 929: 916: 912: 910: 907: 906: 888: 884: 872: 867: 854: 850: 848: 845: 844: 829: 824: 808: 804: 798: 794: 785: 781: 779: 776: 775: 757: 753: 741: 736: 723: 719: 717: 714: 713: 695: 691: 686: 680: 676: 661: 657: 655: 652: 651: 628: 625: 624: 608: 605: 604: 588: 585: 584: 568: 565: 564: 548: 545: 544: 512: 509: 508: 482: 478: 466: 462: 453: 449: 443: 439: 430: 426: 414: 410: 395: 391: 382: 378: 376: 373: 372: 364:generated by a 341: 296: 245: 240: 239: 237: 234: 233: 213: 208: 207: 198: 194: 192: 189: 188: 159: 154: 153: 144: 140: 128: 123: 122: 104: 100: 98: 95: 94: 73: 39: 37: 34: 33: 18:elliptic curves 12: 11: 5: 2452: 2442: 2441: 2436: 2422: 2421: 2392: 2364: 2351: 2327: 2282: 2244: 2225: 2204: 2201: 2192: 2189: 2188: 2187: 2181: 2175: 2163: 2157: 2145: 2138: 2134:and π divides 2131: 2116: 2113: 2110: 2105: 2101: 2088: 2087: 2086:, 1 otherwise. 2063: 2060: 2057: 2052: 2048: 2036: 2035: 2034: 2022: 2017: 2014: 2011: 2007: 2003: 2000: 1995: 1992: 1989: 1985: 1981: 1976: 1972: 1968: 1965: 1962: 1959: 1954: 1950: 1936: 1935: 1930: 1924: 1917: 1913:and π divides 1910: 1900: 1888: 1880: 1879: 1859: 1847: 1844: 1841: 1838: 1827: 1826: 1825: 1814: 1809: 1806: 1803: 1799: 1795: 1792: 1787: 1784: 1781: 1777: 1773: 1768: 1764: 1758: 1755: 1752: 1748: 1744: 1739: 1735: 1731: 1728: 1725: 1722: 1719: 1706: 1705: 1697: 1690: 1683: 1676: 1669: 1662: 1661: 1660:=v(Δ)−2. 1645: 1642: 1639: 1634: 1630: 1613: 1607: 1606: 1605: 1593: 1588: 1585: 1582: 1578: 1574: 1571: 1566: 1563: 1560: 1556: 1552: 1547: 1543: 1539: 1536: 1533: 1530: 1525: 1521: 1507: 1506: 1501: 1496: 1495:=v(Δ)−1; 1484: 1478: 1466: 1459: 1452: 1445: 1439: 1427: 1423: 1420: 1408: 1403: 1400: 1399: 1398: 1387: 1384: 1380: 1374: 1369: 1365: 1361: 1358: 1348: 1335: 1331: 1325: 1321: 1315: 1311: 1307: 1304: 1299: 1294: 1290: 1286: 1283: 1278: 1273: 1269: 1265: 1262: 1257: 1253: 1247: 1242: 1238: 1234: 1231: 1228: 1218: 1205: 1201: 1197: 1194: 1189: 1185: 1179: 1175: 1171: 1168: 1163: 1158: 1154: 1150: 1147: 1142: 1138: 1127: 1114: 1110: 1106: 1103: 1098: 1093: 1089: 1085: 1080: 1076: 1065: 1052: 1047: 1043: 1039: 1034: 1029: 1025: 1019: 1015: 1011: 1006: 1002: 996: 992: 988: 985: 980: 976: 970: 966: 960: 956: 952: 947: 943: 937: 932: 928: 924: 919: 915: 904: 891: 887: 883: 880: 875: 870: 866: 862: 857: 853: 842: 827: 823: 819: 816: 811: 807: 801: 797: 793: 788: 784: 773: 760: 756: 752: 749: 744: 739: 735: 731: 726: 722: 711: 698: 694: 689: 683: 679: 675: 670: 667: 664: 660: 649: 638: 635: 632: 612: 592: 572: 552: 528: 525: 522: 519: 516: 502: 501: 490: 485: 481: 477: 474: 469: 465: 461: 456: 452: 446: 442: 438: 433: 429: 425: 422: 417: 413: 409: 406: 403: 398: 394: 390: 385: 381: 340: 337: 292: 248: 243: 221: 216: 211: 206: 201: 197: 185: 184: 173: 170: 167: 162: 157: 152: 147: 143: 139: 136: 131: 126: 121: 118: 115: 112: 107: 103: 69: 42: 26:integral model 9: 6: 4: 3: 2: 2451: 2440: 2439:Number theory 2437: 2435: 2432: 2431: 2429: 2419: 2415: 2411: 2407: 2403: 2399: 2395: 2389: 2385: 2381: 2377: 2373: 2369: 2365: 2362: 2358: 2354: 2352:0-387-94328-5 2348: 2344: 2340: 2336: 2332: 2328: 2325: 2321: 2317: 2313: 2309: 2305: 2301: 2298:(in French), 2297: 2296: 2291: 2287: 2283: 2280: 2276: 2272: 2268: 2263: 2258: 2254: 2250: 2245: 2236: 2232: 2228: 2226:0-521-59820-6 2222: 2218: 2214: 2213: 2207: 2206: 2200: 2198: 2184: 2180: 2176: 2173: 2169: 2162: 2158: 2155: 2151: 2144: 2137: 2130: 2111: 2103: 2099: 2090: 2089: 2085: 2081: 2077: 2058: 2050: 2046: 2037: 2020: 2015: 2012: 2009: 2005: 2001: 1998: 1993: 1990: 1987: 1983: 1979: 1974: 1970: 1966: 1960: 1952: 1948: 1940: 1939: 1938: 1937: 1933: 1923: 1916: 1909: 1905: 1901: 1898: 1894: 1886: 1882: 1881: 1877: 1873: 1869: 1865: 1842: 1836: 1828: 1812: 1807: 1804: 1801: 1797: 1793: 1790: 1785: 1782: 1779: 1775: 1771: 1766: 1762: 1756: 1753: 1750: 1746: 1742: 1737: 1733: 1729: 1723: 1717: 1710: 1709: 1708: 1707: 1703: 1696: 1689: 1682: 1675: 1668: 1664: 1663: 1659: 1640: 1632: 1628: 1619: 1612: 1608: 1591: 1586: 1583: 1580: 1576: 1572: 1569: 1564: 1561: 1558: 1554: 1550: 1545: 1541: 1537: 1531: 1523: 1519: 1511: 1510: 1509: 1508: 1504: 1497: 1494: 1490: 1483: 1479: 1476: 1472: 1465: 1458: 1451: 1444: 1440: 1437: 1433: 1421: 1418: 1414: 1406: 1405: 1402:The algorithm 1385: 1378: 1372: 1367: 1363: 1359: 1356: 1349: 1333: 1329: 1323: 1319: 1313: 1309: 1305: 1302: 1297: 1292: 1288: 1284: 1281: 1276: 1271: 1267: 1263: 1260: 1255: 1251: 1245: 1240: 1236: 1232: 1229: 1219: 1203: 1199: 1195: 1192: 1187: 1183: 1177: 1173: 1169: 1166: 1161: 1156: 1152: 1148: 1145: 1140: 1136: 1128: 1112: 1108: 1104: 1101: 1096: 1091: 1087: 1083: 1078: 1074: 1066: 1050: 1045: 1041: 1037: 1032: 1027: 1023: 1017: 1013: 1009: 1004: 1000: 994: 990: 986: 983: 978: 974: 968: 964: 958: 954: 950: 945: 941: 935: 930: 926: 922: 917: 913: 905: 889: 885: 881: 878: 873: 868: 864: 860: 855: 851: 843: 825: 821: 817: 814: 809: 805: 799: 795: 791: 786: 782: 774: 758: 754: 750: 747: 742: 737: 733: 729: 724: 720: 712: 696: 692: 687: 681: 677: 673: 668: 665: 662: 658: 650: 636: 633: 590: 550: 542: 526: 514: 507: 506: 505: 488: 483: 479: 475: 472: 467: 463: 459: 454: 450: 444: 440: 436: 431: 427: 423: 420: 415: 411: 407: 404: 401: 396: 392: 388: 383: 379: 371: 370: 369: 367: 363: 362:maximal ideal 359: 356: 355:residue field 353: 349: 346: 336: 334: 330: 326: 325:John Tate 321: 319: 315: 311: 307: 306:residue class 302: 300: 295: 291: 287: 282: 280: 276: 272: 268: 264: 246: 214: 199: 195: 171: 160: 145: 141: 137: 129: 116: 110: 105: 101: 93: 92: 91: 89: 85: 81: 77: 72: 68: 64: 61: 57: 31: 27: 23: 19: 2375: 2334: 2299: 2293: 2286:Néron, André 2252: 2248: 2238:, retrieved 2211: 2194: 2182: 2178: 2171: 2167: 2160: 2153: 2149: 2142: 2135: 2128: 2083: 2079: 2075: 1928: 1921: 1914: 1907: 1903: 1896: 1892: 1884: 1875: 1871: 1867: 1863: 1701: 1694: 1687: 1680: 1679:, π divides 1673: 1666: 1657: 1617: 1610: 1499: 1492: 1488: 1481: 1474: 1470: 1463: 1456: 1449: 1442: 1435: 1431: 1416: 1412: 503: 357: 347: 342: 322: 317: 313: 309: 303: 298: 293: 289: 283: 278: 274: 269:. Also, the 262: 186: 87: 83: 75: 70: 66: 62: 29: 21: 15: 2372:Birch, B.J. 2091:Step 9. If 1902:Step 8. If 1883:Step 7. If 60:prime ideal 2428:Categories 2418:1214.14020 2368:Tate, John 2361:0911.14015 2324:0132.41403 2279:0493.14016 2240:2007-12-20 2235:0872.14041 2203:References 2402:1617-9692 2302:: 5–128, 2002:− 1573:− 1383:Δ 1282:− 1261:− 1233:− 1227:Δ 1193:− 1149:− 1102:− 1038:− 951:− 693:π 631:Δ 611:Δ 591:π 571:Δ 551:π 521:Δ 271:algorithm 80:conductor 2333:(1994), 2288:(1964), 1491:=2, and 1473:=1, and 1434:=v, and 504:Define: 339:Notation 2410:0393039 2316:0179172 2271:2007483 2197:PARI/GP 1415:=1 and 352:perfect 327: ( 78:in the 2416:  2408:  2400:  2390:  2359:  2349:  2322:  2314:  2277:  2269:  2233:  2223:  1927:. Let 1700:. Let 1620:=3 if 1477:=v(Δ); 187:where 2267:JSTOR 366:prime 350:with 265:is a 32:over 2398:ISSN 2388:ISBN 2347:ISBN 2221:ISBN 2174:= 1. 2156:= 2. 1686:and 1672:and 539:the 360:and 333:1964 329:1975 312:and 2414:Zbl 2380:doi 2357:Zbl 2320:Zbl 2304:doi 2275:Zbl 2257:doi 2231:Zbl 2038:If 1874:in 1829:If 1438:=1. 1419:=0. 1196:216 563:in 543:of 335:). 82:of 74:of 2430:: 2412:, 2406:MR 2404:, 2396:, 2386:, 2355:, 2345:, 2337:, 2318:, 2312:MR 2310:, 2300:21 2292:, 2273:, 2265:, 2253:38 2251:, 2229:, 2219:, 1878:). 1862:, 1411:, 1285:27 1170:36 1105:24 301:. 20:, 2382:: 2306:: 2259:: 2183:n 2179:a 2172:c 2168:f 2164:6 2161:a 2154:c 2150:f 2146:4 2143:a 2139:6 2136:a 2132:3 2129:a 2115:) 2112:Y 2109:( 2104:2 2100:Q 2084:K 2080:c 2076:f 2062:) 2059:Y 2056:( 2051:2 2047:Q 2033:. 2021:. 2016:4 2013:, 2010:6 2006:a 1999:Y 1994:2 1991:, 1988:3 1984:a 1980:+ 1975:2 1971:Y 1967:= 1964:) 1961:Y 1958:( 1953:2 1949:Q 1931:2 1929:Q 1925:6 1922:a 1918:4 1915:a 1911:2 1908:a 1904:P 1897:c 1893:f 1889:ν 1885:P 1876:K 1872:P 1868:c 1864:f 1860:0 1846:) 1843:T 1840:( 1837:P 1813:. 1808:3 1805:, 1802:6 1798:a 1794:+ 1791:T 1786:2 1783:, 1780:4 1776:a 1772:+ 1767:2 1763:T 1757:1 1754:, 1751:2 1747:a 1743:+ 1738:3 1734:T 1730:= 1727:) 1724:T 1721:( 1718:P 1702:P 1698:6 1695:a 1691:4 1688:a 1684:3 1681:a 1677:2 1674:a 1670:1 1667:a 1658:f 1644:) 1641:Y 1638:( 1633:1 1629:Q 1618:c 1614:6 1611:b 1604:. 1592:. 1587:2 1584:, 1581:6 1577:a 1570:Y 1565:1 1562:, 1559:3 1555:a 1551:+ 1546:2 1542:Y 1538:= 1535:) 1532:Y 1529:( 1524:1 1520:Q 1502:1 1500:Q 1493:f 1489:c 1485:8 1482:b 1475:f 1471:c 1467:6 1464:a 1460:6 1457:a 1455:, 1453:4 1450:a 1448:, 1446:3 1443:a 1436:f 1432:c 1428:v 1424:4 1417:f 1413:c 1409:0 1386:. 1379:/ 1373:3 1368:4 1364:c 1360:= 1357:j 1334:6 1330:b 1324:4 1320:b 1314:2 1310:b 1306:9 1303:+ 1298:2 1293:6 1289:b 1277:3 1272:4 1268:b 1264:8 1256:8 1252:b 1246:2 1241:2 1237:b 1230:= 1204:6 1200:b 1188:4 1184:b 1178:2 1174:b 1167:+ 1162:3 1157:2 1153:b 1146:= 1141:6 1137:c 1113:4 1109:b 1097:2 1092:2 1088:b 1084:= 1079:4 1075:c 1051:2 1046:4 1042:a 1033:2 1028:3 1024:a 1018:2 1014:a 1010:+ 1005:6 1001:a 995:2 991:a 987:4 984:+ 979:4 975:a 969:3 965:a 959:1 955:a 946:6 942:a 936:2 931:1 927:a 923:= 918:8 914:b 890:6 886:a 882:4 879:+ 874:2 869:3 865:a 861:= 856:6 852:b 826:4 822:a 818:2 815:+ 810:3 806:a 800:1 796:a 792:= 787:4 783:b 759:2 755:a 751:4 748:+ 743:2 738:1 734:a 730:= 725:2 721:b 697:m 688:/ 682:i 678:a 674:= 669:m 666:, 663:i 659:a 637:0 634:= 527:= 524:) 518:( 515:v 489:. 484:6 480:a 476:+ 473:x 468:4 464:a 460:+ 455:2 451:x 445:2 441:a 437:+ 432:3 428:x 424:= 421:y 416:3 412:a 408:+ 405:y 402:x 397:1 393:a 389:+ 384:2 380:y 358:K 348:R 318:j 314:f 310:c 299:E 294:p 290:f 279:p 275:p 263:p 247:p 242:Q 220:) 215:p 210:Q 205:( 200:0 196:E 172:, 169:] 166:) 161:p 156:Q 151:( 146:0 142:E 138:: 135:) 130:p 125:Q 120:( 117:E 114:[ 111:= 106:p 102:c 88:p 84:E 76:p 71:p 67:f 63:p 41:Q 30:E

Index

elliptic curves
integral model
algebraic number field
prime ideal
conductor
non-singular point
algorithm
elliptic surfaces
residue class
John Tate
1975
1964
discrete valuation ring
perfect
residue field
maximal ideal
prime
p-adic valuation
PARI/GP
Algorithms for modular elliptic curves
Cambridge University Press
ISBN
0-521-59820-6
Zbl
0872.14041
doi
10.2307/2007483
JSTOR
2007483
Zbl

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.