Induced homomorphism (quotient group)