Escribiremos ("R", "m") para denotar un anillo conmutativo local "R" con ideal maximal "m".