 The terminology of geometric Frobenius arises by applying the spectrum of a ring construction to φ.This gives a mapping

of affine schemes.Even in cases where "R""p" = "R" this is not the identity, unless "R" is the prime field.