Product cycles and the homomorphism property