Let 
be a finite Galois
extension, let 
be a commutative algebraic
group defined over 
,
and let 
.
The Galois trace of 
from 
to 
is the 
-rational point
 |
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