Línea principal de la teoría de anillos con divisor de cero (estructura ideal, estructura cociente, extensión)