En un anillo conmutativo, los elementos invertibles forman un grupo abeliano bajo la multiplicación.