Principal divisor criterion on an elliptic curve

ID: principal-divisor-criterion-on-an-elliptic-curve

For an elliptic curve with identity , a divisor is principal exactly when
This is the identification of the degree-zero divisor class group with the elliptic curve.

New to topics? Read the docs here!