homomorphy

not defined yet