Relative Frobenius Morphism of Finite Fields
Let $K$ be a finite field of characteristic $p$ and let $L$ be a finite extension of $K$. Then $L$ has an absolute Frobenius morphism which is given by the $p$th power map. Moreover, we have a map of $K$ schemes $\mathrm{spec} (L) \to \mathrm{spec} (L)^p$ called the relative Frobenius morphism. Now $L^{p}$ is isomorphic to $L$ and so we should be able to think of the relative Frobenius as an automorphism of $L$, in which case I want to know which automorphism it is.
My question is: can one naturally identify $L$ and $L^{p}$ and if so, what is the relative Frobenius morphism?
$\endgroup$1 Answer
$\begingroup$If $K=\mathbb F_{p^n}$, the relative Frobenius on $L$ is given by the ring map $x \mapsto x^{p^n}$, while the absolute Frobenius (which is the relative Frobenius for the case $K=\mathbb F_p$) is given by the ring map $x \mapsto x^p$.
$\endgroup$ 1More in general
"Zoraya ter Beek, age 29, just died by assisted suicide in the Netherlands. She was physically healthy, but psychologically depressed. It's an abomination that an entire society would actively facilitate, even encourage, someone ending their own life because they had no hope. Th…"
