Sea formula_53 un ideal de un anillo formula_25 entonces formula_77 tiene una estructura de anillo con las operaciones definidas por