Sea formula_1 un dominio de integridad y formula_2 el conjunto de los elementos invertibles de formula_1.