På lignende måte kan en gruppe avbildes homomorft på en annen gruppe . Det finnes da en funksjon φ som for hvert element i gir et element i slik at = φ(). Det homomorfe av i kan da skrives som φeller Im φ der forkortelsen Im står for det engelske ordet .