field_theory.finite.trace
source
We state the fact that the trace map from a finite field of characteristic p to zmod p is nondegenerate.
p
zmod p
finite field, trace
The trace map from a finite field to its prime field is nongedenerate.