El núcleo de esta aplicación es el conjunto de los "n" divisibles a la vez por "a" y por "b"; son por lo tanto los múltiplos de mínimo común múltiplo de "a" y "b" que es ab porque a y b son coprimos: El núcleo es "Ker f" = a·bZ.