homomorphism definition

homomorphism means that F respects the group operations: F (g · h) = F (g) · F (h),