Homomorfismo de grupos é um conceito importante e presente, por exemplo, na álgebra linear no estudo das transformações lineares. Seja f:Z12→Z24 de...

Para determinar a imagem de f, precisamos encontrar todos os elementos em Z24 que são da forma [4x]24, onde x é um elemento em Z12. Observe que [4x]24 = [0]24 se e somente se 24 divide 4x, ou seja, se 6 divide x. Portanto, a imagem de f consiste em todos os elementos em Z24 que são da forma [4x]24, onde x é um múltiplo de 6 em Z12. Os múltiplos de 6 em Z12 são {0, 6}, então a imagem de f é { [0]24, [24]24 }.