Para poder definir una estructura de grupo abeliano multiplicativo sobre los conjuntos numéricos usuales, es necesario que sean desprovistos del elemento {0}, debido a que el 0 no es divisor de ningún elemento y la estructura pierde estabilidad.