Coefficient formula for trace of Frobenius modulo p
ID: coefficient-formula-for-trace-of-frobenius-modulo-p
For odd , let be a nonsingular cubic Weierstrass equation of an elliptic curve over . Its Trace of Frobenius is , where is the Legendre symbol extended by . By the Euler criterion, reduce this sum to . The sum of a positive power over is zero unless divides , when it is . Since the polynomial has degree , only its coefficient contributes.
New to topics? Read the docs here!