In the theory ofelliptic curves, Tate's algorithm takes as input an integral model of an elliptic curveE over, or more generally an algebraic number field, and a prime or prime idealp. It returns the exponentfp of p in the conductor of E, the type of reduction at p, the local index where is the group of -points whose reduction mod p is a non-singular point. Also, the algorithm determines whether or not the given integral model is minimal at p, and, if not, returns an integral model with integral coefficients for which the valuation at p of the discriminant is minimal. Tate's algorithm also gives the structure of the singular fibers given by the Kodaira symbol or Néron symbol, for which, see elliptic surfaces: in turn this determines the exponent fp of the conductor E. Tate's algorithm can be greatly simplified if the characteristic of the residue class field is not 2 or 3; in this case the type and c and f can be read off from the valuations of j and Δ. Tate's algorithm was introduced by as an improvement of the description of the Néron model of an elliptic curve by.
Step 1: If π does not divide Δ then the type is I0, f=0, c=1.
Step 2. Otherwise, change coordinates so that π divides a3,a4,a6. If π does not divide b2 then the type is Iν, with ν =v, and f=1.
Step 3. Otherwise, if π2 does not divide a6 then the type is II, c=1, and f=v;
Step 4. Otherwise, if π3 does not divide b8 then the type is III, c=2, and f=v−1;
Step 5. Otherwise, if π3 does not divide b6 then the type is IV, c=3 or 1, and f=v−2.
Step 6. Otherwise, change coordinates so that π divides a1 and a2, π2 divides a3 and a4, and π3 divides a6. Let P be the polynomial
Step 7. If P has one single and one double root, then the type is Iν* for some ν>0, f=v−4−ν, c=2 or 4: there is a "sub-algorithm" for dealing with this case.
Step 8. If P has a triple root, change variables so the triple root is 0, so that π2 divides a2 and π3 divides a4, and π4 divides a6. If
Step 9. The equation above has a double root. Change variables so the double root is 0. Then π3 divides a3 and π5 divides a6. If π4 does not divide a4 then the type is III* and f=v−7 and c = 2.
Step 10. Otherwise if π6 does not divide a6 then the type is II* and f=v−8 and c = 1.
Step 11. Otherwise the equation is not minimal. Divide each an by πn and go back to step 1.
