"R" es un anillo local si cumple las siguientes propiedades equivalentes: