Este documento define un homomorfismo entre cuerpos K y K' como una función f que cumple dos propiedades: i) f(X*Y)=f(X)*f(Y) y ii) f(X+Y)=f(X)+f(Y) para todos X,Y en K. También define el homomorfismo nulo como aquel que mapea todos los elementos de K a 0 en K', y establece dos teoremas: solo los ideales {0} y K son posibles en un cuerpo, y si f es un homomorfismo entre cuerpos, entonces f mapea