Correspondencia entre ideales y anillos cociente