homomorphism

not defined yet