Field of prime characteristic

A field which is not of characteristic 0 is of prime characteristic. These have a number of distinguishing features, for example the existence of the Frobenius endomorphism.

#state/develop | #lang/en | #SemBr