Kommutative Ringtheorie/Positive Charakteristik/Frobenius/Definition

Frobeniushomomorphismus

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

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