Frobenius automorphism
= Frobenius automorphism
{c}
{title2=$\operatorname{Frob}$}
For a finite residue field $k$ of cardinality $q$, arithmetic Frobenius is $x\mapsto x^q$. Its lift generates the Galois group of a finite unramified extension; geometric Frobenius is its inverse.
= Frobenius
{c}
{synonym}