Un posible 'blanco' para el homomorfismo de la definición son los grupos de permutaciones.