Definition 59.66.1. Let f : Y \to X be a finite étale morphism of schemes. The map f_* f^{-1} \to \text{id} described above and explicitly below is called the trace.
Definition 59.66.1. Let f : Y \to X be a finite étale morphism of schemes. The map f_* f^{-1} \to \text{id} described above and explicitly below is called the trace.
Comments (0)
There are also: