The group homomorphism on units induced by a multiplicative morphism.

Coercion units α → α as a monoid homomorphism.