Sea formula_2 un anillo con identidad y sea formula_8 un subgrupo aditivo de formula_2 tal que formula_47