(Grupo de invertibles de un Monoide) Sea  un monoide y sea U el conjunto formado por todos los elementos de M que son invertibles.