Para hacer de este monoide un grupo abeliano, uno puede seguir el método de extender a un grupo, agregando formalmente el inverso del añadido para cada fibrado (o la clase de equivalencia).