The Galois trace of 
from 
to 
is the 
-rational point
 |
Here 
is a finite Galois
extension, 
is a commutative algebraic
group defined over 
,
and 
. For an elliptic
curve, the sum is taken using the elliptic-curve
group law.
Galois Trace
See also
Elliptic Curve, Galois Conjugate, Galois Extension, Galois GroupExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "Galois Trace." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GaloisTrace.html