yes, H is "very" much not a homomorphism, because for every pair z1,z2 it is not additive. however, one need only exhibit one counter-example.