Es sei ${\displaystyle {}R}$ ein kommutativer Ring, der einen Körper der positiven Charakteristik ${\displaystyle {}p>0}$ enthalte. Der Frobeniushomomorphismus ist der Ringhomomorphismus

${\displaystyle R\longrightarrow R,\,f\longmapsto f^{p}.}$