Field trace (source code)

= Field trace
{wiki}

The field trace $\operatorname{Tr}_{L/K}(x)$ is the trace of multiplication by $x$, equivalently the sum of its conjugates in a separable extension.