@@How this problem works

\ni We compute the canonical decompositions of the given group and its
image. The homomorphism involved is a monomorphism if and only if these 
decompositions are the same.

\ni For a general discussion, see
@General_abelian_groups@General_abelian_groups::General discussion@.




