Homomorphism set to direct product is Cartesian product of homomorphism sets
From Groupprops
Statement
For groups
Suppose are groups. Denote by
the external direct product of the groups
and
. Denote by
,
, and
the homomorphism sets between the pairs of groups. There is a canonical bijection:
The bijection is defined as: