Frobenius map/Definition

The p-th power map considered as acting on commutative algebras or fields of prime characteristic p.