internally extendable homomorphism