A categoría de grupos ye muit gran, pero puet armar-se una relación de equivalencia en ista categoría ta que se factorice: a relación entre grupos d'estar isomorfos reduce qüestions estructurals d'a categoría de grupos a la categoría de grupos-modulo-los-isomorfos.