Si "K" es un cuerpo de característica "p", y "V" una variedad algebraica sobre "K" de dimensión no nula, si consideramos el cuerpo de funciones "K"("V") y su subcuerpo "K"("V") de potencias "p"-ésimas.