Dado un cuerpo K, podemos buscar anillos locales en él bajo la asunción de que sea un Cuerpo de funciones.